lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] che contenga variabili libere si dice formula aperta, o funzione proposizionale. Si distingue fra logica dei predicati del primo ordine e teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale ...
Leggi Tutto
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 [...] 'arimetica' e quindi 'possibile' con 'consistente con l'aritmetica'. Conveniamo di chiamare KT il sistema ottenuto aggiungendo al calcoloproposizionale standard gli assiomi K: □(A⊃B)⊃(□A⊃□B) e T: □A⊃A nonché la cosiddetta regola di necessitazione ...
Leggi Tutto
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 [...] , le proposizioni e i connettivi), Il raziocinio (proposizioni primitive, polisillogismi, calcoloproposizionale), Le classi (funzioni proposizionali), Applicazioni (relazione tra classe e individui, funzioni matematiche, teoria della definizioni ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] y2, quello di d’Alembert: ∂2/∂x2−∂2/∂y2 ecc.
Calcolo operatorio
Il calcolo operatorio e l’interesse allo studio degli o. come enti assoggettabili . di astrazione.
Forma enunciativa (o funzione proposizionale o enunciato aperto) è un’espressione del ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...