(also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and

philosophical logic.[1] The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see logic in computer science for those. Since its inception, mathematical logic has contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gdel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory showed that almost all ordinary mathematics can be formalized in terms of sets, although there are some theorems that cannot be proven in common axiom systems for set theory. Contemporary work in the foundations of mathematics often focuses on establishing which parts of mathematics can be formalized in particular formal systems, rather than trying to find theories in which all of mathematics can be developed.

Many logics besides first-order logic are studied. These include infinitary logics, which allow for formulas to provide an infinite amount of information, and higher-order logics, which include a portion of set theory directly in their semantics. The most well studied infinitary logic is . In this logic, quantifiers may only be nested to finite depths, as in first order logic, but formulas may have finite or countably infinite conjunctions and disjunctions within them. Thus, for example, it is possible to say that an object is a whole number using a formula of such as

Higher-order logics allow for quantification not only of elements of the domain of discourse, but subsets of the domain of discourse, sets of such subsets, and other objects of higher type. The semantics are defined so that, rather than having a separate domain for each higher-type quantifier to range over, the quantifiers instead range over all objects of the appropriate type. The logics studied before the development of first-order logic, for example Frege's logic, had similar set-theoretic aspects. Although higher-order logics are more expressive, allowing complete axiomatizations of structures such as the natural numbers, they do not satisfy analogues of the completeness and compactness theorems from first-order logic, and are thus less amenable to proof-theoretic analysis. Another type of logics are fixed-point logics that allow inductive definitions, like one writes for primitive recursive functions. One can formally define an extension of first-order logic a notion which encompasses all logics in this section because they behave like first-order logic in certain fundamental ways, but does not encompass all logics in general, e.g. it does not encompass intuitionistic, modal or fuzzy logic. Lindstrm's theorem implies that the only extension of first-order logic satisfying both the compactness theorem and the Downward Lwenheim Skolem theorem is first-order logic.

philosopher and polymath, a student of Plato and teacher of Alexander the Great. His writings cover many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, linguistics, politics, government, ethics, biology, and zoology. Together with Plato and Socrates (Plato's teacher), Aristotle is one of the most important founding figures in Western philosophy. Aristotle's writings were the first to create a comprehensive system of Western philosophy, encompassing morality and aesthetics, logic and science, politics and metaphysics.

Aristotle (Greek: , Aristotls) (384 BC 322 BC)[1] was a Greek

Aristotle's views on the physical sciences profoundly shaped medieval scholarship, and their influence extended well into the Renaissance, although they were ultimately replaced by Newtonian physics. In the zoological sciences, some of his observations were confirmed to be accurate only in the 19th century. His works contain the earliest known formal study of logic, which was incorporated in the late 19th century into modern formal logic. In metaphysics, Aristotelianism had a profound influence on philosophical and theological thinking in the Islamic and Jewish traditions in the Middle Ages, and it continues to influence Christian theology, especially the scholastic tradition of the Catholic Church. His ethics, though always influential, gained renewed interest with the modern advent of virtue ethics. All aspects of Aristotle's philosophy continue to be the object of active academic study today. Though Aristotle wrote many elegant treatises and dialogues (Cicero described his literary style as "a river of gold"),[2] it is thought that the majority of his writings are now lost and only about one-third of the original works have survived.

Full name , Aristotls 384 BC Stageira, Chalcidice 322 BC (age 61 or 62) Euboea Ancient philosophy Western philosophy Peripatetic school Aristotelianism Physics, Metaphysics, Poetry, Theatre, Music, Rhetoric, Politics, Government, Ethics, Biology, Zoology

Born

Died

Era Region

School

Main interests

"Aristotle" by Francesco Hayez (17911882)

Aristotle was born in Stageira, Chalcidice, in 384 BC, about 55 km (34 mi) east of modern-day Thessaloniki.[4] His father Nicomachus was the personal physician to King Amyntas of Macedon. Aristotle was trained and educated as a member of the aristocracy. At about the age of eighteen, he went to Athens to continue his education at Plato's Academy. Aristotle remained at the academy for nearly twenty years before quitting Athens in 348/47 BC. The traditional story about his departure reports that he was disappointed with the direction the academy took after control passed to Plato's nephew Speusippus upon his death, although it is possible that he feared antiMacedonian sentiments and left before Plato had died.[5] He then traveled with Xenocrates to the court of his friend Hermias of Atarneus in Asia Minor.

While in Asia, Aristotle traveled with Theophrastus to the island of Lesbos, where together they researched the botany and zoology of the island. Aristotle married Hermias's adoptive daughter (or niece) Pythias. She bore him a daughter, whom they named Pythias. Soon after Hermias' death, Aristotle was invited by Philip II of Macedon to become the tutor to his son Alexander the Great in 343 BC.

Plato (left) and Aristotle (right), a detail of The School of Athens, a fresco by Raphael. Aristotle gestures to the earth, representing his belief in knowledge through empirical observation and experience, while holding a copy of his Nicomachean Ethics in his hand, whilst Plato gestures to the heavens, representing his belief in The Forms

Statue of Aristotle (1915) by Cipri Adolf Bermann at the University of Freiburg im Breisgau

Main article: Metaphysics (Aristotle)

Aristotle defines metaphysics as "the knowledge of immaterial being," or of "being in the highest degree of abstraction." He refers to metaphysics as "first philosophy", as well as "the theologic science."

Socrates (Greek: , Ancient Greek pronunciation: [skrts], Skrts; c. 469 BC399 BC,[1] pronounced /skrtiz/ in English) was a

classical Greek Athenian philosopher. Credited as one of the founders of Western philosophy, he is an enigmatic figure known chiefly through the accounts of later classical writers, especially the writings of his students Plato and Xenophon, and the plays of his contemporary Aristophanes. Many would claim that Plato's dialogues are the most comprehensive accounts of Socrates to survive from antiquity.[2]

Carnelian gem imprint representing Socrates, Rome, 1st century BC-1st century AD. Details about Socrates can be derived from three contemporary sources: the dialogues of Plato and Xenophon (both devotees of Socrates), and the plays of Aristophanes. He has been depicted by some scholars, including Eric Havelock and Walter Ong, as a champion of oral modes of communication, standing up at the dawn of writing against its haphazard diffusion.

Aristophanes' play The Clouds portrays Socrates as a clown who teaches his students how to bamboozle their way out of debt. Most of Aristophanes' works, however, function as parodies. Thus, it is presumed this characterization was also not literal. According to Plato, Socrates' father was Sophroniscus and his mother Phaenarete a midwife. Though characterized as unattractive in appearance and short in stature, Socrates married Xanthippe, who was much younger than him. She bore for him three sons, Lamprocles, Sophroniscus and Menexenus. His friend Crito of Alopece criticized him for abandoning his sons when he refused to try to escape before his execution.

The Death of Socrates, by Jacques-Louis David (1787).

Plato (English pronunciation: /pleto/; Greek: , Pltn, "broad";[2] 424/423 BC[a] 348/347 BC), was a Classical Greek philosopher, mathematician, student of Socrates, writer of philosophical dialogues, and founder of the Academy in Athens, the first institution of higher learning in the Western world. Along with his mentor, Socrates, and his student, Aristotle, Plato helped to lay the foundations of Western philosophy and science.[3] In the famous words of A.N. Whitehead:

The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato. I do not mean the systematic scheme of thought which scholars have doubtfully extracted from his writings. I allude to the wealth of general ideas scattered through them.[4] Plato's sophistication as a writer is evident in his Socratic dialogues; thirtysix dialogues and thirteen letters have been ascribed to him. Plato's writings

have been published in several fashions; this has led to several conventions regarding the naming and referencing of Plato's texts.[citation needed] Plato's dialogues have been used to teach a range of subjects, including philosophy, logic, ethics, rhetoric, and mathematics.

"Platonism" is a term coined by scholars to refer to the intellectual

consequences of denying, as Socrates often does, the reality of the material world. In several dialogues, most notably the Republic, Socrates inverts the common man's intuition about what is knowable and what is real. While most people take the objects of their senses to be real if anything is, Socrates is contemptuous of people who think that something has to be graspable in the hands to be real. In the Theaetetus, he says such people are "eu a-mousoi", an expression that means literally, "happily without the muses" (Theaetetus 156a). In other words, such people live without the divine inspiration that gives him, and people like him, access to higher insights about reality. Socrates's idea that reality is unavailable to those who use their senses is what puts him at odds with the common man, and with common sense. Socrates says that he who sees with his eyes is blind, and this idea is most famously captured in his allegory of the cave, and more explicitly in his description of the divided line. The allegory of the cave (begins Republic 7.514a) is a paradoxical analogy wherein Socrates argues that the invisible world is the most intelligible ("noeton") and that the visible world ("(h)oraton") is the least knowable, and the most obscure.

Socrates says in the Republic that people who take the sun-lit world of the senses to be good and real are living pitifully in a den of evil and ignorance. Socrates admits that few climb out of the den, or cave of ignorance, and those who do, not only have a terrible struggle to attain the heights, but when they go back down for a visit or to help other people up, they find themselves objects of scorn and ridicule.

Plato and Socrates in a medieval depiction

The word metaphysics derives from the fact that Aristotle's musings about divine reality came after ("meta") his lecture notes on his treatise on nature ("physics"). The term is in fact applied to Aristotle's own teacher, and Plato's "metaphysics" is understood as Socrates' division of reality into the warring and irreconcilable domains of the material and the spiritual. The theory has been of incalculable influence in the history of Western philosophy and religion.

Euclid Eukleids), fl. 300 BC, also known as Euclid of Alexandria, was a Greek mathematician, often referred to as the "Father of Geometry". He was active in Alexandria during the reign of Ptolemy I (323283 BC). His Elements is one of the most influential works in the history of mathematics, serving as the main textbook for teaching mathematics (especially geometry) from the time of its publication until the late 19th or early 20th century.[1][2][3] In the Elements, Euclid deduced the principles of what is now called Euclidean geometry from a small set of axioms. Euclid also wrote works on perspective, conic sections, spherical geometry, number theory and rigor. "Euclid" is the anglicized version of the Greek name ( Eukleds), meaning "Good Glory".

Statue of Euclid in the Oxford University Museum of Natural History