Leibniz ritiene che la forma 'soggetto + copula + predicato' sia la forma standard di ogni enunciato elementare (non ulteriormente scomponibile in altri enunciati). Ritiene, inoltre, che la copula esprima la relazione d'inerenza o contenimento e che sia suscettibile di una duplice interpretazione: estensionale o intensionale. Dato, per esempio, l'enunciato 'Ogni uomo è mortale', la copula dice che: 1) Ogni individuo che cade sotto il concetto di uomo appartiene alla collezione (aggregato, insieme, classe) di individui che cadono sotto il concetto mortale (punto di vista 'estensionale'); 2) Il concetto associato alla parola 'uomo' ha, tra i suoi componenti il concetto associato ad 'animale' (punto di vista 'intensionale') Leibniz afferma di preferire nettamente il punto di vista intensionale a quello estensionale, nella prospettiva di costruire un calcolo di 'puri concetti', nel quale la consistenza logica è il solo criterio di ammissibilità. Nei suoi calcoli logici, Leibniz impiega la relazione di contenimento, che sussiste tra concetti (o aggregati corrispondenti ai concetti) e l'operazione di giustapposizione tra lettere che denotano concetti (o aggregati). La relazione di contenimento è riflessiva, transitiva e antisimmetrica e perciò induce un semi-ordine sull'insieme dei concetti (aggregati). L'operazione di giustapposizione è commutativa, idempotente e associativa. Dal punto di vista estensionale, Leibniz elabora un calcolo logico equivalente a un semi-reticolo con intersezione e negazione. Egli dispone, perciò, di tutti gli ingredienti per formare un'algebra di Boole. Sfortunatamente, tuttavia, i saggi logici leibniziani rimasero sepolti fino agli inizi del Novecento nella Landesbibliothek di Hannover (adesso Leibniz-Bibliothek).
Leibniz considers every elementary sentence (i.e. a sentence that cannot be analysed into further sentences) as having the general form: 'subject + copula + predicate'. As for the copula, Leibniz thinks that it expresses a relation of inherence or containment that may be read in two different ways. Given, for example, the sentence 'Every man is mortal', the copula says that: 1) Every individual falling under the concept of man, belongs to the collection (aggregate, set, or class) of the individuals falling under the concept being mortal ('extensional' point of view); 2) The concept associated with the word 'man' has amongst its component parts the concept associated with the word 'animal' ('intensional' point of view). Leibniz firmly claims that, of the two points of view, that according to the extension and that according to the intension, he prefers the second, thus aiming to construct a logical calculus of 'pure concepts', in which logical consistency is the sole criterion for admissibility. In his logical essays, Leibniz employs the relation of containment, which subsists between concepts (or aggregates corresponding to concepts) and the operation of juxtaposition between letters denoting concepts (or aggregates). The relation of containment is reflexive, transitive and anti-symmetric, thus inducing a semi-order on the set of concepts (aggregates), whereas the operation of juxtaposition is commutative, idempotent and associative. From the extensional point of view, Leibniz gives rise to a logical calculus equivalent to a semi-lattice with meet and negation. Therefore, he disposes of all ingredients to form a Boolean algebra. Unfortunately, however, he never edited his logical essays, which still remained unpublished until the beginning of the 20th century.
@article{RUMI_2016_1_1_3_241_0, author = {Massimo Mugnai}, title = {Leibniz e la logica}, journal = {Matematica, Cultura e Societ\`a. Rivista dell'Unione Matematica Italiana}, volume = {1}, year = {2016}, pages = {241-257}, mrnumber = {3587775}, language = {it}, url = {http://dml.mathdoc.fr/item/RUMI_2016_1_1_3_241_0} }
Mugnai, Massimo. Leibniz e la logica. Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana, Tome 1 (2016) pp. 241-257. http://gdmltest.u-ga.fr/item/RUMI_2016_1_1_3_241_0/
, Ricerche generali sull'analisi delle nozioni e delle verità e altri saggi di logica, a cura di , Edizioni della Normale, Pisa, 2008.
Recherches générales sur l'analyse des notions et des vérités. 24 thèses métaphysiques et autres textes logiques et métaphysiques, Introductions et notes par Jean-Baptiste Rauzy, Paris, 1998, p.416.
:, Logical Papers. A Selection. Translated and Edited with an Itroduction by , Clarendon Press, Oxford, 1966.
La logique de Leibniz, Paris, 1901;
,Neue Beleuchtung einer Theorie von Leibniz. Grundzuege der Logikkalkuels, Darmstadt, 1930;
,Die mathematische Logik von Leibniz, in "Studia Philosophica", 1947, pp.87-102;
,Leibniz's Interpretation of his Logical Calculi, in "Journal of Symbolic Logic", 19, 1954, pp.1-13; | Zbl 0055.00305
,Review of Rescher's Leibniz's Interpretation of his Logical Calculi, in "Journal of Symbolic Logic", 21, 1956, 197-99;
,Über die Leibnizsche Logik, "Acta Philosophica Fennica", 12, Helsinki, 1960;
,Leibniz's Syllogistico-propositional Calculus, in "Notre Dame Journal for Formal Logic", 17, 1976, pp.481-500; | Zbl 0314.02004
,Logik und Semiotik in der Philosophie von Leibniz, Muenchen, 1980;
,Leibniz's Complete Propositional Logic, in "Topoi", 9, 1990, pp.15-90;
,Introduzione (pp.VII-XXXV) a , Allgemeine Untersuchungen über die Analyse der Begriffe und Wahrheiten, Meiner Verlag, Hamburg, 1993;
,Introduzione a , Die Grundlagen des logischen Kalküls, Meiner Verlag, Hamburg, 2000;
,, Calculus Universalis: Studien zur Logik von G.W.Leibniz, Mentis Verlag, Paderborn, 2009;
The Logic of Leibniz's 'Generales Inquisitiones de Analysi Notionum et Veritatum', in "The Review of Symbolic Logic", 4, 2015, pp.1-66.
- ,