| Property |
Value |
| dbo:abstract
|
- A modális logika a olyan bővítése, amely már modális kijelentéseket is tartalmaz. A modális logikában egy kijelentés nem pusztán igaz vagy hamis lehet, hanem egy bizonyos módon igaz is – például szükségszerű, tudott vagy hitt, kötelező, bizonyítható. A modális logika legjellemzőbb kifejezései a „lehetséges, hogy A” (jelben: ''), a „szükségszerű, hogy A” (jelben: '') és ezek átfogalmazásai, például: „Lehet, hogy holnap tengeri csata lesz.”„Nixon győzhetett volna.”„Szükségszerű, hogy egy modális logikáról szóló bevezetőben mindig az alethikus modalitással kezdjék.” Ezek az operátorok a dualitás elve alapján kölcsönösen kifejezhetők egymással; ha A mondat, akkor lehetséges A akkor és csak akkor, ha nem szükségszerű, hogy nem A, azaz:szükségszerű A akkor és csak akkor, ha nem lehetséges nem A, azaz: A szükségszerűségen és a lehetőségen, azaz az úgynevezett alethikus modalitásokon kívül vizsgálható számos egyéb modalitás is. Ilyenek például a megismerhetőséget (episztemikus modalitás), a meggyőződés fokát (doxatikus modalitás), az időbeli elhelyezkedés szintjeit (temporális modalitás), a valamely normarendszerben megengedhető tevékenységeket (deontikus modalitás), vagy pl. az egy formális rendszerbeli bizonyíthatóságot kifejező állítások. (hu)
- A modális logika a olyan bővítése, amely már modális kijelentéseket is tartalmaz. A modális logikában egy kijelentés nem pusztán igaz vagy hamis lehet, hanem egy bizonyos módon igaz is – például szükségszerű, tudott vagy hitt, kötelező, bizonyítható. A modális logika legjellemzőbb kifejezései a „lehetséges, hogy A” (jelben: ''), a „szükségszerű, hogy A” (jelben: '') és ezek átfogalmazásai, például: „Lehet, hogy holnap tengeri csata lesz.”„Nixon győzhetett volna.”„Szükségszerű, hogy egy modális logikáról szóló bevezetőben mindig az alethikus modalitással kezdjék.” Ezek az operátorok a dualitás elve alapján kölcsönösen kifejezhetők egymással; ha A mondat, akkor lehetséges A akkor és csak akkor, ha nem szükségszerű, hogy nem A, azaz:szükségszerű A akkor és csak akkor, ha nem lehetséges nem A, azaz: A szükségszerűségen és a lehetőségen, azaz az úgynevezett alethikus modalitásokon kívül vizsgálható számos egyéb modalitás is. Ilyenek például a megismerhetőséget (episztemikus modalitás), a meggyőződés fokát (doxatikus modalitás), az időbeli elhelyezkedés szintjeit (temporális modalitás), a valamely normarendszerben megengedhető tevékenységeket (deontikus modalitás), vagy pl. az egy formális rendszerbeli bizonyíthatóságot kifejező állítások. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 109080 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:accessdate
| |
| prop-hu:author
|
- Alexander Chagrov – Michael Zakharyaschev (hu)
- Ruzsa Imre (hu)
- Alexander Chagrov – Michael Zakharyaschev (hu)
- Ruzsa Imre (hu)
|
| prop-hu:coauthors
|
- Máté András (hu)
- Kneale, Martha (hu)
- Pizzi, Claudio (hu)
- Máté András (hu)
- Kneale, Martha (hu)
- Pizzi, Claudio (hu)
|
| prop-hu:editor
|
- Solomon Feferman (hu)
- Solomon Feferman (hu)
|
| prop-hu:first
|
- Robert (hu)
- Walter (hu)
- William (hu)
- Paul (hu)
- Imre (hu)
- Melvin (hu)
- Johan (hu)
- John P (hu)
- L. T. F (hu)
- Lennart (hu)
- Robert (hu)
- Walter (hu)
- William (hu)
- Paul (hu)
- Imre (hu)
- Melvin (hu)
- Johan (hu)
- John P (hu)
- L. T. F (hu)
- Lennart (hu)
|
| prop-hu:isbn
|
- 0 (xsd:integer)
- 1 (xsd:integer)
- 88 (xsd:integer)
- 963 (xsd:integer)
- 978 (xsd:integer)
|
| prop-hu:language
|
- angol, német (hu)
- angol, német (hu)
|
| prop-hu:last
|
- Burgess (hu)
- Ruzsa (hu)
- Carnielli (hu)
- Fitting (hu)
- Gamut (hu)
- Goldblatt (hu)
- Kneale (hu)
- McNamara (hu)
- van Benthem (hu)
- Åqvist (hu)
- Burgess (hu)
- Ruzsa (hu)
- Carnielli (hu)
- Fitting (hu)
- Gamut (hu)
- Goldblatt (hu)
- Kneale (hu)
- McNamara (hu)
- van Benthem (hu)
- Åqvist (hu)
|
| prop-hu:location
|
- Budapest (hu)
- Nápoly (hu)
- Oxford (hu)
- Budapest (hu)
- Nápoly (hu)
- Oxford (hu)
|
| prop-hu:other
|
- in: Handbook of the History of Logic, Vol. 7. szerk. Dov M. Gabbay, John Woods (hu)
- in: Handbook of Philosophy Vol. 7. szerk. Dov M. Gabbay-F. Guenthner (hu)
- in: A Companion to Philosophical Logic, szerk. Dale Jacquette (hu)
- in: Handbook of Philosophy Vol. 8. szerk. Dov M. Gabbay-F. Guenthner (hu)
- in: Intensional Logic and Logical Grammar, : J. F. A. K. van Benthem, J. A. G. Groenendijk, D. H. J. de Jongh, M. J. B. Stockhof, H. J. Verkuyl (hu)
- in: Handbook of the History of Logic, Vol. 7. szerk. Dov M. Gabbay, John Woods (hu)
- in: Handbook of Philosophy Vol. 7. szerk. Dov M. Gabbay-F. Guenthner (hu)
- in: A Companion to Philosophical Logic, szerk. Dale Jacquette (hu)
- in: Handbook of Philosophy Vol. 8. szerk. Dov M. Gabbay-F. Guenthner (hu)
- in: Intensional Logic and Logical Grammar, : J. F. A. K. van Benthem, J. A. G. Groenendijk, D. H. J. de Jongh, M. J. B. Stockhof, H. J. Verkuyl (hu)
|
| prop-hu:pages
| |
| prop-hu:publisher
|
- Elsevier (hu)
- Osiris Kiadó (hu)
- Oxford University Press (hu)
- Springer (hu)
- Akadémiai Kiadó (hu)
- University of Chicago Press (hu)
- Clarendon Press (hu)
- The University of Chicago Press (hu)
- Blackwell (hu)
- Bibliopolis (hu)
- Elsevier (hu)
- Osiris Kiadó (hu)
- Oxford University Press (hu)
- Springer (hu)
- Akadémiai Kiadó (hu)
- University of Chicago Press (hu)
- Clarendon Press (hu)
- The University of Chicago Press (hu)
- Blackwell (hu)
- Bibliopolis (hu)
|
| prop-hu:title
|
- Bevezetés a modern logikába (hu)
- Modal Logic (hu)
- Basic Tense Logic (hu)
- Deontic Logic (hu)
- First-Order Alethic Modal Logic (hu)
- Intensional Predicate logic (hu)
- Klasszikus, modális és intenzionális logika (hu)
- Kurt Gödel Collected Works (hu)
- Logic and the Modalities in the Twentieth Century (hu)
- Logikai szintaxis és szemantika II. (hu)
- Modal Logic and Classical Logic (hu)
- Modalities and Multimodalities (hu)
- Bevezetés a modern logikába (hu)
- Modal Logic (hu)
- Basic Tense Logic (hu)
- Deontic Logic (hu)
- First-Order Alethic Modal Logic (hu)
- Intensional Predicate logic (hu)
- Klasszikus, modális és intenzionális logika (hu)
- Kurt Gödel Collected Works (hu)
- Logic and the Modalities in the Twentieth Century (hu)
- Logikai szintaxis és szemantika II. (hu)
- Modal Logic and Classical Logic (hu)
- Modalities and Multimodalities (hu)
|
| prop-hu:url
|
- https://books.google.hu/books?id=Y87XKUfGlCUC&pg=PR11&dq=Logic,+language+and+meaning:+introduction+to+logic+volume+2&client=firefox-aLogic,&cd=1#v=onepage&q=Logic%2C%20language%20and%20meaning%3A%20introduction%20to%20logic%20volume%202&f=false|title=Logic, Language and Meaning 2: Intensional Logic and Logical Grammar (hu)
- https://books.google.hu/books?id=FtXAwgy1w9cC&dq=kneale+logic&pg=PP1&ots=lcDojX6j0T&sig=C6Q8iWDX4w0y0FQHevrdOZVLLlE&hl=hu|title=The Development of Logic (hu)
- https://books.google.hu/books?id=Y87XKUfGlCUC&pg=PR11&dq=Logic,+language+and+meaning:+introduction+to+logic+volume+2&client=firefox-aLogic,&cd=1#v=onepage&q=Logic%2C%20language%20and%20meaning%3A%20introduction%20to%20logic%20volume%202&f=false|title=Logic, Language and Meaning 2: Intensional Logic and Logical Grammar (hu)
- https://books.google.hu/books?id=FtXAwgy1w9cC&dq=kneale+logic&pg=PP1&ots=lcDojX6j0T&sig=C6Q8iWDX4w0y0FQHevrdOZVLLlE&hl=hu|title=The Development of Logic (hu)
|
| prop-hu:volume
|
- II-III. rész (hu)
- II-III. rész (hu)
|
| prop-hu:wikiPageUsesTemplate
| |
| prop-hu:year
|
- 1983 (xsd:integer)
- 1984 (xsd:integer)
- 1986 (xsd:integer)
- 1988 (xsd:integer)
- 1990 (xsd:integer)
- 1997 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
- 2008 (xsd:integer)
|
| dct:subject
| |
| rdfs:label
|
- Modális logika (hu)
- Modális logika (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
