Major types of logic

|

Syllogistic logic Organon is Aristotle’s principal work of logic, including the Prior Analytics; it constitutes the first explicit work of formal logic, with in particular the introduction of syllogistics. The works of Aristotle are considered in Europe and the Middle … Read More

Philosophy of logic

|

The philosophy of logic is a part of the philosophy of science which is interested in the set of theoretical problems which traditionally come under logic, essentially comprising first of all the question of its essence, its history from its … Read More

Henri Poincaré, Mathematics and logic

|

A few years ago, I had the opportunity to expose some ideas about the logic of the infinite; on the use of the infinite in Mathematics, on the use made of it since Cantor; I explained why I did not … Read More

Henri Poincaré, The logic of infinity: The use of infinity

|

Is it possible to reason about objects that can notbe defined in a finite number of words? Is it even possible to talk about it knowing what one is talking about, and by saying something other than empty words? Or … Read More

Henri Poincaré, The logic of infinity: The memory of Mr. Zermelo

|

It is in a totally different direction that Mr. Zermelo is seeking the solution of the difficulties we have pointed out. He tries to establish a system of axioms a priori, which must allow him to establish all the mathematical … Read More

Henri Poincaré, The logic of infinity: Axiom of reducibility

|

Russell introduces a new axiom which he calls axiom of reducibility. As I’m not sure I fully understood his thought, I will let him speak. “We assume, that every function is équivalent, for ail its value to some predicative function … Read More

Logic

|

(Allegory of logic) The logic, from the Greek λογική / logikê, is a term derived from λόγος / lógos – meaning at the same time “reason”, “language”, and “reasoning” – is, in a first approach, the study of the formal … Read More