Earlier appellations were symboliclogic (as opposed to philosophical logic); and metamathematics, which is now restricted as a term to some aspects of proof theory.

In essentials, it is still the logic of Aristotle, but from the point of view of notation it is written as a branch of abstract algebra.

Attempts to treat the operations of formal logic in a symbolic or algebraic way were made by some of the more philosophical mathematicians, such as Leibniz and Lambert; but their labors remained little known and isolated.

en.wikipedia.org /wiki/Symbolic_logic (1033 words)

Symbolic logic(Site not responding. Last check: 2007-11-07)

ASL Typesetting Office TeX files in the style used by the publications of the Association for SymbolicLogic, including The Journal of SymbolicLogic, The Bulletin of SymbolicLogic and the Lecture Notes in Logic.

Journal of SymbolicLogic Official organ of the Association of SymbolicLogic.

Logic Colloquium '96 European Summer Meeting of the Association for SymbolicLogic.

The Journal of SymbolicLogic was founded in 1936 and it has become the leading research journal in the field.

The Journal is distributed with The Bulletin of SymbolicLogic.

The Journal and The Bulletin are the official organs of the Association for SymbolicLogic, an international organization for supporting research in symboliclogic and furthering the exchange of ideas among mathematicians, philosophers, computer scientists, linguists, and others interested in this field.

This course is a study of the formal analysis of reasoning employing the state-of-the-art tools of modern symboliclogic.

Typical tests will thus include questions requiring you to translate English-language sentences into the language of symboliclogic, demonstrate the invalidity of an argument by constructing a counterexample to it, and demonstrate the validity of an argument by constructing a formal proof of it.

Logic is not a subject that lends itself to discussion to the same extent that most other topics of philosophy courses do.

The intent of the course is to introduce the ways abstract symbolic structures may be used to analyze the logical forms that constitute and are woven into deductive reasoning.

The study of these structures is important for exploring the Anglo-American analytic philosophical tradition as well as a range of diverse disciplines that form significant parts of the contemporary intellectual landscape such as the foundations of mathematics, computer science, and linguistics.

A number of foundational topics of 20th century logic will be briefly considered that include set theory, Russell's paradox and the main ideas of Gödel's theorems and the associated philosophical issue of whether the procedures of symboliclogic when computerized can capture the full range of human reasoning.

The first part of symboliclogic is known as truth-functional analysis, the propositional calculus, or the sentential calculus; it deals with statements that can be assigned truth values (true or false).

Combinations of these statements are called truth functions, and their truth values can be determined from the truth values of their components.

In this course we will cover a natural deduction system of elementary symboliclogic (first-orderlogic), including both sentential logic and predicate logic with identity.

Logic and Philosophy: A Modern Introduction, Paul Tidman and Howard Kahane, 8th edition.

Learning symboliclogic is like learning mathematics or a foreign language because it requires daily practice.

www.csun.edu /~lmchenry/SymLogic.syl.htm (237 words)

Symbolic Logic: An Introduction to its Methodsd and Meaning(Site not responding. Last check: 2007-11-07)

An introduction to the powerful ways the logical forms woven into deductive reasoning and language can be analyzed using abstract symbolic structures.

Philosophically interesting properties about logical systems will be explored - the project of meta-logic - including the task of proving if a logical system is complete and consistent.

A number of foundational topics of 20th century logic will be briefly considered such as set theory, fuzzy logic, Russell's paradox and the main ideas of Goedel's theorems and the associated philosophical issue of whether the procedures of symboliclogic when computerized can capture the full range of human reasoning.

was established in 1995 by the Association for SymbolicLogic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible.

Its stated purpose is to keep the logic community informed quickly of important developments in all parts of the discipline.

may deal with any aspect of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, or applications of logic to other fields.

SymbolicLogic was written to illustrate and describe a new way of looking at physical systems.

The fundamental difference between Turing based computing machines (conventional mathematics) and Symbolic systems (non-math) is crudely described in the Appendix (1) via Cantors diagonal theorem and the Halting problem.

As a result, the methodology of SymbolicLogic can directly generate machines which can solve classes of problems difficult or impossible for Turing computing machines to solve.

The language of logic is developed in two stages: propositional logic and predicate logic.

The main objective of the course is for students to feel comfortable with the symbolism of predicate logic and to be able to use the language to accurately express, and establish the validity of, various forms of reasoning.

As Lewis Carroll writes: "Once master the machinery of SymbolicLogic, and you have a mental occupation always at hand, of absorbing interest, and one that will be of real use to you in any subject you may take up.

As stated in the course textbook, Introduction to SymbolicLogic, "Logic is concerned solely with whether the conclusion follows from the premises" of an argument.

The main motivating idea is what Professor Thorntorn describes as "symboliclogic", the idea that another person's penis will strengthen the perpetrator's, or that the perpetrator's far-sightedness will be improved by devouring the victim's eyes.

Hilary Putnam of Harvard University has made major contributions to symboliclogic, the philosophy of mathematics, metaphysics, the philosophy of the natural and social sciences, epistemology, the philosophy of mind, the philosophy of language, the history of philosophy, ethics, and political philosophy.

The differences among courses, however, may appear far greater than they are in other areas of study, and some of this depends on whether the course is seen as a part of a mathematics or computer science program or as part of a philosophy program.

Several years ago I developed SLIPS as a hypertext or webpage introduction to symboliclogic, and I still find much of the material useful in approaching the concepts of symboliclogic (much as I did in a textbook, now out of print, entitled SymbolicLogic: A Conceptual Approach).

The main difficulty in doing this is that there are differences in symbolization and in the approach to a proof system, so it is necessary to make constant adaptations.

Essentials of SymbolicLogic is a concise and clearly written introduction to the topic.

The book focuses on sentence logic and predicate logic, and provides a thorough grounding in derivation strategies in both.

"Essentials of SymbolicLogic is particularly good at encouraging students to develop strategies for producing derivations in sentence and predicate logic, without ever suggesting that this is an easy task, so that students who persevere can end their courses with a genuine sense of real achievement.

In this way, logically complex sentences are understood as truth-functions of their logically simple components, similarly to the way that complex mathematical expressions are understood as quantitative functions of their mathematically simple components (i.e., constants and variables).

You will learn how to translate sentences from a natural language (in this case, English) into the language of symboliclogic, how to test arguments stated in symboliclogic for validity using truth-functional semantics, and how to demonstrate the validity of an argument stated in symboliclogic by constructing a proof.

Many students find symboliclogic difficult, and it tends to be difficult in ways that other subjects in philosophy are not.

Course Objectives: The main goal of this course is to lay out the foundations of deductive logic in its two main branches: the sentential calculus (also called propositional logic) and the predicate calculus.

We will also explore other related issues such as infinite-valued logics, ‘tautology’ fractals, cellular automata, the prisoner’s dilemma, game theory, chaos, computation and undecidability in the prisoner’s dilemma.

Amazon.co.uk: Books: Modern Logic: A Text in Elementary Symbolic Logic(Site not responding. Last check: 2007-11-07)

Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symboliclogic.

Modern Logic is a text designed for a first course in symboliclogic for students in philosophy, mathematics, computer science, or linguistics.

Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book.

www.amazon.co.uk /exec/obidos/ASIN/0195080297 (466 words)

Amazon.com: Books: Symbolic Logic and the Game of Logic(Site not responding. Last check: 2007-11-07)

In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve.

Over 350 ingenious problems involving classical logic: logic is expressed in terms of symbols; syllogisms and the sorites are diagrammed; logic becomes a game played with two diagrams and a set of counters.

Math is fun, but the rhetoric of most 'taught' (probably an overstatement) math (and, by extension, logic) is so incredibly dry that the forest is rarely seen for the bark on the trees.