Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Modern Classic Logic

  1. Mar 8, 2012 #1
    A Modern Interpretation of Classic Logic

    Basic definitions.

    Definition of Truth: "x" is true if and only if x.

    Laws of Classic Logic:

    Law of identity: x = x
    Law of contradiction: Nothing is both true and not true.
    Law of excluded middle: Everything is either true or not true.

    Im not sure that the interpretation is complete and correct in all details
    since its difficult to find any system of classic logic to compare it with.

    Originally Logic was conceived as the Laws of Thought,
    that is why I try to resurrect the system...
    Other Modern Logics are only the Laws of certain Artificial Languages!

    The reason for abandoning Classic Logis was Paradoxes,
    it was for instance claimed by Alfred Tarski that natural languages are inconsistent
    because The Liar Paradox could be derived in them!

    Let us assume that Sentence 1 is a properly defined sentence:

    1 Sentence 1 is not true.

    Then you should be able to derive the Liar paradox from it...

    But I intend to show why and how your deduction is incorrect if you do ;)
    Last edited: Mar 8, 2012
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted