## 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”…

## “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…

## Language, the modal fallacy and the symbolic representation of a conditional

"[W]hat follows from a true premiss must be true" (The Problems of Philosophy, p. 60, link) Wrote Russell as an example of a principle of logic that is more self-evident…

## Using propositions as variables

I have encountered the following problem a couple of times. This problem is this: When formalizing something in predicate logic, the predicate uses propositions as variables.1 We may refer to…

## Modal logic formalization, multiple kinds of possibilities

Formatting requires a PDF file. modal-logic-formalization