Extensionell kontext

Inom något av flera studieområden som behandlar användningen av tecken - till exempel inom lingvistik , logik , matematik , semantik , semiotik och språkfilosofi - är en extensionell kontext (eller transparent kontext ) en syntaktisk miljö där en sub- meningsuttrycket e kan ersättas med ett uttryck med samma förlängning och utan att det påverkar meningens sanningsvärde som helhet. Extensionella sammanhang kontrasteras med ogenomskinliga sammanhang där sanningsbevarande ersättningar inte är möjliga.

Ta fallet med Clark Kent , som i hemlighet är Stålmannen . Anta att Lois Lane ramlade ut genom ett fönster och Stålmannen fångade henne. Således är meningen "Superman caught Lois Lane" sann. Eftersom den här meningen är en förlängningskontext, är meningen "Clark Kent caught Lois Lane" också sann. Alla som Superman fångade, Clark Kent fångade.

I motsats till extensionella kontexter står intensionala sammanhang (som kan involvera modala operatorer och modal logik ), där termer inte kan ersättas utan att potentiellt kompromissa med sanningsvärdet. Anta att Lois Lane tror att Clark Kent kommer att undersöka en nyhet med henne. Därmed är meningen "Lois Lane tror att Clark Kent kommer att undersöka en nyhet med henne" sann. Men uttalandet, "Lois Lane tror att Stålmannen kommer att undersöka en nyhet med henne," är falskt. Detta beror på att "tror" vanligtvis framkallar ett intensivt sammanhang. Lois Lane tror inte att Stålmannen är Clark Kent och den propositionella attityden "tror" inducerar ett intensivt sammanhang, så ersättningen ändrar innebörden av den ursprungliga meningen.

Se även

Vidare läsning

Francis Watanabe Dauer, Critical Thinking: An Introduction to Reasoning , Oxford University Press, 1989, sid. 392.