Logic System

From GM-RKB
(Redirected from formal logic system)
Jump to navigation Jump to search

A Logic System is a formal system composed of a logic system grammar and Logic Operation Set.



References

2014

  1. Undergraduate texts include Boolos, Burgess, and Jeffrey (2002), Enderton (2001), and Mendelson (1997). A classic graduate text by Shoenfield (2001) first appeared in 1967.

2009

  • WordNet.
    • the branch of philosophy that analyzes inference
    • reasoned and reasonable judgment; "it made a certain kind of logic"
    • the principles that guide reasoning within a given field or situation; "economic logic requires it"; "by the logic of war"
    • the system of operations performed by a computer that underlies the machine's representation of logical operations
    • a system of reasoning


  • (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Logic
  • Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical trivium.
    • The word derives from Greek λογική (logike), fem. of λογικός (logikos), "possessed of reason, intellectual, dialectical, argumentative", from λόγος logos, "word, thought, idea, argument, account, reason, or principle".
    • Logic concerns the structure of statements and arguments, in formal systems of inference and natural language. Topics include validity, fallacies and paradoxes, reasoning using probability and arguments involving causality. Logic is also commonly used today in argumentation theory.
  • Mathematical logic is a subfield of logic and mathematics. It consists both of the mathematical study of logic and the application of this study ...





  • http://www.philosophy.uncc.edu/mleldrid/logic/logiglos.html
    • Logic: Logic is the study of correct reasoning. It both describes and evaluates the way in which we draw inferences. Inferences are formulated as arguments and then evaluated as to their validity and soundness. The aim is to find generally reliable (see inductive) or always reliable (see deductive) arguments.