Hatásköri kétértelműségek Kvantifikáló kifejezések: Néhány lány =>  x(x lány  …) Minden fiú =>  x(x fiú  …) Két prímszám=>  x  y( x prímszám  y.

Az előadások a következő témára: "Hatásköri kétértelműségek Kvantifikáló kifejezések: Néhány lány =>  x(x lány  …) Minden fiú =>  x(x fiú  …) Két prímszám=>  x  y( x prímszám  y."— Előadás másolata:

1 Hatásköri kétértelműségek Kvantifikáló kifejezések: Néhány lány =>  x(x lány  …) Minden fiú =>  x(x fiú  …) Két prímszám=>  x  y( x prímszám  y prímszám  …) Kétértelműség: melyik van kívül? Every cube is between a pair of dodecahedra. Minden kocka két dodekaéder között van. a./ Minden kockára igaz, hogy(van két dodekaéder, amelyek között van). b./ Van két dodekaéder, amelyre igaz, hogy (minden kocka közöttük van). A köznyelvi sorrend gyakran sugallja a valószínű olvasatot – de nem mindig. Gyakran a gyengébb olvasat a valószínűbb – de nem mindig.

2 Every cube to the right of a dodecahedron is smaller than it is. Minden kocka, ami jobbra van egy dodekaédertől, kisebb nála. a./ Minden kockára igaz, hogy (ha jobbra van egy dodekaédertől, akkor kisebb nála). Minden kockára igaz, hogy(bármely dodekaéderre igaz, hogy(ha [a kocka] jobbra van tőle, akkor kisebb nála)) b./ Van olyan dodekaéder, amelyre igaz, hogy (minden [kocka, amelyik jobbra van tőle] kisebb nála). Cube a is not larger than every dodecahedron. Az a kocka nem nagyobb, mint bármely dodekaéder. Itt a negáció és az univerzális kvantor hatókörének viszonyában van a kétértelműség. a./ Nem igaz, hogy (az a kocka nagyobb, mint bármely dodekaéder). b./ Minden dodekaéderre igaz, hogy( az a kocka nem nagyobb nála).

3 No cube is to the left of some dodecahedron. Egy kocka sincs balra egy dodekaédertől. a./ Nincs olyan kocka, amely (balra van egy dodekaédertől). b./ Van olyan dodekaéder, amelytől (egy kocka sincs balra). (At least) two cubes are between (at least) two dodecahedra. Két kocka két dodekaéder között van. a./ Van két kocka, amelyekre [külön-külön] igaz, hogy (két dodekaéder között vannak). b./ Van két dodekaéder, amelyekre igaz, hogy (van két kocka, amely közöttük van). Gyakorlás (kétértelműségekkel): 11.26 HF:11.16 (Ezek nem (feltétlenül) kétértelmű mondatok!)