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
inferènza
Enciclopedia on line
inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'i.' l'insieme delle [...] regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
assioma
Enciclopedia on line
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] significato attribuito agli a. dagli antichi e dai logici moderni si hanno due diversi tipi di assiomatica: J. Lukasiewicz, D. Hilbert-W. Ackermann, D. Hilbert-P. Bernays. matematica
In origine, presso i Greci, l’a. in quanto nozione generale evidente ...
Leggi Tutto
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] realizzare un accordo: è questa la posizione convenzionalistica della logica contemporanea per cui le regole della d. non si dimostrazione sistematica di tutte le proposizioni della filosofia.
Matematica
Teorema di d. Noto anche come teorema di ...
Leggi Tutto
CATEGORIA:
LOGICA