filoz´ofiai alapok - w3c magyar iroda · sz´ohaszn´alat univerz´al´e az univerz´al´ek...
TRANSCRIPT
![Page 1: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/1.jpg)
Filozofiai alapok
Varasdi Karoly es Simonyi Andras
2007. oktober 17.
![Page 2: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/2.jpg)
Arbor Porphyrii (234–309)
![Page 3: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/3.jpg)
Petrus Ramus (1515–1572)
![Page 4: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/4.jpg)
John F. Sowa rendszere
![Page 5: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/5.jpg)
SUMO csucskategoriak
![Page 6: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/6.jpg)
DOLCE csucskategoriak
![Page 7: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/7.jpg)
Szohasznalat
Univerzale
Az univerzalek ugyanabban az idoben tobb helyen ismegjelenhetnek. Amikor egy univerzale adott helyen megjelenik,azt mondjuk, hogy az univerzale instancialodott.
Partikulare
A partikularek egy idoben legfeljebb egy helyen letezhetnek. Apartikularek nem kepesek instancialodasra.
Absztrakt
Az absztrakt dolgokbol egy idoben, adott p helyen egynel tobbis elofordulhat.
Konkret
A konkret dolgokbol egy idoben, adott p helyen legfeljebb egyfordulhat elo.
![Page 8: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/8.jpg)
Szohasznalat
Univerzale
Az univerzalek ugyanabban az idoben tobb helyen ismegjelenhetnek. Amikor egy univerzale adott helyen megjelenik,azt mondjuk, hogy az univerzale instancialodott.
Partikulare
A partikularek egy idoben legfeljebb egy helyen letezhetnek. Apartikularek nem kepesek instancialodasra.
Absztrakt
Az absztrakt dolgokbol egy idoben, adott p helyen egynel tobbis elofordulhat.
Konkret
A konkret dolgokbol egy idoben, adott p helyen legfeljebb egyfordulhat elo.
![Page 9: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/9.jpg)
Szohasznalat
Univerzale
Az univerzalek ugyanabban az idoben tobb helyen ismegjelenhetnek. Amikor egy univerzale adott helyen megjelenik,azt mondjuk, hogy az univerzale instancialodott.
Partikulare
A partikularek egy idoben legfeljebb egy helyen letezhetnek. Apartikularek nem kepesek instancialodasra.
Absztrakt
Az absztrakt dolgokbol egy idoben, adott p helyen egynel tobbis elofordulhat.
Konkret
A konkret dolgokbol egy idoben, adott p helyen legfeljebb egyfordulhat elo.
![Page 10: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/10.jpg)
Szohasznalat
Univerzale
Az univerzalek ugyanabban az idoben tobb helyen ismegjelenhetnek. Amikor egy univerzale adott helyen megjelenik,azt mondjuk, hogy az univerzale instancialodott.
Partikulare
A partikularek egy idoben legfeljebb egy helyen letezhetnek. Apartikularek nem kepesek instancialodasra.
Absztrakt
Az absztrakt dolgokbol egy idoben, adott p helyen egynel tobbis elofordulhat.
Konkret
A konkret dolgokbol egy idoben, adott p helyen legfeljebb egyfordulhat elo.
![Page 11: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/11.jpg)
Szohasznalat
Univerzale
Az univerzalek ugyanabban az idoben tobb helyen ismegjelenhetnek. Amikor egy univerzale adott helyen megjelenik,azt mondjuk, hogy az univerzale instancialodott.
Partikulare
A partikularek egy idoben legfeljebb egy helyen letezhetnek. Apartikularek nem kepesek instancialodasra.
Absztrakt
Az absztrakt dolgokbol egy idoben, adott p helyen egynel tobbis elofordulhat.
Konkret
A konkret dolgokbol egy idoben, adott p helyen legfeljebb egyfordulhat elo.
![Page 12: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/12.jpg)
Univerzale Partikulare
Konkret ? fizikai objektumAbsztrakt tulajdonsag troposz
![Page 13: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/13.jpg)
Realizmus
Ante rem realizmus (Platon) Adott univerzale amanifesztacioitol fuggetlenul is onalloan letezik,azaz akkor is, ha esetleg egyaltalan nemmanifesztalodik.
Ellenvetesek:
Hol letezik?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 14: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/14.jpg)
Realizmus
Ante rem realizmus (Platon) Adott univerzale amanifesztacioitol fuggetlenul is onalloan letezik,azaz akkor is, ha esetleg egyaltalan nemmanifesztalodik.
Ellenvetesek:
Hol letezik?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 15: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/15.jpg)
Realizmus
Ante rem realizmus (Platon) Adott univerzale amanifesztacioitol fuggetlenul is onalloan letezik,azaz akkor is, ha esetleg egyaltalan nemmanifesztalodik.
Ellenvetesek:
Hol letezik?
Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 16: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/16.jpg)
Realizmus
Ante rem realizmus (Platon) Adott univerzale amanifesztacioitol fuggetlenul is onalloan letezik,azaz akkor is, ha esetleg egyaltalan nemmanifesztalodik.
Ellenvetesek:
Hol letezik?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 17: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/17.jpg)
Realizmus
In re realizmus (Arisztotelesz) Adott univerzale csak amanifesztacioiban letezik.
Ellenvetesek:
Mi indokolja, hogy azonosnak tartsuk a terben kulonbozohelyeken fellepo manifesztaciokat?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 18: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/18.jpg)
Realizmus
In re realizmus (Arisztotelesz) Adott univerzale csak amanifesztacioiban letezik.
Ellenvetesek:
Mi indokolja, hogy azonosnak tartsuk a terben kulonbozohelyeken fellepo manifesztaciokat?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 19: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/19.jpg)
Realizmus
In re realizmus (Arisztotelesz) Adott univerzale csak amanifesztacioiban letezik.
Ellenvetesek:
Mi indokolja, hogy azonosnak tartsuk a terben kulonbozohelyeken fellepo manifesztaciokat?
Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 20: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/20.jpg)
Realizmus
In re realizmus (Arisztotelesz) Adott univerzale csak amanifesztacioiban letezik.
Ellenvetesek:
Mi indokolja, hogy azonosnak tartsuk a terben kulonbozohelyeken fellepo manifesztaciokat?Milyen modon kerul kapcsolatba a tenyleges valosaggal?
![Page 21: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/21.jpg)
Nominalizmus
Radikalis nominalizmus Univerzalek nem leteznek. Azosztalyok tagjaiban csak az a kozos, hogy azemberek ugyanazt a predikatumot alkalmazzak atagjaikra.
Ellenvetesek:
Osztalyokat mar a viszonylag primitıv allatok is kepeznek,pedig nincs nyelvuk.Nyelvi–tarsadalmi konvenciova probal degradalni letezokkozotti viszonyokat.
![Page 22: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/22.jpg)
Nominalizmus
Radikalis nominalizmus Univerzalek nem leteznek. Azosztalyok tagjaiban csak az a kozos, hogy azemberek ugyanazt a predikatumot alkalmazzak atagjaikra.
Ellenvetesek:
Osztalyokat mar a viszonylag primitıv allatok is kepeznek,pedig nincs nyelvuk.Nyelvi–tarsadalmi konvenciova probal degradalni letezokkozotti viszonyokat.
![Page 23: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/23.jpg)
Nominalizmus
Radikalis nominalizmus Univerzalek nem leteznek. Azosztalyok tagjaiban csak az a kozos, hogy azemberek ugyanazt a predikatumot alkalmazzak atagjaikra.
Ellenvetesek:
Osztalyokat mar a viszonylag primitıv allatok is kepeznek,pedig nincs nyelvuk.
Nyelvi–tarsadalmi konvenciova probal degradalni letezokkozotti viszonyokat.
![Page 24: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/24.jpg)
Nominalizmus
Radikalis nominalizmus Univerzalek nem leteznek. Azosztalyok tagjaiban csak az a kozos, hogy azemberek ugyanazt a predikatumot alkalmazzak atagjaikra.
Ellenvetesek:
Osztalyokat mar a viszonylag primitıv allatok is kepeznek,pedig nincs nyelvuk.Nyelvi–tarsadalmi konvenciova probal degradalni letezokkozotti viszonyokat.
![Page 25: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/25.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 26: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/26.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 27: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/27.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 28: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/28.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 29: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/29.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 30: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/30.jpg)
Nominalizmus
Mersekelt nominalizmus Univerzalek nem leteznek. Azosztalyok tagjai azonban hasonlıtanak egymasra.
Ellenvetesek:
A hasonlosag relaciojanak maganak univerzalenak kelllennie.
Valaszok:
De akkor ez az egyetlen univerzale.
Ez sem univerzale, hanem csak egy entitasparhoz tartozo sajatospartikulare.
![Page 31: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/31.jpg)
Mersekelt troposzelmelet Univerzalek nem leteznek, deleteznek troposzok, azaz absztrakt partikularek.
Radikalis troposzelmelet A valosag ontologiailag vegsoepıtokovei a troposzok, amelyekbol mind a konkretpartikularek, mind az univerzalek rekonstrualhatok(utobbiak mint troposzok un. hasonlosagiosztalyai).
![Page 32: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/32.jpg)
Mersekelt troposzelmelet Univerzalek nem leteznek, deleteznek troposzok, azaz absztrakt partikularek.
Radikalis troposzelmelet A valosag ontologiailag vegsoepıtokovei a troposzok, amelyekbol mind a konkretpartikularek, mind az univerzalek rekonstrualhatok(utobbiak mint troposzok un. hasonlosagiosztalyai).
![Page 33: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/33.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 34: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/34.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagok
specifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 35: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/35.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznak
kulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 36: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/36.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 37: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/37.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE)
, esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 38: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/38.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 39: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/39.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)
a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 40: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/40.jpg)
Troposzok (tropus, trope, quality (DOLCE))
partikularizalt tulajdonsagokspecifikusan es fixen dependalnak azon az entitason,amihez tartoznakkulonbozo konkret partikularekhoz (numerikusan)kulonbozo troposzok tartoznak
am elofordulhat, hogy ezek ugyanahhoz a kvaliahoz (quale)tartoznak (DOLCE), esez esetben kozottuk a teljes hasonlosag primitıv relacioja allfenn
a kvaliak dimenziokba (quality dimensions) szervezodnek(DOLCE)a teljes hasonlosagot az reprezentalja, hogy a ket troposz akvaliadimenzio ugyanazon pontjara ”vetul”
![Page 41: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/41.jpg)
Specifikusan es fixen dependalas
Az x partikulare specifikusan es fixen dependal az ypartikularen ha barmely t idopillanatban, x nem lehet jelenanelkul, hogy y is jelen lenne.
A modalitas fogalma kiemelt szerepet jatszik a DOLCEontologiaban!
![Page 42: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/42.jpg)
Specifikusan es fixen dependalas
Az x partikulare specifikusan es fixen dependal az ypartikularen ha barmely t idopillanatban, x nem lehet jelenanelkul, hogy y is jelen lenne.
A modalitas fogalma kiemelt szerepet jatszik a DOLCEontologiaban!
![Page 43: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/43.jpg)
Vendler-osztalyok
(Moens es Steedman alapjan)
atomi es. kiterjedt es.
Achievement Accomplishment+utoallapot recognize, spot, build a house,
win the race write a sonnet(Point) Process
–utoallapot hiccup, tap, run, swim, walk,wink play the piano
State: know something/that, love, be happy, . . .
![Page 44: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/44.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 45: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/45.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 46: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/46.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 47: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/47.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 48: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/48.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?
Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 49: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/49.jpg)
Davidson kontribucioja
Az aritas problemaja
Jones buttered the toastbutter(jones, toast)
Jones buttered the toast with a knifebutter(jones, toast, knife)
Jones buttered the toast with a knife . . .butter(jones, toast, knife, . . . )
Hany argumentumra lenne szukseg ahhoz, hogy a butterpredikatumot megragadjuk?Hogyan igazoljuk formalisan , hogy pl. John buttered thetoast with a knife premisszabol kovetkezik a Jones butteredthe toast konkluzio?
![Page 50: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/50.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 51: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/51.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 52: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/52.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 53: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/53.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 54: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/54.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.
Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 55: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/55.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 56: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/56.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 57: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/57.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 58: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/58.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)
Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 59: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/59.jpg)
Esemenyargumentum felvetele
Jones buttered the toast∃e butter(e, jones, toast)
Jones buttered the toat with a knife∃e(butter(e, jones, toast) ∧With(e, knife))
Jones buttered the toat with a knife in the bathroom∃e(butter(e, jones, toast) ∧With(e, knife) ∧ In(e, bathroom))
Az aritas problemaja megoldodott.Az elobbi kovetkeztetes formalisan is igazolhatova valt.
Tovabbi elonyok
Esemenyre vonatkozo anaforak kezelhetosege (It happenedat midnight)Esemenynominalizacio es -kvantifikacio (The buttering wasslow, Every burning consumes oxygen)
![Page 60: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/60.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 61: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/61.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 62: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/62.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 63: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/63.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 64: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/64.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 65: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/65.jpg)
A modalitasok szerepe az ontologiaban
Az ontologiai kategoriak fontos tulajdonsagai es a koztukfennallo kapcsolatok jelentos resze csak modalitasok, tehat aszuksegszeruseg (‘�’) es lehetsegesseg(‘♦’) fogalmaratamaszkodva jellemezheto kielegıtoen.
Nehany pelda:
Merev (rigid) kategoria: F merev ⇔ �∀x(F (x) → �F (x))
Szerep- (antirigid) kategoria : F szerep ⇔ �∀x♦¬F (x)
,,isa” kapcsolat: F isa G ⇔ �∀x(F (x) → G (x))
specifikus fugges individuumok kozott x specifikusan fuggy -tol: SD(x , y) ⇔ �(E(x) → E(y))
specifikus fugges kategoriak kozott az F -ek specifikusanfuggenek a G -ktol⇔ �∀x(F (x) → ∃y(SD(x , y) ∧ G (y))
![Page 66: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/66.jpg)
Modalitasfajtak
Alethikus modalitasok
Ebbe a csoportba a szuksegszeruseg/lehetsegesseg olyan fajtaitartoznak, melyek aktualis szubjektıv hiteinktol fuggetlenul,objektıve teljesulnek vagy nem teljesulnek kijelentesekre.
Episztemikus modalitasok
Az ilyen tıpusu modalitasok a tudasunkkal, hiteinkkel, illetve arendelkezesunkre allo informacioval allnak kapcsolatban. Egy pkijelentes akkor lehetseges episztemikusan x szamara, ha x nemzarja ki/nem zarhatja ki p igazsagat.
![Page 67: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/67.jpg)
Modalitasfajtak
Alethikus modalitasok
Ebbe a csoportba a szuksegszeruseg/lehetsegesseg olyan fajtaitartoznak, melyek aktualis szubjektıv hiteinktol fuggetlenul,objektıve teljesulnek vagy nem teljesulnek kijelentesekre.
Episztemikus modalitasok
Az ilyen tıpusu modalitasok a tudasunkkal, hiteinkkel, illetve arendelkezesunkre allo informacioval allnak kapcsolatban. Egy pkijelentes akkor lehetseges episztemikusan x szamara, ha x nemzarja ki/nem zarhatja ki p igazsagat.
![Page 68: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/68.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 69: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/69.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.
Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 70: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/70.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitol
Metafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 71: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/71.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”
Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 72: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/72.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 73: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/73.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 74: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/74.jpg)
Alethikus modalitasok
Nehany fontos alethikus modalitas:
Logikai modalitas: Kizarolag a logikai igazsagokszuksegszeruek ilyen modon.Matematikai modalitas – kerdeses, hogy kulonbozik-e alogikaitolMetafizikai modalitas: a ,,dolgok objektıv termeszetebol”eredo modalitas, pl. ,,szuksegszeru, hogy Szokrateszember.”Termeszeti modalitas: a termeszeti torvenyekszuksegszeruek ilyen modon.
Az alethikus modalitasok ,,erosorrendje”
�logikaiφ ⇒ �matematikaiφ ⇒ �metafizikaiφ ⇒ �term.φ
![Page 75: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/75.jpg)
Fogalmi modalitas
A fogalmilag szuksegszeru kijelentesek olyan kijelentesek,amelyek igazsagat a bennuk szereplo fogalmak osszefuggeseigarantaljak, pl. ,,minden agglegeny notlen ferfi.”
A fogalmi modalitas statusza
Eroteljesen vitathato es vitatott kerdes, hogy alethikus vagyepisztemikus modalitaskent kell-e kezelnunk a fogalmimodalitast. A ,,koztes” statusz mellett szol, hogy bar az egyesegyenek hiteitol, illetve rendelkezesere allo informaciotolfuggetlen lehet, hogy bizonyos fogalmaink garantaljak-e egykijelentes igazsagat, a teljes fogalomalkoto es hasznalo kozosseghiteitol/informaciojatol mar kevesbe.
![Page 76: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/76.jpg)
Fogalmi modalitas
A fogalmilag szuksegszeru kijelentesek olyan kijelentesek,amelyek igazsagat a bennuk szereplo fogalmak osszefuggeseigarantaljak, pl. ,,minden agglegeny notlen ferfi.”
A fogalmi modalitas statusza
Eroteljesen vitathato es vitatott kerdes, hogy alethikus vagyepisztemikus modalitaskent kell-e kezelnunk a fogalmimodalitast. A ,,koztes” statusz mellett szol, hogy bar az egyesegyenek hiteitol, illetve rendelkezesere allo informaciotolfuggetlen lehet, hogy bizonyos fogalmaink garantaljak-e egykijelentes igazsagat, a teljes fogalomalkoto es hasznalo kozosseghiteitol/informaciojatol mar kevesbe.
![Page 77: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/77.jpg)
Modalitasfajtak a formalis ontologiakban
Melyik modalitas a formalis ontologiak modalis operatorainakhelyes interpretacioja? Az vilagosnak tunik, hogy egy teljesenszubjektıv episztemikus modalitas kizarhato az elfogadhatomegoldasok korebol.
Szobajoheto interpretaciok:
Metafizikai modalitas – ebben az interpretacioban aformalis ontologia a kategoriak objektıve letezo, a dolgoktermeszetebol eredo modalis tulajdonsagait esosszefuggeseit probalja leırni.Fogalmi modalitas – ez az interpretacio all kozelebb azontologiat ,,kozosen hasznalt fogalmi rendszer”-kentertelmezo MI kozosseg felfogasahoz.
![Page 78: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/78.jpg)
Modalitasfajtak a formalis ontologiakban
Melyik modalitas a formalis ontologiak modalis operatorainakhelyes interpretacioja? Az vilagosnak tunik, hogy egy teljesenszubjektıv episztemikus modalitas kizarhato az elfogadhatomegoldasok korebol.
Szobajoheto interpretaciok:
Metafizikai modalitas – ebben az interpretacioban aformalis ontologia a kategoriak objektıve letezo, a dolgoktermeszetebol eredo modalis tulajdonsagait esosszefuggeseit probalja leırni.
Fogalmi modalitas – ez az interpretacio all kozelebb azontologiat ,,kozosen hasznalt fogalmi rendszer”-kentertelmezo MI kozosseg felfogasahoz.
![Page 79: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/79.jpg)
Modalitasfajtak a formalis ontologiakban
Melyik modalitas a formalis ontologiak modalis operatorainakhelyes interpretacioja? Az vilagosnak tunik, hogy egy teljesenszubjektıv episztemikus modalitas kizarhato az elfogadhatomegoldasok korebol.
Szobajoheto interpretaciok:
Metafizikai modalitas – ebben az interpretacioban aformalis ontologia a kategoriak objektıve letezo, a dolgoktermeszetebol eredo modalis tulajdonsagait esosszefuggeseit probalja leırni.Fogalmi modalitas – ez az interpretacio all kozelebb azontologiat ,,kozosen hasznalt fogalmi rendszer”-kentertelmezo MI kozosseg felfogasahoz.
![Page 80: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/80.jpg)
A legegyszerubb modalis elsorendu logika
Ha az ontologia kategoriainak precız szemantikai jellemzeseretorekszunk, akkor az extenzionalis nyelvek nem tunnekkielegıtonek. Az un. legegyszerubb modalis elsorendu logika(LMEL) viszont jo kompromisszumnak tunik a kifejezokepesseges egyszeruseg kovetelmenye kozott.
Ez a rendszer
szintaktikailag csak a ‘�’ ‘♦’ mondatoperatorokkal egeszıtiki a klasszikus elsorendu nyelveket.szemantikaja a legegyszerubb Kripke-szemantikateljes kalkulus adhato ra: axiomai a klasszikus elsorendulogika es az S5 modalis axiomainak egyuttese.,,posszibilista”: levezetheto benne az un. Barcan-formula,mely szerint ♦∃xF (x) → ∃x♦F (x).
![Page 81: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/81.jpg)
A legegyszerubb modalis elsorendu logika
Ha az ontologia kategoriainak precız szemantikai jellemzeseretorekszunk, akkor az extenzionalis nyelvek nem tunnekkielegıtonek. Az un. legegyszerubb modalis elsorendu logika(LMEL) viszont jo kompromisszumnak tunik a kifejezokepesseges egyszeruseg kovetelmenye kozott.
Ez a rendszerszintaktikailag csak a ‘�’ ‘♦’ mondatoperatorokkal egeszıtiki a klasszikus elsorendu nyelveket.
szemantikaja a legegyszerubb Kripke-szemantikateljes kalkulus adhato ra: axiomai a klasszikus elsorendulogika es az S5 modalis axiomainak egyuttese.,,posszibilista”: levezetheto benne az un. Barcan-formula,mely szerint ♦∃xF (x) → ∃x♦F (x).
![Page 82: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/82.jpg)
A legegyszerubb modalis elsorendu logika
Ha az ontologia kategoriainak precız szemantikai jellemzeseretorekszunk, akkor az extenzionalis nyelvek nem tunnekkielegıtonek. Az un. legegyszerubb modalis elsorendu logika(LMEL) viszont jo kompromisszumnak tunik a kifejezokepesseges egyszeruseg kovetelmenye kozott.
Ez a rendszerszintaktikailag csak a ‘�’ ‘♦’ mondatoperatorokkal egeszıtiki a klasszikus elsorendu nyelveket.szemantikaja a legegyszerubb Kripke-szemantika
teljes kalkulus adhato ra: axiomai a klasszikus elsorendulogika es az S5 modalis axiomainak egyuttese.,,posszibilista”: levezetheto benne az un. Barcan-formula,mely szerint ♦∃xF (x) → ∃x♦F (x).
![Page 83: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/83.jpg)
A legegyszerubb modalis elsorendu logika
Ha az ontologia kategoriainak precız szemantikai jellemzeseretorekszunk, akkor az extenzionalis nyelvek nem tunnekkielegıtonek. Az un. legegyszerubb modalis elsorendu logika(LMEL) viszont jo kompromisszumnak tunik a kifejezokepesseges egyszeruseg kovetelmenye kozott.
Ez a rendszerszintaktikailag csak a ‘�’ ‘♦’ mondatoperatorokkal egeszıtiki a klasszikus elsorendu nyelveket.szemantikaja a legegyszerubb Kripke-szemantikateljes kalkulus adhato ra: axiomai a klasszikus elsorendulogika es az S5 modalis axiomainak egyuttese.
,,posszibilista”: levezetheto benne az un. Barcan-formula,mely szerint ♦∃xF (x) → ∃x♦F (x).
![Page 84: Filoz´ofiai alapok - W3C Magyar Iroda · Sz´ohaszn´alat Univerz´al´e Az univerz´al´ek ugyanabban az idoben t¨obb helyen is megjelenhetnek. Amikor egy univerzal´e adott helyen](https://reader033.vdocuments.site/reader033/viewer/2022041505/5e24759305f4d835e8488607/html5/thumbnails/84.jpg)
A legegyszerubb modalis elsorendu logika
Ha az ontologia kategoriainak precız szemantikai jellemzeseretorekszunk, akkor az extenzionalis nyelvek nem tunnekkielegıtonek. Az un. legegyszerubb modalis elsorendu logika(LMEL) viszont jo kompromisszumnak tunik a kifejezokepesseges egyszeruseg kovetelmenye kozott.
Ez a rendszerszintaktikailag csak a ‘�’ ‘♦’ mondatoperatorokkal egeszıtiki a klasszikus elsorendu nyelveket.szemantikaja a legegyszerubb Kripke-szemantikateljes kalkulus adhato ra: axiomai a klasszikus elsorendulogika es az S5 modalis axiomainak egyuttese.,,posszibilista”: levezetheto benne az un. Barcan-formula,mely szerint ♦∃xF (x) → ∃x♦F (x).