Scholz, Heinrich
Enciclopedia on line
Teologo e logico (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò successivamente a Kiel, poi a Münster (dal 1928), dove nel 1943 [...] sostenendo la tesi che soltanto l'applicazione degli strumenti rigorosi della logica matematica ai problemi metafisici può permetterne una formulazione scientifica. In logica matematica si oppose sia al formalismo sia al costruttivismo, aderendo al ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prior, Arthur Norman
Enciclopedia on line
Logico e filosofo inglese (Masterton 1914 - Oxford 1969), compì i primi studi in Nuova Zelanda. Prof. al Canterbury College di Christchurch (Nuova Zelanda), passò poi in Inghilterra, dove insegnò nell'univ. [...] partic. da J. Łukasiewicz), ha dato importanti contributi di logica matematica e storia della logica. Di grande rilievo le sue ricerche di logica temporale, cioè su quella branca della logica che studia asserzioni con operatori temporali, per es. "è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lewis, Clarence Irving
Enciclopedia on line
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 [...] privilegiato la teoria della conoscenza e la logica matematica. In quest'ultimo campo ha legato il 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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
esplicazione
Enciclopedia on line
Secondo la definizione di R. Carnap, il compito di rendere più esatto un concetto vago o non sufficientemente esatto usato nel linguaggio comune o in un precedente stadio dello sviluppo scientifico o logico. [...] l’eliminazione»; ciò nel senso che essa permetterebbe di realizzare gli stessi scopi di una corrente e problematica espressione (logica, matematica, linguistica) mediante mezzi ed espressioni diversi, eliminando quelli che danno luogo a perplessità. ...
Leggi Tutto
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kaufmann, Felix
Enciclopedia on line
Filosofo (Vienna 1895 - New York 1949), prof. di filosofia del diritto all'univ. di Vienna (1922-38). Membro del Circolo di Vienna, non condivise i principî del positivismo logico. Dal 1938 prof. di filosofia [...] Kelsen (Logik und Rechtswissenschaft, 1922; Die Kriterien des Rechts, 1924); si occupò in seguito di logica matematica (Das Unendliche in der Mathematik und seine Ausschaltung, 1930); scrisse anche un'importante Methodenlehre der Sozialwissenschaften ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
conseguenza
Enciclopedia on line
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di ...
Leggi Tutto
CATEGORIA:
LOGICA
ars combinatoria
Enciclopedia on line
Locuzione con cui G. Leibniz definì quella che già R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli [...] , la sussistenza di un mondo concettuale in sé conchiuso ed esauribile nei suoi limiti, e dall’altro la possibilità di simboleggiare i concetti in segni geometrici o algebrici. A quest’ultimo aspetto si rifarà più tardi la logica matematica. ...
Leggi Tutto
Hamilton, Sir William
Enciclopedia on line
Filosofo (Glasgow 1788 - Edimburgo 1856). Fece i suoi studî a Glasgow e a Oxford. Insegnò (dal 1821) storia e (dal 1836) filosofia a Edimburgo. La sua filosofia fonde motivi della scuola scozzese con altri [...] le sue dottrine particolari, la "quantificazione del predicato" ha avuto influsso sul posteriore sviluppo della logica matematica e simbolica. Opere principali: Discussions on philosophy and literature (1852); Education and university reform (1852 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ploucquet, Godefroy
Enciclopedia on line
Filosofo tedesco (Stoccarda 1716 - Tubinga 1790), di famiglia francese; prof. di logica e metafisica a Tubinga (dal 1750). Opere principali: Primaria monadologiae capita (1748), sulla monadologia di Leibniz, [...] et phaenomenis (1752), in cui si prosegue l'interpretazione critica della dottrina leibniziana; Methodus calculandi in logicis (1764), che svolge l'idea leibniziana di una logica matematica, e diede luogo a un'interessante polemica con J. H. Lambert. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE