Latin: implicatio {uttal: implicka´tiå} 'inflätning'; in 'in i' + plicare {uttal: plicka´re} 'veckla'.
Logisk term för villkorssatser: "Om A, så B."
Detta gäller med nödvändighet, så att A aldrig kan gälla eller inträffa om inte B förutsätts följa som en konsekvens.
Implikationen är "strikt" när den är av rent logisk natur (om A är en del av B, så är B större än A).
Den är "kausal" om den gäller orsakssammanhang (om hjärtat stannar, dör man).
I kognitionsforskningen används begreppet modus ponens när man syftar på detta sätt (latin: modus) att tänka: "Om A, så B, nu föreligger A, alltså föreligger också B." Därav uttrycket "ponera att A, så B". (Latin: pionere {uttal: på´nere} 'sätta', 'ställa', 'lägga'.)
Den negativa motsvarigheten kallas modus tollens (upphävande) eller modus tollendo tollens: upphävande det som bör upphävas, av det latinska verbet tollere {uttal tåll´ere} 'ta bort'.
Den består i utsagor av typen "om motorn går igång, finns det bensin i tanken, men nu finns det ingen bensin i tanken, alltså startar inte bilen".
Detta gäller eftersom bensin är en nödvändig förutsättning för en bensinmotor.
Men den motsatta formuleringen gäller inte: "om det finns bensin i tanken, startar motorn – men den startar inte, alltså finns det inte någon bensin i tanken". Detta gäller inte, eftersom bensin visserligen är en nödvändig förutsättning men inte tillräcklig.
Relaterade sökord: kausalitet, logik, kognitionsforskning, logiskt tänkande, modus, reasoning.
Ordformer:
Pluralis: implikationer (eng: implications).
Verb: implicera, implicerar, implicerande, implicerad, implicerat (eng: implicate, implicates, implicating, implicated).
["kognitionsforskningen","kausal","logisk","logiskt tänkande","modus","logik","kognitionsforskning","reasoning","kausalitet"]