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: http://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

http://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…