Jörg Zellerfillogikmodul3: handlingslogik-21 Figur HL.9 h-subjekt = person h-type: at male h-objekt: maleri Handlingssituation (lejlighed): et sted i verden.

Præsentationer af emnet: "Jörg Zellerfillogikmodul3: handlingslogik-21 Figur HL.9 h-subjekt = person h-type: at male h-objekt: maleri Handlingssituation (lejlighed): et sted i verden."— Præsentationens transcript:

1 Jörg Zellerfillogikmodul3: handlingslogik-21 Figur HL.9 h-subjekt = person h-type: at male h-objekt: maleri Handlingssituation (lejlighed): et sted i verden på et bestemt tidspunkt h-middel: blyant, staffeli, lampe, …

2 Jörg Zellerfillogikmodul3: handlingslogik-22 handlings-struktur-elementer: h-subjekt En handling består i hvert fald af et subjekt eller en person der udfører en bestemt handlingstype ved en bestemt lejlighed (verbets tempus). Handlinger er personbestemte (person-definitte); virkelige handlinger gennemføres af en person, en aktør. I natursproglige handlingsudtryk vises handlingers persondefinithed dels gennem verbets grammatiske subjekt som skal bestå af en personbetegnelse (fx han maler); og dels (i nogle sprog) gennem verbets personbøjning (fx ty. ich mal-e, er mal-t).

3 Jörg Zellerfillogikmodul3: handlingslogik-23 Handlings-struktur-elementer: gennemførelses-operator Handlingsordets (= verbets) tempus signalerer at kun en fuldbyrdet eller gennemført handling er en handling. Handlinger er altså tidsbestemte begivenheder der kun finder sted, fordi en person, et sted i verden, på et tidspunkt bevirker at en begivenhed finder sted. Det udtrykkes i naturlige sprog gennem det finitte verbum; dvs. udsagnsordets tidsbøjning (fx han male-de). En handlingslogik indeslutter derfor en tidslogik.

4 Jörg Zellerfillogikmodul3: handlingslogik-24 Handlings-struktur-elementer objekt, middel En handling har et resultat (sagforhold, tilstand, begivenhed). Nogle handlingers, ikke alles, resultat er et objekt. Det gælder fx for de handlinger der producerer noget (produktive handlinger). Det gælder på en anden måde også for handlinger der bruger objekter som midler (instrumenter) til at opnå en hensigt. Handlingsobjekter betegnes i naturlige sprog vha. nominaludtryk (fx han malede et abstrakt maleri) der udfylder en sætnings objektled. Handlingsmidler udtrykkes i naturlige sprog tit vha. præpositionsforbindelser (fx han malede med en tyk pensel).

5 Jörg Zellerfillogikmodul3: handlingslogik-25 Opsamling finitte og infinitte handlinger Man kan sige handlinger kommer sprogligt til udtryk gennem person- og tempusbestemte verber (udsagnsord). Handlinger udføres af personer, ikke af ting. Tempusbestemmelsen siger noget om handlingens aktualitetsgrad: om den er fuldbyrdet (fortid), bliver lige gennemført (nutid) eller er kun intenderet (fremtid). Kun person- og tidsbestemte handlinger er virkelige handlinger. Man kan kalde dem finitte handlinger. Handlingstyper er ikke virkelige handlinger. De er hverken person- eller tidsbestemte. De siger noget om handlingens art. Man kan kalde dem infinitte handlinger svarende til verbernes infinitivform i naturlige sprog.

6 Jörg Zellerfillogikmodul3: handlingslogik-26 Opsamling forts. En handlingslogik undersøger handlingers struktur og hvilke slutninger der kan drages på grund af denne struktur. Handlingers struktur er de elementer handlinger er opbygget af efter bestemte love/regler/principper. Disse love er handlingslogikkens love. Handlingslogikkens elementer er de ontologiske kategorier der skal være til stede og sammensat på en bestemt måde (form, struktur) for at der kan være tale om handling. Det er følgende kategorier: person, virkning (kausalitet), middel, [objekt], hændelse (fakticitet, lokalisering i tid og rum).

7 Jörg Zellerfillogikmodul3: handlingslogik-27 Opsamling forts. En endnu mere finkornet handlingsanalyse vil finstrukturere begrebet ’person’ vha. begreberne evne (kunnen, kompetence, habitus), intention (hensigt, mål) og måske vilje. Begrebet ’virkning’ vil i en mere finkornet version fremhæve at virkninger kun kan finde sted under bestemte betingelser (lejlighed). Ligeledes kunne der fremhæves at virkninger medfører forandringer.

8 Jörg Zellerfillogikmodul3: handlingslogik-28 Opsamling forts. fri vilje, determinisme, in-determinisme Der findes en omfattende diskussion omkring handling og kausalitet (jf. v. Wright 1963, 1971, Davidson 1980, Prior 2003, m.fl.). Diskussionen kredser om spørgsmålet hvorvidt kausalitet medfører determinisme og om fri vilje (valg mellem forskellige handlingsmuligheder) er mulig.

9 Jörg Zellerfillogikmodul3: handlingslogik-29 Opsamling forts., formidling Handlinger kan kun gennemføres vha. midler (værktøj, instrument, organ) der realiserer eller genstandsliggør aktørens intention gennem aktivering af hans/hendes evner. Handling er en virkeliggørelse; kun gennemførte handlinger er handlinger, blotte intentioner er ikke handlinger. At handlinger er formidlede gælder også for de handlinger der ikke benytter sig af deciderede instrumenter. Et eksempel kan være at gå en tur. Her er dog aktørens krop det middel eller organ der tages i brug for at kunne gennemføre handlingen.

10 Jörg Zellerfillogikmodul3: handlingslogik-210 Opsamling slut handling-hændelse Finstrukturen af begrebet hændelse består i at hver hændelse er en overgang (forandring) fra en tidligere til en senere situation. Der findes et tidspunkt hvor hændelsen ikke er sket endnu, og et senere tidspunkt hvor den er afsluttet. Handlingstypen at åbne en dør består hændelsesmæssigt set i en situation hvor døren er lukket (tidspunkt t), og i en anden situation hvor døren er åben (tidspunkt t + n).

11 Jörg Zellerfillogikmodul3: handlingslogik-211 Handlingslogisk vokabular tilstandsudtryk G. H. v. Wright tager i sin Handlingslogik (1974) udgangspunkt i opfattelsen at en handling er en realisering/ virkeliggørelse (husk: finit verbum!) af en bestemt tilstand. Dvs. en aktør åbner en dør hvis han/hun bevirker, at en lukket dør efter gennemført handling er åben. I det logiske sprog der realiserer denne tanke betegner p, q, … tilstande der bevirkes/virkeliggøres gennem en handling.

12 Jörg Zellerfillogikmodul3: handlingslogik-212 Handlingslogisk vokabular atomisk handlingsudtryk For at udtrykke at en bestemt tilstand p bliver realiseret gennem en handling skriver man [p]. Man kan [ ] opfatte som en slags gennemførelsesoperator. Handlingens subjekt, aktøren, betegnes med små bogstaver fra begyndelsen af alfabetet: a, b, …. Man skriver [p] a for at udtrykke at en aktør a (gennemfører en handling der) bevirker (at) p eller (aktør) a udfører (handling) p. Man kan sige: udtrykket [p] a er en generisk handlingsproposition (handlingsudsagnsform) der symboliserer strukturen i en finit handling.

13 Jörg Zellerfillogikmodul3: handlingslogik-213 Figur HL.10 [ÅBEN(DØR1)] JØRG JØRG = aktør [ ] = gennemførelsesoperator ÅBEN(DØR1) = bevirket tilstand

14 Jörg Zellerfillogikmodul3: handlingslogik-214 undladelse Undladelser er intenderede ikke-handlinger der opfattes som handlinger. De kan udtrykkes vha. negationstegnet som Udtrykket skal læses som a undlader at gøre p. Her signalerer [ ] at det er aktør a’s hensigt (intention) at p ikke finder sted. [  p] a

15 Jörg Zellerfillogikmodul3: handlingslogik-215 Eksempel Eksempel med udgangspunkt i modelsituation2: Picasso, Jacqueline og Kathy bevirker ved at de holder Meurice i modelsituation2 at han kan blive siddende på geden; hvis de undlod at holde ham - som fx Claude gør – ville det sandsynligvis bevirke at Meurice ikke kunne holde sig på geden. Undladelser bevirker altså noget og er derfor handlinger. Den undladende er ansvarlig for konsekvenserne af hans/ hendes undladelse.

16 Jörg Zellerfillogikmodul3: handlingslogik-216 HANDLING: [p] a [SIDDER_PÅ(MEURICE, GED)] PICASSO UNDLADELSE: [  p] a [  SIDDER_PÅ(MEURICE, GED)] CLAUDE Figur HL.11

17 Jörg Zellerfillogikmodul3: handlingslogik-217 Sammensatte (molekylære) handlinger handlingskonnektiver I samme (v. Wright-) formalisme kan man også udtrykke komplekse (molekylære) handlinger. Det kan man gøre vha. handlingskonnektiver som  og . Et eksempel på en molekylær handling kan se sådan ud: Det kan fx stå for handlingspropositionen a læser, men undlader at lave mad. [p   q] a

18 Jörg Zellerfillogikmodul3: handlingslogik-218 Sammensatte handlingsudtryk propositionskonnektiver Den samme formalisme tillader også komplekse handlingsudtryk på en anden måde: [p] a  [q] a Her forbindes to handlingspropositioner gennem propositionskonnektivet . Der er altså tale om molekylære propositionsforbindelser hvor komponenterne består i atomiske eller molekylære handlingspropositioner.

19 Jörg Zellerfillogikmodul3: handlingslogik-219 Handlingslogiske love 1. propositionslogiske love: substituerer man i PL’s love propositionsudtrykkene med handlingsudtryk så får man PL- handlingslove som [p] a   [p] a Læs: (aktør) a bevirker p eller a bevirker ikke p Dvs. propositionslogikken gælder også for handlingslogikken; eller PL er en del af handlingslogikken (ligesom PL var en del af prædikatslogikken eller FOL).

20 Jörg Zellerfillogikmodul3: handlingslogik-220 HL-aksiomatik Tager man PL som basis så kan man give en aksiomatik for en handlingslogik på følgende måde (x står for en variabel aktør): PL (= propositionslogik) + A1 [  p] x   [p] x A2 [  p] x  [p] x A3 [p  q] x  [p] x  [q] x A4 [  (p  q)] x  [p   q] x  [  p  q] x  [  p   q] x R1 Substitutionsregel R2 Modus ponens

21 Jörg Zellerfillogikmodul3: handlingslogik-221 Handlingsaksiom 1 De fire aksiomer fra v. Wrights handlingsaksiomatik skal læses således: A1: hvis en eller anden aktør (x) gør/bevirker at p ikke er tilfældet, så gør/bevirker han/hun ikke at p er tilfældet. Hvis jeg fx gør noget for at døren ikke er åben, så gør jeg ikke noget for at døren er åben.

22 Jörg Zellerfillogikmodul3: handlingslogik-222 Handlingsaksiom 2 A2: hvis en aktør gør/bevirker at det ikke er tilfældet at p ikke er tilfældet, så er det det samme som at gøre/bevirke at p er tilfældet. Hvis person1 i modelsituation1 gør noget for at det ikke er sådan at hun ikke kikker på person2, så gør hun noget for at kikke på person2 – hun vender fx hovedet i retning af person 2. I vores logiske sprog ville det se således ud: [  (  KIKKER(PERSON1, PERSON2))] PERSON1

23 Jörg Zellerfillogikmodul3: handlingslogik-223 Handlingsaksiom 3 A3: hvis en aktør udfører en konjunktiv handling – dvs. bevirker at to forskellige tilstande er tilfældet – så betyder det det samme som at bevirke den ene tilstand og bevirke den anden tilstand. Eksempel: løber jeg en tur med vores hund, Orla, så udfører jeg den konjunktive handling at løbe tur og lufte hunden. Det betyder det samme som at udføre både handlingen at løbe og handlingen at lufte hunden.

24 Jörg Zellerfillogikmodul3: handlingslogik-224 Handlingsaksiom 4 A 4: hvis en aktør gør/bevirker at det ikke er tilfældet at både tilstand p og tilstand q er tilfældet, så betyder det det samme som at bevirke at p er, men q ikke er tilfældet; eller bevirke at p ikke er, men q er tilfældet; eller bevirke at hverken p eller q er tilfældet. Eksempel: hvis jeg fx gør sådan at jeg ikke samtidig løber en tur og lufter hunden, så betyder det det samme som at løbe, men ikke lufte hunden; eller ikke at løbe, men lufte hunden; eller hverken at løbe eller lufte hunden.

25 Jörg Zellerfillogikmodul3: handlingslogik-225 Eksempel: handling som hændelsesforløb De følgende 3 slides viser 3 faser (situationer) af handlingen Jörg åbner døren i sit arbejdsværelse kl. 11.46. Situation1: døren i arbejdsværelset er lukket kl. 11.45 Situation2: Jörg åbner døren i sit arbejdsværelse kl. 11.46 Situation3: døren i arbejdsværelset er åben kl. 11.48 og døren i annaværelset er lukket kl. 11.48

26 Jörg Zellerfillogikmodul3: handlingslogik-226 Ingmar Pörns handlings-semantik (lidt mere avanceret*, ikke forbundet med øvelser) Situation1 giver også en antydning hvordan en semantik for et prædikatslogisk sprog kan se ud. Den på billedet viste situation kan opfattes som model M for et FOL- sprog L som består af en mængde af individ-termer X, en mængde Pr af prædikater; sproget L beskrives som L(X, Pr). En Model M for L(X, Pr) består af et ordnet par M = (X, V) X er her mængden af individer i situationen og V er en funktion der relaterer L’s prædikater (P  Pr) til mængder af individer i situationen eller mængder af ordnede n-tupler af individer i situationen. *Skal kun vise at der findes alternative muligheder for konstruktion af en handlingslogik.

27 Jörg Zellerfillogikmodul3: handlingslogik-227 Situation1: Lukket(DØR1, arbejdsværelse, 11:45) X= {DØR1, REOL, STATIV, BILLEDE, LAMPE, LEDNING,…} Pr= {LUKKET, HÆNGER, STÅR, HVID, …} V(LUKKET) = {DØR1} Dvs. mængden af lukkede ting har kun ét element, nemlig DØR1 V(HVID) = {DØR1, BILLEDE, LAMPE, LEDNING}

28 Jörg Zellerfillogikmodul3: handlingslogik-228 Situation2: Åbner(JØRG, DØR1,arbejdsværelse, 11:46)

29 Jörg Zellerfillogikmodul3: handlingslogik-229 Situation3: Åben(DØR1,arbejdsværelse, 11:48) Lukket(DØR2, annaværelse, 11:48)

30 Jörg Zellerfillogikmodul3: handlingslogik-230 HL-semantik ifølge Pörn (1977) En handlingslogisk semantik plejer at være en modallogisk udvidelse af en FOL-modelteori. Et handlingslogisk sprog HL opfattes som et FOL-sprog suppleret med en mængde Mo af modaloperatorer; dvs. HL(X, Pr, Mo). Modaloperatorer er propositionsoperatorer der udsiger noget om propositioners modalitet (se glossar: modalitet).

31 Jörg Zellerfillogikmodul3: handlingslogik-231 HL-sprog ifølge Pörn Pörn udtrykker handling logisk vha. en modaloperator D a p. Her står p som sædvanligt for en eller anden proposition. D repræsenterer den praktiske nødvendighed at gøre hvad der er nødvendigt for at p er tilfældet. Aktøren der gennemfører det betegnes med a. D a p skal læses: aktør a bevirker (at) p. Bemærkning: Pörns handlings-modaloperator D a kan opfattes som en slags gennemførelses-operator (jf. slide 32).

32 Jörg Zellerfillogikmodul3: handlingslogik-232 Semantik for HL(X, Pr, D a ) Pörns idé hvordan handling logisk kan beskrives inkluderer 2 del- idéer. 1. Idé: da handlinger bevirker noget, må den verden hvor handlinger er mulige, være foranderlig. Forandring opfattes modelteoretisk som relation mellem forskellige mulige verdener. 2. Idé: handling bevirker ikke bare forandring (i en verden), men forandring som ikke ville finde sted, hvis ikke en eller anden aktør ville have gjort det, der er nødvendigt for at forandringen finder sted. Denne anden idé kalder Pörn handlingens kontrapraktiske modalitet eller betingelse.

33 Jörg Zellerfillogikmodul3: handlingslogik-233 Øvelse 2.1 1.Med udgangspunkt i FOL-modelsituation 2 beskriv i usammensatte danske sætninger nogle af de handlinger der (sandsynligvis) bliver gennemført i det moment billedet tages. (mindst 5 sætninger) 2.Dernæst beskriv i sammensatte danske sætninger komplekse handlinger (fx Picasso følger med geden OG holder Meurice). 3.Hvilke af de beskrevne handlinger er produktive, hvilke er medierede (anvender instrument, middel), hvilke er fuldbyrdede (afsluttede), aktuelle (lige i gang) eller (så vidt man kan gætte det) intenderede (planlagt mhp. fremtidig gennemførelse)? 4.Hvilke infinitte handlinger (= handlingstyper) svarer til de beskrevne finitte handlinger?

34 Jörg Zellerfillogikmodul3: handlingslogik-234 Øvelse HL.-2.2 Med udgangspunkt i FOL-modelsituation 2 oversat de følgende danske handlingssætninger til v. Wrights handlingslogiske sprog: 1.Meurice rider på Ged (forstået som navn på den ged han ridder på). 2.Picasso holder Meurice, men undlader at kikke på Kathy. 3.Paloma og Claude holder ikke Meurice. 4.Kathy holder Meurice eller sætter ham ned. 5.Forklar forskellen mellem [SIDDER_PÅ(MEURICE, GED)  GÅR_VED_SIDEN_AF(PICASSO, GED)] PICASSO og [SIDDER_PÅ(MEURICE, GED)] PICASSO  [GÅR_VED_SIDEN_AF(PICASSO, GED)] PICASSO.