modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H" ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ...
Leggi Tutto
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] al predicato non fosse più la semplice asserzione di uno stato di fatto (S è P), ma quella di una realtà necessaria (S è necessariamente P) o di una realtà soltanto possibile (S può essere P); I. Kant, ...
Leggi Tutto
modus tollendo ponens
modus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q ...
Leggi Tutto
Filosofo e scienziato (Rochlitz, Sassonia, 1673 - Lipsia 1731); fu medico e prof. di filosofia nelle univ. di Halle e di Lipsia. Interessato al raffinamento dei metodi logici, sviluppò la sillogistica, [...] pur sottolineando (in contrapposizione a C. Wolff) la necessità di un procedere deduttivo da fatti a fatti, non da principî astratti a conclusioni possibili. Distinse il metodo filosofico da quello matematico, ...
Leggi Tutto
Nella logica antica, ogni processo discorsivo della mente o ragione, che, muovendo da alcune premesse, perviene a una conclusione. Se questo procedimento va dall’universale al particolare, o dal più generale [...] al meno generale, si ha il r. deduttivo, che ha trovato la sua più compiuta trattazione nella sillogistica aristotelica (➔ sillogistica); se la direzione è inversa, si ha il r. induttivo (➔ induzione). Dato però il maggior rigore logico della ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] è stato quello dei limiti e della giustificazione del processo induttivo. In Aristotele l’i. è contrapposta alla deduzione sillogistica e può raggiungere solo dei risultati parziali, non potendo scoprire l’essenza del genere esaminato: con essa ci si ...
Leggi Tutto
Medioevo: la scienza siriaca. La tradizione della logica aristotelica
Henri Hugonnard-Roche
La tradizione della logica aristotelica
Della letteratura siriaca profana, scientifica o filosofica, ci [...] capitolo 4 e il capitolo 7 del primo libro degli Analitici primi (ovvero ciò che bisogna intendere con le tre figure sillogistiche; Reinink 1983).
Oltre a dedicarsi ai suoi studi, Severo è stato l'ispiratore di una brillante 'scuola' di letterati e ...
Leggi Tutto
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] altre due forme, ‘ogni’; le vocali che indicano le quattro forme sono prese dai verbi latini affirmo e nego). Un’inferenza sillogistica sarà valida se e solo se non si dà che le premesse siano entrambe vere e la conclusione falsa, e sarà invalida ...
Leggi Tutto
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] dell'avvento della logica simbolica moderna (significativi soprattutto gli ampliamenti della teoria della deduzione sillogistica). Opere principali: Logica Hamburgensis (1638), De principiis corporum naturalium (1642), Isagoge phytoscopica (1678 ...
Leggi Tutto
sillogistica
sillogìstica s. f. [femm. sostantivato dell’agg. sillogistico]. – Parte della logica elementare che studia i varî tipi e il valore logico (validità o non validità) dei sillogismi; fu trattata per la prima volta da Aristotele,...
sillogistico
sillogìstico agg. [dal lat. syllogistĭcus, gr. συλλογιστικός, der. di συλλογισμός «sillogismo»] (pl. m. -ci). – Di sillogismo, di sillogismi, basato su sillogismi: forma s. di un’argomentazione; procedimento, metodo sillogistico....