Nomofilachia orizzontale
Roberta Aprati
Il nuovo art. 618 c.p.p. apre la necessità di una riflessione sul significato che nel nostro ordinamento assume la funzione nomofilachica della Corte di cassazione, [...] “conditio sine qua non” rispetto la risoluzione del quesito devoluto:
un nesso, però, non materiale, ma di implicazionelogica e giuridica. In pratica sono principi di diritto tutti quelli che riguardano l’interpretazione delle norme necessarie per ...
Leggi Tutto
se¿ allora
se… allora locuzione del linguaggio naturale che corrisponde, nel linguaggio logico degli enunciati, al connettivo detto → implicazione o implicazionelogica, indicato con il simbolo ⇒. Dati [...] A e B, l’enunciato «se A allora B», tradotto simbolicamente in A ⇒ B (che può anche leggersi «A implica B»), indica una implicazione in cui A e B sono rispettivamente detti antecedente e conseguente. L’espressione «se… allora», nel senso specificato ...
Leggi Tutto
se-allora
sé-allóra [ALG] [FAF] Uno dei connettivi logici, e precis. implicazionelogica o condizionale logico, di simb. →; agisce su due enunciati A e B trasformandoli nell'unico enunciato A→B, che [...] risulta falso se A è vero mentre B è falso, e vero in ogni altro caso; corrisponde all'"implicazione materiale", già conosciuta da Filone Megarico. ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] ; l’implicazione si considera non valida solo nel caso in cui la proposizione che funge da antecedente sia vera e quella che funge da conseguente falsa.
Un altro settore di ricerca approfondito dagli stoici è quello dei problemi logico-semantici ...
Leggi Tutto
implicazione inversa
implicazione inversa in logica, l’implicazione inversa dell’implicazione A ⇒ B («A implica B») è l’implicazione B ⇒ A ottenuta scambiando l’antecedente con il conseguente (→ implicazione). ...
Leggi Tutto
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 [...] la verità o falsità di un enunciato formato da proposizioni semplici e connettivi logici: congiunzione (e), disgiunzione (o), negazione (non), implicazione (se... allora...), in ragione della verità o falsità delle proposizioni e dei connettivi ...
Leggi Tutto
Geologia
In petrografia, si chiama struttura di i. quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno [...] dell’altro, anch’essi grossolanamente paralleli.
Matematica
I. logica È la relazione che intercorre tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda; si esprime dicendo che A implica B ovvero: se è vera A allora è vera ...
Leggi Tutto
Logica come scienza del concetto puro
Michele Maggi
Il concetto
La Logica come scienza del concetto puro (d’ora in poi Logica) esce nel 1909 quale seconda parte della Filosofia come scienza dello spirito, [...] di una struttura rigida e meccanica, negli stessi passaggi di implicazione successiva delle forme: il doppio grado teoretico dell’estetica come conoscenza dell’individuale e della logica come conoscenza dell’universale, cui fa riscontro nella pratica ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] sono distinte in quattro classi e i rispettivi schemi sono studiati nelle loro interrelazioni logiche (contraddittorietà, contrarietà, subcontrarietà, implicazione) che danno luogo al cosiddetto «quadrato aristotelico». Sono quindi formulate leggi di ...
Leggi Tutto
logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] vero è conclusione di qualsiasi premessa).
Le regole di deduzione sono:
a) regole logiche:
disgiunzione
congiunzione
implicazione
negazione
b) regole strutturali
indebolimento
scambio
contrazione
c) regola del taglio
Il calcolo dei ...
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...