analitico
Enciclopedia on line
Filosofia
Nella logica kantiana, giudizio a. è quello nel quale il concetto del predicato è implicitamente contenuto nel concetto del soggetto, e in cui quindi basta analizzare il soggetto per ricavarne [...] il predicato (per es. i corpi sono estesi). Il giudizio a., fondato sul principio d’identità e di non contraddizione, è a priori, cioè vero necessariamente e universalmente, ma è infruttuoso, perché non ...
Leggi Tutto
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 [...] struttura per L caratterizzabili da formule del linguaggio. Esemplifichiamo nel caso in cui il linguaggio sia elementare. Data la teoria T nel linguaggio formale L in cui occorrono le costanti predicative ...
Leggi Tutto
CATEGORIA:
LOGICA
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] poi in Id., Opere scelte, a cura di U. Cassina, 2° vol., Roma 1958, pp. 20-55.
G. Peano, I principii di geometria logicamente esposti, Torino 1889, poi in Id., Opere scelte, a cura di U. Cassina, 2° vol., Roma 1958, pp. 56-91.
G. Peano, Osservazioni ...
Leggi Tutto
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] stato i se e solo se A è vera solo se B è vera in tutti gli j tali che i⊆j.
I rapporti tra logica intuizionista e logica modale sono complessi. Sia A* la traduzione che interpreta A come □A nel senso 'A è dimostrabile nell'aritmetica' e A→B come □*A ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
L'Ottocento: matematica. Algebra della logica
Storia della Scienza (2003)
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] unici valori che possono essere impiegati sono 0 e 1. Tipico del sistema booleano è il procedimento per sviluppare una data funzione logica f(x), f(x,y), ecc., sviluppo che Boole concepisce in analogia con la serie di Maclaurin per lo sviluppo di f ...
Leggi Tutto
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 [...] è indecidibile – come del resto ogni estensione finita di una teoria indecidibile – e che non esiste calcolo per la logica d’ordine superiore. Mediante il metodo dell’interpretazione, da sistemi aritmetici la indecidibilità si può trasferire a teorie ...
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
minimalizzazione
Enciclopedia on line
Particolare tipo di procedimento, usato in logica matematica e soprattutto nella teoria della ricorsività, nel quale si fa uso dell’operatore di m., o operatore-μ, che consente di definire in modo opportuno [...] una funzione a partire da una funzione data o da un predicato dato. Procedimento e operatore di m. possono essere intuitivamente descritti mediante la formula μxPx che si legge «il più piccolo x tale che ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
logici, circuiti
Enciclopedia on line
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] risultato è una variabile binaria che assume il valore 0 se e solo se tutte le xi hanno il valore 0; si definisce prodotto logico (operazione AND) l’operazione il cui risultato vale 1 se e solo se tutte le xi hanno il valore 1; infine, inversione o ...
Leggi Tutto
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 [...] e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE