logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] corrispondenza fra le formule deducibili della → logica intuizionista, ridotta al solo frammento implicativo (cioè utilizzando nel linguaggio logico solo il connettivo di implicazione), e i termini della logica combinatoria, ciò in analogia a quanto ...
Leggi Tutto
implicazioneimplicazione connettivo logico che corrisponde, nella lingua italiana, all’espressione «se... allora» e si indica con il simbolo ⇒. Dati due enunciati A e B, l’enunciato A ⇒ B (si legge [...] è vera la prima, è vera anche la seconda e viceversa.
Nel linguaggio degli enunciati il connettivo dell’implicazione è legato alla derivazione logica dal teorema di deduzione, che stabilisce che se dalla formula A e dagli assiomi di S è dimostrabile ...
Leggi Tutto
logica lineare
logica lineare area di ricerca della logica matematica nata nel 1986 e diffusasi in seguito alla pubblicazione, nel 1987, dell’articolo Linear logic del logico francese Jean-Yves Girard [...] sia additive
Inoltre si definisce l’implicazione moltiplicativa
e l’implicazione additiva
La disgiunzione additiva, soddisfa sono stati spesi.
Una delle maggiori innovazioni introdotte dalla logica lineare è costituita dai proof-net o reti di ...
Leggi Tutto
logica
Il termine designa l'insieme delle dottrine che presiedono al corretto uso dell'argomentazione e del linguaggio al fine di stabilire la verità o la falsità di un enunciato. Il termine l. non occorre [...] di Giovanni XXI (v.).
D. ha conoscenza di dottrine logiche: utilizza i procedimenti propri di quest'arte nel Convivio e ; Dimostrazione), D. conosce anche l'operazione dell'implicazione, o consequentia, risultante di due proposizioni, antecedens ...
Leggi Tutto
logica deontica
logica deontica estensione della logica classica che studia gli enunciati che fanno riferimento ai concetti di dovere, potere ecc. Il suo nome deriva infatti dal verbo greco déomai (devo); [...] e tutto il diritto da pochi principi. La logica deontica si è affermata nella prima metà del logica deontica minimale, ideato da von Wright, si utilizza l’assioma: Oƒ ⇒ Pƒ in cui ƒ è un enunciato, il simbolo ⇒ rappresenta il connettivo di implicazione ...
Leggi Tutto
logica paraconsistente
logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché [...] statuito dal principio ex falso quodlibet legato al connettivo di implicazione. Ciò non accade nelle logiche paraconsistenti. Se L è un sistema formale di una logica paraconsistente allora è possibile estendere L aggiungendo a esso due proposizioni ...
Leggi Tutto
implicazione materiale
implicazione materiale in logica, connettivo binario tra due enunciati P e Q che si esprime con «se P allora Q» e si scrive in simboli come P ⇒ Q. Esso è definito per tutti i valori [...] l’antecedente P è vero e il conseguente Q è falso. Nella logica greca, si distingue tra implicazione materiale (detta anche filoniana, da Filone di Megara) e implicazione stretta o formale: secondo quest’ultima l’asserto è vero quando è impossibile ...
Leggi Tutto
implicazione stretta
implicazione stretta nella logica greca, connettivo binario di implicazione tra due enunciati P e Q tale che l’enunciato risultante «se P allora Q» è vero se e solo se P implica [...] necessariamente Q o, in modo equivalente, se l’enunciato «se P allora Q» è una verità logica. ...
Leggi Tutto
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] alla subcontrarietà di I e O (almeno una di esse è sempre vera), all’implicazione di I da parte di A (e di O da parte di E). Inoltre sopra menzionati; se il segno = indica l’equivalenza logica e il segno ¬ indica la negazione del termine ...
Leggi Tutto
Scienza che studia i processi psichici, coscienti e inconsci, cognitivi (percezione, attenzione, memoria, linguaggio, pensiero ecc.) e dinamici (emozioni, motivazioni, personalità ecc.). Il termine sembra [...] obiettivi, sia l’aspetto cognitivo sia quello operativo, con l’implicazione dell’intenzionalità, della motivazione, dell’interesse; fra gli interventi, le scelte logiche, come le procedure o strategie di apprendimento-insegnamento, e quelle pratiche ...
Leggi Tutto
implicazione
implicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. sociali, economiche, finanziarie di una...
implicare v. tr. [dal lat. implicare, comp. di in-1 e plicare «piegare»] (io ìmplico, tu ìmplichi, ecc.; poet. io implìco, ecc.). – 1. letter. Inviluppare o avvolgere intrigando, imbrogliando: un gran vento ... dibatté e implicò lo stendardo...