deduzione, teorema di
deduzione, teorema di in logica, stabilisce che se dagli assiomi di un sistema formale S e da una formula A del sistema è deducibile la formula P, allora dai soli assiomi di S è [...] deducibile la formula A ⇒ P che è, quindi, un teorema di S (→ deduzione) ...
Leggi Tutto
MOTO PER LUOGO, COMPLEMENTO DI
Nell’analisi logica, il complemento di moto per luogo è il complemento che indica il luogo attraverso cui qualcuno o qualcosa passa o si muove, in senso sia proprio, sia [...] figurato.
Può essere introdotto dalle preposizioni per, attraverso, in, da e dalla locuzione ➔preposizionale in mezzo a
Siamo passati per i campi
I raggi penetrarono attraverso le nuvole
Andando a scuola ...
Leggi Tutto
funzione ricorsiva primitiva
funzione ricorsiva primitiva in logica, → funzione ricorsiva ottenuta a partire dalle funzioni base applicando solo gli schemi della composizione e della ricorsione. Esempi [...] di funzioni primitive sono l’addizione, la moltiplicazione, l’elevazione a potenza con esponente naturale, il fattoriale e molte fra le funzioni solitamente utilizzate. Esistono tuttavia delle funzioni ...
Leggi Tutto
MODO O MANIERA, COMPLEMENTO DI
Nell’analisi logica, il complemento di modo o maniera è il complemento che indica il modo nel quale si svolge un’azione o avviene un fatto.
Può essere introdotto dalle [...] preposizioni con, di, a, per, in, secondo, senza e dalle locuzioni ➔preposizionali alla maniera di, al modo di
Si muove con eleganza
Hai agito senza motivo
Calciava alla maniera di Maradona ...
Leggi Tutto
ALLONTANAMENTO O SEPARAZIONE, COMPLEMENTO DI
Nell’analisi logica, si definisce complemento di allontanamento o separazione una particolare fattispecie del complemento di ➔moto da luogo: introdotto dalla [...] preposizione ➔da, indica il luogo o la persona da cui ci si allontana o ci si separa, sia in senso proprio che figurato
Il quadro si è staccato dal muro
Ho preso le distanze da questo comportamento ...
Leggi Tutto
Termine filosofico usato per la prima volta al principio del 17° sec. da J. Lorhard (1606) e R. Goclenio (1613) e divulgato soprattutto da C. Wolff (1730) per designare la scienza dei caratteri universali [...]
Possono rientrare sotto l’etichetta di o., sia pure in un senso molto particolare, le ricerche svolte in campo di filosofia della logica soprattutto da W.V.O. Quine, sul problema della natura delle entità di cui si parla in una teoria. Quine ritiene ...
Leggi Tutto
MOTO DA LUOGO, COMPLEMENTO DI
Nell’analisi logica, il complemento di moto da luogo è il complemento che indica il luogo o la persona da cui qualcosa o qualcuno proviene, in senso sia proprio, sia figurato. [...] Dipende da verbi di movimento, come arrivare, uscire, togliere ecc.
Può essere introdotto dalle preposizioni da, di
Esco da Milano
Questo fumo arriva dalla cucina
Da dove arrivano queste informazioni?
Ti ...
Leggi Tutto
verita, funzione di
verità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori [...] V o F. Ogni tavola di verità definisce una funzione di verità; per esempio la tavola di verità associata al connettivo ∨ della disgiunzione definisce la funzione disg seguente:
Viceversa a ogni funzione ...
Leggi Tutto
COMPAGNIA O UNIONE, COMPLEMENTI DI
Nell’analisi logica, il complemento di compagnia indica la persona o l’animale insieme al quale si compie o si subisce un’azione. Può essere introdotto dalla preposizione [...] con o dalle locuzioni preposizionali insieme con, insieme a, in compagnia di ecc.
Paola è andata a fare la spesa con sua sorella
In Francia abitavo insieme alla mia gatta
Il complemento di unione è analogo ...
Leggi Tutto
STATO IN LUOGO, COMPLEMENTO DI
Nell’analisi logica, il complemento di stato in luogo indica il luogo in cui avviene un’azione, accade un fatto, o si trova una persona o un oggetto.
Di solito è introdotto [...] da verbi che indicano quiete e permanenza (essere, trovarsi, rimanere, restare) e dalle preposizioni in, a, da, su, per, tra, sopra, sotto, fuori, dentro e dalle locuzioni preposizionali nei dintorni di, ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...