Leibniz's logic and the ``cube of opposition'' (Q346757): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The author relates Leibniz's logic, reconstructed as intensional algebra of concepts, to the traditional syllogistic theory of judgements as represented in the square of opposition. After reconsidering the traditional square and the corresponding theory, the author reconstructs Leibniz's intensional algebra as it can be found mainly in Leibniz's \textit{Generales inquisitiones} of 1686. One example for the differences is Leibniz's expression of the universal affirmative proposition ``Every S is P'' simply by ``S is P'' or ``S contains P''. Leibniz furthermore introduces a new operator of conceptual conjunction and proposes the unrestricted use of conceptual negation. The author reconstructs Leibniz's language \(L_1\), i.e., an extensional interpretation of the algebra of concepts. He arrives at a slightly modified form of the square of opposition in two variations (pp.\ 180--181). The author extensively discusses the validity of subalternation in \(L_1\) arriving at the conclusion ``Within the framework of Leibniz's `intensional' logic where the extension of a concept is interpreted as a set of \textit{possible} objects, the law of subalternation is valid, provided that this law -- or the entire square of opposition -- is \textit{restricted to self-consistent concepts}!'' (p.\ 183). In the next section, the author considers the quantification of the predicate as proposed by Leibniz in a fragment \textit{Mathesis rationis} of around 1700. The author can show that Leibniz's suggestions in respect to categorical forms are compatible with the standard square of predicate logic in the Fregean interpretation. But Leibniz also discusses four unorthodox propositions such as ``Every A is every B''. The author shows that these unorthodox propositions can be represented by an alternative square which can be intertwined with the former one to a cube of propositions. The author closes with a discussion of the meaning of Leibniz's unorthodox propositions. | |||
Property / review text: The author relates Leibniz's logic, reconstructed as intensional algebra of concepts, to the traditional syllogistic theory of judgements as represented in the square of opposition. After reconsidering the traditional square and the corresponding theory, the author reconstructs Leibniz's intensional algebra as it can be found mainly in Leibniz's \textit{Generales inquisitiones} of 1686. One example for the differences is Leibniz's expression of the universal affirmative proposition ``Every S is P'' simply by ``S is P'' or ``S contains P''. Leibniz furthermore introduces a new operator of conceptual conjunction and proposes the unrestricted use of conceptual negation. The author reconstructs Leibniz's language \(L_1\), i.e., an extensional interpretation of the algebra of concepts. He arrives at a slightly modified form of the square of opposition in two variations (pp.\ 180--181). The author extensively discusses the validity of subalternation in \(L_1\) arriving at the conclusion ``Within the framework of Leibniz's `intensional' logic where the extension of a concept is interpreted as a set of \textit{possible} objects, the law of subalternation is valid, provided that this law -- or the entire square of opposition -- is \textit{restricted to self-consistent concepts}!'' (p.\ 183). In the next section, the author considers the quantification of the predicate as proposed by Leibniz in a fragment \textit{Mathesis rationis} of around 1700. The author can show that Leibniz's suggestions in respect to categorical forms are compatible with the standard square of predicate logic in the Fregean interpretation. But Leibniz also discusses four unorthodox propositions such as ``Every A is every B''. The author shows that these unorthodox propositions can be represented by an alternative square which can be intertwined with the former one to a cube of propositions. The author closes with a discussion of the meaning of Leibniz's unorthodox propositions. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Volker Peckhaus / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 01A45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03-03 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6657597 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
square of opposition | |||
Property / zbMATH Keywords: square of opposition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
theory of the syllogism | |||
Property / zbMATH Keywords: theory of the syllogism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
concept logic | |||
Property / zbMATH Keywords: concept logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Leibniz | |||
Property / zbMATH Keywords: Leibniz / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantification of the predicate | |||
Property / zbMATH Keywords: quantification of the predicate / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
individual concepts | |||
Property / zbMATH Keywords: individual concepts / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intensional algebra | |||
Property / zbMATH Keywords: intensional algebra / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11787-016-0143-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2321236795 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3342501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Leibniz on Intension and Extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3918093 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5817389 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3924155 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:06, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Leibniz's logic and the ``cube of opposition'' |
scientific article |
Statements
Leibniz's logic and the ``cube of opposition'' (English)
0 references
30 November 2016
0 references
The author relates Leibniz's logic, reconstructed as intensional algebra of concepts, to the traditional syllogistic theory of judgements as represented in the square of opposition. After reconsidering the traditional square and the corresponding theory, the author reconstructs Leibniz's intensional algebra as it can be found mainly in Leibniz's \textit{Generales inquisitiones} of 1686. One example for the differences is Leibniz's expression of the universal affirmative proposition ``Every S is P'' simply by ``S is P'' or ``S contains P''. Leibniz furthermore introduces a new operator of conceptual conjunction and proposes the unrestricted use of conceptual negation. The author reconstructs Leibniz's language \(L_1\), i.e., an extensional interpretation of the algebra of concepts. He arrives at a slightly modified form of the square of opposition in two variations (pp.\ 180--181). The author extensively discusses the validity of subalternation in \(L_1\) arriving at the conclusion ``Within the framework of Leibniz's `intensional' logic where the extension of a concept is interpreted as a set of \textit{possible} objects, the law of subalternation is valid, provided that this law -- or the entire square of opposition -- is \textit{restricted to self-consistent concepts}!'' (p.\ 183). In the next section, the author considers the quantification of the predicate as proposed by Leibniz in a fragment \textit{Mathesis rationis} of around 1700. The author can show that Leibniz's suggestions in respect to categorical forms are compatible with the standard square of predicate logic in the Fregean interpretation. But Leibniz also discusses four unorthodox propositions such as ``Every A is every B''. The author shows that these unorthodox propositions can be represented by an alternative square which can be intertwined with the former one to a cube of propositions. The author closes with a discussion of the meaning of Leibniz's unorthodox propositions.
0 references
square of opposition
0 references
theory of the syllogism
0 references
concept logic
0 references
Leibniz
0 references
quantification of the predicate
0 references
individual concepts
0 references
intensional algebra
0 references