# An introduction to mathematical logic

Syntax and Formation Rules of PL In any ordinary language, a statement would never consist of a single word, but would always at the very least consist of a noun or pronoun along with a verb. References and Further Reading 1. In this usage, the English sentence, "It is raining", and the French sentence "Il pleut", would be considered to express the same proposition; similarly, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition.

However, whenever a shorter wff is used in constructing a more complicated wff, the parentheses on the shorter wff are necessary. More serious attempts to study statement operators such as "and", "or" and "if These results helped establish first-order logic as the dominant logic used by mathematicians. In the midth century, flaws in Euclid's axioms for geometry became known Katzp. Here, the fundamental logical principle involved is that if a given affirmative statement is true, the negation of that statement is false, and if a given affirmative statement is false, the negation of that statement is true.

Whether a statement formed using this operator is true or false does not depend entirely on the truth or falsity of the statement to which the operator is applied.

InDedekind proposed a definition of the real numbers in terms of Dedekind cuts of rational numbers Dedekinda definition still employed in contemporary texts. Previous conceptions of a function as a rule for computation, or a smooth graph, were no longer adequate.

This is most easily done if we utilize a simplified logical language that deals only with simple statements considered as indivisible units as well as complex statements joined together by means of truth-functional connectives. As mentioned above, these are used in place of the English words, 'and', 'or', 'if The notion of a well-formed formula should be understood as corresponding to the notion of a grammatically correct or properly constructed statement of language PL. Bush is a son of a president of the United States. Frege's work remained obscure, however, until Bertrand Russell began to promote it near the turn of the century.

It is possible in English to talk about words and sentences in other languages, and when we do, we place the words or sentences we wish to talk about in quotation marks. If Bob Dole is president of the United States inthen the president of the United States in is a member of the Republican party.

Paris is the capital of France. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument: Gentzen's result introduced the ideas of cut elimination and proof-theoretic ordinalswhich became key tools in proof theory.

Hilbert developed a complete set of axioms for geometrybuilding on previous work by Pasch Any statement letter is a well-formed formula. Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.

There are probably more rigorous (introductory) books on mathematical logic - Enderton's "A Mathematical Introduction to Logic" comes to mind, and there are also probably more accessible (but less rigorous) introductions, say Gamut's "Logic, Language, and Meaning, Volume 1", but Hodel's Introduction to Mathematical Logic strikes a very rare balance between the douglasishere.coms: 6.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a douglasishere.com author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. Propositional Logic. Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.

An introduction to mathematical logic
Rated 5/5 based on 27 review
Propositional Logic | Internet Encyclopedia of Philosophy