assertorio, giudizio
Nella logica kantiana, è il giudizio che, assieme a quello apodittico e a quello problematico, costituisce la categoria della modalità; consiste in un’affermazione o negazione (A [...] è B; A non è B), senza alcuna idea di necessità o di possibilità; esso esprime, cioè, una semplice verità di fatto (mentre la verità di diritto è espressa dal giudizio apodittico), e viene pertanto denominato ...
Leggi Tutto
dilemma
dilemma in logica, argomentazione che si basa sul ragionamento seguente: se da due premesse diverse A e B, almeno una delle quali è vera, si giunge alla stessa conclusione C, allora ciò comporta [...] la validità della conclusione C. Formalmente ciò equivale a dire che dalle premesse A ∨ B, A ⇒ C e B ⇒ C è possibile dedurre la formula C cioè A ∨ B, A ⇒ C, B ⇒ C ⊦ C ...
Leggi Tutto
DISTRIBUTIVO, COMPLEMENTO
Nell’analisi logica, il complemento distributivo (o di distribuzione) indica la modalità con cui avviene la distribuzione di un fatto o di un’azione in relazione al tempo, allo [...] spazio o alla quantità.
Può essere introdotto da un aggettivo numerale, un pronome indefinito, dalle preposizioni semplici a, per, su
Facciamo la spesa ogni due giorni
Procedono a due a due
Costa un ...
Leggi Tutto
sintassi
sintassi in logica, teoria relativa all’insieme delle regole che presiedono alla determinazione dei corretti rapporti fra le possibili configurazioni degli elementi di un → sistema formale (in [...] quanto svincolati dalle loro possibili interpretazioni), nonché l’insieme stesso di tali regole. La sintassi di una teoria è pertanto determinata dalle regole di formazione dei termini, delle espressioni ...
Leggi Tutto
COMPLEMENTI
Nell’analisi logica, i complementi sono quegli elementi che completano la frase, aggiungendosi al ➔soggetto e al predicato (che ne costituiscono la parte essenziale) e agli eventuali ➔attributi [...] e ➔apposizioni.
Una distinzione fondamentale è quella tra complementi diretti e complementi indiretti.
• Il complemento diretto dipende direttamente dal verbo. Rientrano in questa categoria:
– il complemento ...
Leggi Tutto
ATTRIBUTO
Nell’analisi logica l’attributo è un aggettivo o un participio che concorda in genere, numero e funzione sintattica con il nome a cui si riferisce.
L’attributo può riferirsi, in particolare:
– [...] al soggetto
Il gatto affettuoso fa le fusa
– al nome del predicato (➔predicato nominale)
Il gatto è un animale domestico
– al complemento oggetto
Il gatto fa molte fusa
– a un complemento indiretto
Il ...
Leggi Tutto
enumerazione
Nella logica scolastica, l’enumeratio perfecta è l’«induzione perfetta» aristotelica o «epagoge», la quale estende ciò che si è provato delle singole parti di un tutto al tutto stesso; l’enumeratio [...] imperfecta, o «induzione insufficiente», è un sofisma, detto anche «ab uno disce omnes» («ciò che vale di uno, vale di tutti»), che si ha quando da alcuni particolari offerti dall’esperienza si conclude ...
Leggi Tutto
analitico/sintetico, giudizio
Nella logica kantiana, giudizio analitico è 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 (es.: i corpi sono estesi). Il giudizio a., fondato sul principio d’identità e di non contraddizione, è «a priori», tale cioè che ogni intelletto lo deve riconoscere ...
Leggi Tutto
AGGIUNTIVE, PROPOSIZIONI
Nell’analisi logica, le proposizioni aggiuntive sono ➔ proposizioni subordinate che aggiungono un’informazione ulteriore rispetto a quanto espresso nella proposizione reggente. [...] Sono introdotte dalle locuzioni oltre a e oltre che, e nell’italiano contemporaneo si presentano solo in forma implicita, ovvero con il verbo all’infinito
Oltre a fare l’attrice, è anche un’ottima cantante.
Storia
Nell’italiano ...
Leggi Tutto
validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione. ...
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...