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”…
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…
"[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…
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…
Formatting requires a PDF file. modal-logic-formalization