Skip to content
  • Main website
  • Rationalwiki / Oliver Smith
  • Archive
  • Donation options
  • In the media
  • Relation to Søren Kierkegaard?
  • About
Clear Language, Clear Mind
  • Main website
  • Rationalwiki / Oliver Smith
  • Archive
  • Donation options
  • In the media
  • Relation to Søren Kierkegaard?
  • About

formalization

  1. Home>
  2. formalization

Three logicians walk into a bar: a formal explanation

  • Post author:Emil O. W. Kirkegaard
  • Post published:1. November 2011
  • Post category:Logic
  • Post comments:0 Comments

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

Continue ReadingThree logicians walk into a bar: a formal explanation

“Do you still beat your wife?” formalized

  • Post author:Emil O. W. Kirkegaard
  • Post published:2. January 2010
  • Post category:Uncategorized
  • Post comments:0 Comments

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…

Continue Reading“Do you still beat your wife?” formalized

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

  • Post author:Emil O. W. Kirkegaard
  • Post published:28. September 2009
  • Post category:Language
  • Post comments:0 Comments

"[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…

Continue ReadingLanguage, the modal fallacy and the symbolic representation of a conditional

Using propositions as variables

  • Post author:Emil O. W. Kirkegaard
  • Post published:17. September 2009
  • Post category:Logic
  • Post comments:0 Comments

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…

Continue ReadingUsing propositions as variables

Modal logic formalization, multiple kinds of possibilities

  • Post author:Emil O. W. Kirkegaard
  • Post published:14. June 2009
  • Post category:Uncategorized
  • Post comments:0 Comments

Formatting requires a PDF file. modal-logic-formalization

Continue ReadingModal logic formalization, multiple kinds of possibilities
Copyright - OceanWP Theme by OceanWP