Systems of Logic { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.



Philosophy Topics




Systems of Logic

A system of logic, also known as a logical calculus, or simply a logic, is a method by which to express and evaluate information in a logical manner.

Formal Language and Rules of Inference

Logical systems consist of a formal language of symbolic logic. This language defines:

The formal language of a system consists of, on one hand, the syntax of the language, and on the other, a method for expressing semantics within the system. The semantics of a system may be as simple as assigning truth-value to propositions and formulae, or more complicated, using predicate symbols to define non-logical relationships between formulae.

Systems also consist of rules of inference, which determine how expressions in the language may be used to draw new, previously unstated conclusions.

Common Systems of Logic