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 in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
Termine usato nella filosofia tedesca per indicare l’esistenza (così in Kant, per es. nella tavola delle categorie). In Hegel assume un diverso significato indicando «l’essere determinato», l’alcunché [...] finito, una delle prime categorie della logica, successiva e in opposizione a quella del divenire, sintesi d’essere e nulla; come tale il D., appartenente alla sfera dell’essere e cioè dell’immediato, è la base di tutte le ulteriori determinazioni. ...
Leggi Tutto
KNEALE, William Calvert
Carlo Cellucci
Filosofo e logico inglese, nato a Liverpool il 22 giugno 1906. Dopo un periodo di insegnamento all'università di Aberdeen, è stato professore di Filosofia (1932-60) [...] nel Novecento e che rimane tuttora un punto di riferimento essenziale.
Altre opere: Probability and induction (1949); The province of logic, in Contemporary British Philosophy, a cura di H.D. Lewis (1956).
Bibl.: D.J. Shoesmith, T.J. Smiley, Multiple ...
Leggi Tutto
Filosofo della scienza, nato a Monaco il 7 luglio 1881, morto ivi il 29 giugno 1954. Professore di filosofia, psicologia e pedagogia alla Technische Hochschule di Darmstadt (1932-34), si occupò soprattutto [...] di logica e metodologia delle scienze. Il D., che è uno dei maggiori esponenti dell'"operazionismo", critica il convenzionalismo scientifico, ricercando una definizione operativa univoca degli oggetti della fisica e della matematica.
Opere principali ...
Leggi Tutto
teoria
teorìa [Der. del lat. theoria, dal gr. theoría] [FAF] Formulazione e definizione dei principi generali di una scienza o di parte di essa, e anche insieme degli sviluppi che da questi principi [...] esplicativa, fenomenologica, incompatibile e inconfrontabile: v. teoria: VI 132 e, 133 b, 136 b. ◆ [ALG] [MCS] T. formalizzata: v. logica: III 485 e. ◆ [MCC] T. infinitesima della deformazione: v. elasticità, teoria dell': II 252 b. ◆ [ANM] T. K non ...
Leggi Tutto
Filosofo della scienza tedesco (n. Colonia 1923 - m. 2018). Dal 1938 negli USA, prof. (1960-2003) di filosofia e psichiatria e direttore del centro di filosofia della scienza all'univ. di Pittsburgh. Presidente [...] del dipartimento di logica, metodologia e filosofia della scienza dell'International Union for the History and Philosophy of Science (2004-05), nel 2006 è divenuto presidente dell'associazione. I suoi interessi vertono soprattutto sui problemi ...
Leggi Tutto
Filosofo e logico statunitense (n. Stoneham, Massachusetts, 1883 - m. 1964). Laureatosi alla Harvard University (1906), ha insegnato nell'università della California (1911-20) e quindi a Harvard fino al [...] suo nome all'introduzione della nozione di implicazione stretta, sulla cui base ha dato l'avvio agli studî di logica modale. Sul piano gnoseologico ed epistemologico, L. ha sostenuto una concezione tendente a conciliare pragmatismo e kantismo: i dati ...
Leggi Tutto
Medioevo: la scienza siriaca. Introduzione
Javier Teixidor
Introduzione
Il siriaco è un dialetto aramaico che nel I sec. d.C. era parlato nel nord della Siria e, nell'Alta Mesopotamia, nella regione [...] (Busse 1895, pp. 5, 10).
Tra gli autori siri, Paolo concorda con Ammonio affermando che la filosofia ha due rami e che la logica è strumento dell'uno e dell'altro. Non trae però conclusioni sul vero e il falso, né sul bene e il male; soltanto il suo ...
Leggi Tutto
atomico
atòmico [agg. Der. di atomo] [EMG] Batteria a.: batteria di celle fotovoltaiche eccitate dalla radiazione di un isotopo radioattivo beta, di solito 90Sr: v. fotovoltaico, effetto: II 752 f. ◆ [...] [ALG] [FAF] Enunciato a.: nella logica matematica, enunciato non riducibile a enunciati più semplici, come, per es., "il triangolo è una figura geometrica". ◆ [STF] [CHF] Ipotesi a.: v. molecola: IV 87 d. ◆ [FAT] Massa a.: la massa di un atomo, ...
Leggi Tutto
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
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...