Related Research Articles
Edmund Gustav Albrecht Husserl was an Austrian-German philosopher and mathematician who established the school of phenomenology.
Kurt Friedrich Gödel was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Gottlob Frege.
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites".
Truth or Verity is the property of being in accord with fact or reality. In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.
George BooleJnr was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of The Laws of Thought (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age, alongside the work of Claude Shannon.
A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.
A fallacy, also known as paralogia in modern psychology, is the use of invalid or otherwise faulty reasoning in the construction of an argument that may appear to be well-reasoned if unnoticed. The term was introduced in the Western intellectual tradition by the Aristotelian De Sophisticis Elenchis.
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, recursion theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
The Organon is the standard collection of Aristotle's six works on logical analysis and dialectic. The name Organon was given by Aristotle's followers, the Peripatetics, who maintained against the Stoics that Logic was "an instrument" of Philosophy.
Nicholas Rescher is a German-American philosopher, polymath, and author, who has been a professor of philosophy at the University of Pittsburgh since 1961. He is chairman of the Center for Philosophy of Science and was formerly chairman of the philosophy department.
Hans Reichenbach was a leading philosopher of science, educator, and proponent of logical empiricism. He was influential in the areas of science, education, and of logical empiricism. He founded the Gesellschaft für empirische Philosophie in Berlin in 1928, also known as the "Berlin Circle". Carl Gustav Hempel, Richard von Mises, David Hilbert and Kurt Grelling all became members of the Berlin Circle.
Philosophy is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, value, mind, and language. It is a rational and critical inquiry that reflects on its own methods and assumptions.
Western philosophy refers to the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word philosophy itself originated from the Ancient Greek philosophía (φιλοσοφία), literally, "the love of wisdom" Ancient Greek: φιλεῖν phileîn, "to love" and σοφία sophía, "wisdom").
Johan Anthony Willem "Hans" Kamp is a Dutch philosopher and linguist, responsible for introducing discourse representation theory (DRT) in 1981.
Synthese is a scholarly periodical specializing in papers in epistemology, methodology, and philosophy of science, and related issues. Its subject area is divided into four specialties, with a focus on the first three: (1) "epistemology, methodology, and philosophy of science, all broadly understood"; (2) "foundations of logic and mathematics, where 'logic', 'mathematics', and 'foundations' are all broadly understood"; (3) "formal methods in philosophy, including methods connecting philosophy to other academic fields"; and (4) "issues in ethics and the history and sociology of logic, mathematics, and science that contribute to the contemporary studies".
Susanne Bobzien is a German-born philosopher whose research interests focus on philosophy of logic and language, determinism and freedom, and ancient philosophy. She currently is senior research fellow at All Souls College, Oxford and professor of philosophy at the University of Oxford.
1936 in philosophy
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.
References
- ↑ "Aquinas and Descartes to Kant: The Origins of Early Modern Philosophy". Archived from the original on 2016-02-08. Retrieved 2016-02-07.