metateoria
Enciclopedia on line
In logica matematica, scienza che ha per oggetto una teoria, detta teoria-oggetto. Si usa distinguere una m. sintattica, o sintassi, da una m. semantica, o semantica. La sintassi ha per oggetto le sole [...] proprietà formali o strutturali delle espressioni della teoria, la semantica studia invece anche i significati dei simboli ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
bicondizionale
Enciclopedia on line
In logica matematica, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] . Entrambi i risultati suddetti – assieme a quello di Gödel – non sono che gli esempi più sorprendenti di tutta un’area di ricerca che riguarda tanto le teorie formalizzate che problemi di contenuto più esplicitamente matematico.
→ Logica matematica ...
Leggi Tutto
CATEGORIA:
LOGICA
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
definibilita
Enciclopedia della Scienza e della Tecnica (2008)
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] teoria dei modelli studiano e classificano gli insiemi definibili o definibili con particolari modalità in strutture matematicamente significative. Per capire la portata della cosa, basti pensare che varietà affini o proiettive, insiemi semialgebrici ...
Leggi Tutto
CATEGORIA:
LOGICA
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche.
→ Modelli, teoria dei ...
Leggi Tutto
CATEGORIA:
LOGICA
intersezione
Enciclopedia on line
Matematica
Nella geometria elementare, l’insieme dei punti comuni a due o più insiemi dati, sinonimo di interferenza. In geometria algebrica tale insieme si chiama interferenza, mentre si riserva il nome [...] è il punto di contatto preso con molteplicità d’intersezione 2.
Nella teoria degli insiemi e nella logica matematica, dati 2 sottoinsiemi (classi) di un insieme I, si chiama i. (prodotto logico) di A e B e si designa con A∙B o con A ⋃ B, la classe di ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] . Questa circostanza ha dato l’impulso iniziale a uno straordinario fiorire degli studi di logica matematica, i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
modalità
Enciclopedia on line
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 [...] un suo originale sviluppo. Le motivazioni, oltre a quella di riprendere lo studio delle m. con gli strumenti raffinati della logica matematica, sono state anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemi formali per ...
Leggi Tutto
CATEGORIA:
LOGICA
dualità
Enciclopedia on line
Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] altri mediante un opportuno procedimento, codificato appunto nel principio di dualità.
Si hanno così un principio di dualità in logica matematica (sia enunciativa sia dell’ordine): se le formule A e B sono equivalenti, anche le formule duali A′ e ...
Leggi Tutto