I was thinking and doing som reserch about one of my kurent projects: Making an English languaj that is syntakialy limited such that it makes posible automatik translation into lojikal formalism. I stumbled akros som prety interesting artikles listed below: en.wikipedia.org/wiki/Controlled_language One of them has a website wher one kan find an introduktion to the […]

## Three logicians walk into a bar: a formal explanation

spikedmath.com/445.html —– Let E refer to the propositions expressed by the sentence: “Everyone wants beer” “everyone” refers to the three people on the right. Let’s call them “a”, “b”, “c” from left to right. Let “Wx” =df “x wants beer”. We could try to show this but let’s just take it intuitively that the following […]

## Som mor logic textbooks

Paul Tomassi – Logic Priest, Graham – Logic, A Very Short Introduction Copi introduction to logic

## John Nolt – Logics, chp. 11-12

I am taking an advanced logic class this semester. Som of the reading material has been posted in our internal system. I’ll post it here so that others may get good use of it as well. The text in question is John Nolt’s Logics chp. 11-12. I remade the pdfs so that they ar smaller […]

## Kennethamy on boring books and learning

piratefish I’m reading Irving Copi’s Introduction to Logic, very boring and not that well written, any suggestions? Just a college level book that gives a comprehensive intro to the topic. Thanks. kennethamy “Boring” is not a particularly apt criticism of a text. There are jazzier logic books out there, with bunches of cartoon and jokes […]

## The web of belief approach: The case with Newton’s physics and relativity

This will not involve many science facts as the discussion is wholly philosophical in nature. This is an epistemological, not scientific essay, it just happens to use some facts of science. I want to show the value of thinking of things as inconsistent sets of propositions (or whatever truth carrier you like, but I like […]

## “Do you still beat your wife?” formalized

Using the formalization system I wrote of earlier, let’s take a look at this famous question. First we should note that this is a yes/no question which is different from the questions that I have earlier formalized. The earlier questions sought to identity a certain individual, but yes/no questions do not. Instead they ask whether […]

## Logical interpretation of subjects, the utterer and the utterance situation

Interpretation I earlier wrote of the logical interpretation of subjects.1 There I suggested, following Russell, that the subject of a descriptive, active, meaningful (DAM) sentence should be interpreted as an existential quantifier (∃x) but I now believe that that this seems to depend on who made the utterance and in which situation. Suppose for instance […]

## Negating sentences in english

Abstract I invent and explore a terminology about degrees of sentences, I explore how to negate sentences and sentence parts in english, I distinguish between verbs that can be used in sup-sentence parts and verbs that cannot, I discuss some problems with the verb “ought”, and lastly I explore the relationship between this terminology and […]