logica matematica
Enciclopedia dei ragazzi (2006)
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] di ciò di cui si parla, ma di come esso si sviluppa, della sua forma e per questo motivo è chiamata anche logica formale. Poiché interessa la forma e non il contenuto, al posto delle frasi in lingua italiana è più semplice usare simboli. Per esempio ...
Leggi Tutto
CATEGORIA:
LOGICA
categorematico
Enciclopedia on line
Nella logica formale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica [...] simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i sincategorematici impropri o incompleti); i termini c. si distinguono in soggetti, predicati, enunciati, quelli sincategorematici ...
Leggi Tutto
CATEGORIA:
LOGICA
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] delle proposte di Russell. Ma tali modifiche hanno portato a sistemi in cui alcuni principi erano di dubbio carattere logico.
D. Hilbert
Il formalismo trovò in D. Hilbert un sostenitore acuto e originale che, con il suo programma di fondazione della ...
Leggi Tutto
Aristòtele
Enciclopedia on line
Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] di quelli validi da quelli non validi occupa la maggior parte degli Analitici primi e costituisce un sistema di logica "formale", in quanto questa determina le forme onde il pensiero si vale per dedurre necessariamente verità più particolari da ...
Leggi Tutto
filosofia analitica
Enciclopedia on line
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] sue analisi sulla mente, J.L. Austin, P.F. Strawson, che sviluppa particolarmente il tema dei rapporti fra logica formale-logica informale e analisi linguistica, M. Dummett, che riformula la disputa ontologica tra realismo e idealismo in termini di ...
Leggi Tutto
Baróne, Francesco
Enciclopedia on line
Filosofo italiano (Torino 1923 - Viareggio 2001), professore di filosofia teoretica all'università di Pisa; i suoi principali interessi si sono volti alle tematiche post-idealistiche e soprattutto alla [...] teoretica e storica dei grandi problemi della logica (Il neopositivismo logico, 1953; Logica formale e logica trascendentale: vol. I, Da Leibniz a Kant, 1957, 2a ed. 1964; vol. II, L'algebra della logica, 1965). Altri studî di B. vertono su ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
forma
Enciclopedia on line
Botanica
F. biologica Insieme di piante che, anche se sistematicamente lontane, hanno in comune caratteri ecologici e di adattamento. Tra i vari sistemi di classificazione delle f. biologiche, il più noto [...] l’esemplare, il modello, l’essere ideale di una cosa (accezione che deriva direttamente dalla f. di Platone).
Logica formale si dice la logica classica, in quanto studia le f. dei concetti, giudizi e ragionamenti, prescindendo dalla materia a cui si ...
Leggi Tutto
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ASPETTI TECNICI
–
ECOLOGIA VEGETALE E FITOGEOGRAFIA
–
SISTEMATICA E FITONIMI
–
FISICA ATOMICA E MOLECOLARE
–
FISICA MATEMATICA
–
ALGEBRA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
STORIA DELLE RELIGIONI
–
LAVORAZIONE DEI METALLI
–
LAVORAZIONE DELLA PIETRA
Hegel, Georg Wilhelm Friedrich
Enciclopedia on line
Filosofo (Stoccarda 1770 - Berlino 1831). Dopo aver compiuto gli studî ginnasiali nella sua città, entrò nel 1788 nello Stift di Tübingen, una sorta di seminario protestante, dove ebbe come condiscepoli [...] conclusiva sia razionale, ossia internamente articolata e compiuta. In questo senso la logica hegeliana è diversa non solo dalla logica formale tradizionale, ma anche dalla logica trascendentale di tipo kantiano; essa è piuttosto, come dice H. stesso ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
sillogismo
Enciclopedia on line
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 [...] quella della trattatistica ottocentesca, che precede, in sostanza, i moderni manuali di logica matematica. Nel quadro della logica formale contemporanea fa parte della logica elementare (e può essere espressa nel linguaggio del cosiddetto calcolo dei ...
Leggi Tutto
Bradley, Francis Herbert
Enciclopedia on line
Filosofo inglese (Clapham, Londra, 1846 - Oxford 1924). Influenzato da T. H. Green, lettore e ammiratore di Hegel, con Bosanquet e McTaggart tra i maggiori esponenti del neo-idealismo inglese, propose [...] dal suo ruolo e dalla sua funzione nella società. In Principles of logic (1883) la critica di B. era invece rivolta alla logica formale di derivazione aristotelica e alla logica induttiva di J. S. Mill, nel tentativo di delineare un'interpretazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE