|
• Oblasti zájmu
teorie her, dynamická logiky, logika kotrafaktuálů, modální logika, fuzzy logika, základy pravděpodobnosti
• Konference
Organizační aktivity
(předseda nebo spolupředseda org. výboru)
Epistemic Aspects of Many-valued Logics, Prague International Colloquium, Praha 2010
Foundations of Uncertainty: Probability and Its Rivals, Prague International Colloquium, Praha 2009
Logic of Change ,Change of Logic, Prague International Colloquium, Praha 2008
Uncertainty: Reasoning about Probability and Vagueness, Prague International Colloquium, Praha 2006
Logic, Games and Philosophy: Foundational Perspectives, Prague International Colloquium, Praha 2004
Prague International Colloquium on Formal Epistemology, Praha 2002
Is Meaning Dynamic? Prague International Colloquium, Praha, 2001
Přednášky na mezinárodních konferencích (výběr)
2011
Substructural epistemic logics, Non-classical Modal and Predicate
Logics, (Canton, Čína), prosinec 2011
Skeptical
Agents, LogICCC – Modelling intelligent
interaction, (Berlin, Německo), září 2011
Relevant agents, 14th Congress of Logic, Methodology and Philosophy
of Science (Nancy, Francie), červen 2011
Relevant agents, Logica 2011 (Hejnice, ČR), červen 2011
Evaluation games in fuzzy logics, Proof and Dialogue, (Tuebingen, Německo), únor 2011
2010
Lukasiewicz Logic as a Negotiation Game, Dialogues, Inference, and Proof - Logical and Empirical Perspectives (Vídeň, Rakousko), listopad 2010
A representationalist account of fuzzy attitudes (s T. Childersem), Prague International Colloquium: Epistemic Aspects of Many-valued Logics (Praha), září 2010
Non-safe Structures in Fuzzy Logics and Game Semantics a Semantics of counterfactuals in higher-order fuzzy logic (s L. Běhounkem), LATD 2010 (Praha), září 2010
A Semantics for Counterfactuals Based on Formal Fuzzy Logic (s L. Běhounkem), Logica 2010 (Hejnice), červen 2010
2009
Questions as Public Announcements, Eighth International Tbilisi Symposium on Language, Logic and Computation (Bakuriani, Gruzie), září 2009
Representing Subjective Probabilities (s T. Childersem), Prague International Colloquium: Foundations of Uncertainty: Probability and Its Rivals (Praha), září 2009
Logic of Questions from the Viewpoint of Dynamic Epistemic Logic (s M. Pelišem), Logica 2009 (Hejnice), červen 2009
2005-2008
Epistemic Logics for Relevant Agents (s M. Pelišem), Logica 2008 (Hejnice), červen 2008
Epistemic Logics in Relevant Framework (s M. Pelišem), Logic Colloquium 2008 (Bern, Švýcarsko), červenec 2008
Relevant Framework for Knowledge Representation (s M. Pelišem), ECAP 6: Sixth European Congress of Analytic Philosophy (Krakow, Polsko), srpen 2008
Fuzzy Logic and Betting Games, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning (Amsterdam, Nizozemí), červen 2007
Probabilistic Representation of Fuzzy Logics, Logic Colloquium 2007 (Wroclav, Polsko), červenec 2007
Probabilistic Extension of IF Logic, Progic07: The Third Workshop on Combining Probability and Logic (Kent, Velká Británie), září 2007
Game-theoretic Interpretation of Lukasiewicz Logic (s P. Cintulou), Logica 2006 (Hejnice), červen 2006
Evaluation games for fuzzy logics, Logic Colloquium 2006 (Nijmegen, Nizozemsko), červenec-srpen 2006
Probabilistic Extension of Fuzzy Logic, Towards Mathematical Philosophy (Toruň, Polsko), srpen 2006
Evaluation Games for Fuzzy Logics, 1st International Congress on Universal Logic (Montreux, Švýcarsko), duben 2005
Betting on Fuzzy Logic, Prague Colloquium on Dutch Book Arguments (Praha), srpen 2005
• Publikace
Výběr z publikací
Peliš, M., Majer, O.: Logic of Questions and Public Announcements, in: Bezhanishvili, N., Löbner, S., Schwabe, K., Spada, L. (eds.) Eighth International Tbilisi Symposium on Logic, Language, and Computation 2009, Lecture Notes in Computer Science, Springer 2011, pp. 145-157
Majer, O.: Comments on Vagueness, Tolerance and Non-Transitive Entailment by Robert van Rooij, in: Understanding Vagueness (Logical, Philosophical and Linguistic Perspective), (P. Cintula, C. Fermueller, L. Godo, P. Hájek (eds.), Studies in Logic, vol. 36, College Publications 2011, pp. 223-227
Majer, O.: Majer, Ondrej: Comments on Many-Valued Semantics for Vague Counterfactuals by Marco Cerami and Pere Pard, in: Understanding Vagueness (Logical, Philosophical and Linguistic Perspective), (P. Cintula, C. Fermueller, L. Godo, P. Hájek (eds.), Studies in Logic, vol. 36, College Publications 2011, pp. 363-366
Běhounek, L., Majer, O.: A Semantics for Counterfactuals Based on Formal Fuzzy Logic, in: The Logica Yearbook 2010, Peliš, M. (ed.), College Publications, London, 2011, pp. 25-41
Bílková, M., Majer, O., Peliš, M., Restall, G.: Relevant Agents, in: Advances in Modal Logic 2010, Beklemishev, L., Goranko, V., Shehtman, V. (eds.), College Publications, London, 2010, s. 22-38
Majer, O., Peliš, M.: Relevant Epistemic Logic, in: Logic and Interactive Rationality (Yearbook 2009), Grossi, D., Kurzen, L., Velázquez-Quesada, F.R. (eds.), Amsterdam: ILLC, 2010, s. 69–84
Childers, T., Majer, O.: Kondicionály, in: Logika a přirozený jazyk, Svoboda, V. a kol., Filosofia, Praha, 2010, s. 153-191
Peliš, M., Majer, O.: Logic of Questions from the Viewpoint of Dynamic Epistemic Logic, in: The Logica Yearbook 2009, Peliš, M. (ed.), College Publications, London, 2010, s. 157-172
Cintula, P., Majer, O.: Towards Evaluation Games For Fuzzy Logics, in: Games: Unifying Logic, Language, and Philosophy, Majer, O., Pietarinen, A. , Tulenheimo, T. (eds.), Springer 2009, s. 117-138
Majer, O., Pietarinen, A., Tulenheimo, T.: Introduction, in: Games: Unifying Logic, Language, and Philosophy, Majer, O., Pietarinen, A. , Tulenheimo, T. (eds.), Springer 2009, str. ix-xxiii
Majer, O., Peliš, M.: Epistemic logics for relevant agents, in: The Logica Yearbook 2008, Peliš, M. (ed.): College Publications, London 2009, s. 123-135
van Ditmarsch, H., Hill, B., Majer, O.: Logic of change, change of logic, in: Synthese, Vol. 171, 2 / November, 2009, s. 227-355
Majer, O.: Logické hry a pravdivostní hodnoty, in: Hra ve vědě a filosofii, Nosek, J. (ed.), Filosofia, Praha 2006, s. 131-141
Majer, O.: Hry a význam logických spojek, in: Logika, jazyk, filozofie, Sousedík, P. (ed.), Filosofia, Praha 2005
Majer, O.: Probability and possible worlds, in: Possibility and Reality - Logic and Metaphysics, Rott, H. and Horák, V.(eds), Ontos Verlag, Frankfurt-London 2003, s. 139-148.
Majer, O.: Teoria zdarzen sekvencyjnych, in: Filozofia Nauki X/ 2002 No.1 (37), s. 83-108, (v polštině – Teorie sekvenčních událostí)
Majer, O.: Logika a pravděpodobnost, Miscellanea Logica III, Filosofická fakulta University Karlovy, Praha 2002, s. 71-80
Majer, O.: Global probability for possible worlds, in: The Logica Yearbook 2001,
Childers, T. and Majer, O. (eds), Filosofia, Praha 2002, s. 195-205
Majer, O., Childers T.: Má dnes smysl mluvit o logickém pojetí pravděpodobnosti? in: Pravdivost ve vědě a filosofii ,Filosofia, Praha 2001, s. 179-192
Majer, O.: Subjektivní pravděpodobnost a realistické možné světy, in: Filosofický časopis 3/49 2001, s. 495-505
Majer, O.: Counterfactual probability redistributed, in: Reports on Philosophy 20/2000, Jagellonian University Press, s. 37-49
Ediční činnost
Childers, T., Majer, O. (eds.): Interpreting Probability, zvláštní číslo Journal of Logic Language and Information, vyjde 2012
Majer, O., Pietarinen, A., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy, Springer 2009, 374 stran
van Ditmarsch, H., Hill, B., Majer, O. (eds.) : Knowledge, Rationality & Action. Logic of Change, Change of Logic., zvláštní číslo Synthese, Vol. 171, 2 / November, 2009, 129 stran
Majer, O., Childers, T. (eds.): The Logica Yearbook 2002, Filosofia, Praha, 2003, 272 stran
Majer, O., Childers, T. (eds.): The Logica Yearbook 2001, Filosofia, Praha, 2002, 208 stran
• Grantové projekty
Formální a historický přístup k epistemologii. Grantový projekt GAČR (2010-2012, GAČR: GAP401/10/1504)
člen řešitelského týmu
Logické modely usuzování s vágními informacemi. Grantový projekt GAČR (2008-2011, GEICC/08/E018). Součást mezinárodního grantového projektu Logical Models of Reasoning with Vague Information agentury European Science Foundation v rámci schématu EUROCORES, ve spolupráci s Ústavem informatiky AVČR, Technische Universitat Wien a Univerzitou v Barceloně
řešitel
Dynamické formální systémy. Společný výzkumný projekt s Ústavem informatiky AVČR a Matematickým ústavem AVČR (2007-2010, GAAV: IAA900090703)
hlavní řešitel
Logická analýza - teorie a aplikace. Komplexní výzkumný projekt doplněný vědecko-organizačními a publikačními programy (2007-2009, GAČR: GA401/07/0904)
člen řešitelského týmu
Logické základy sémantiky a reprezentace znalostí. Doktorský projekt Grantové agentury ČR ve spolupráci s FF UK a Slezskou Univerzitou v Opavě (2003-2007, GA ČR:. 401/03/H047)
člen řešitelského týmu
Logica 2004-2006: komplex badatelských, vědeckoorganizačních a publikačních projektů v oblasti logiky, (2004-2006, GAČR: GA401/04/0117)
člen řešitelského týmu
• CV
Vzdělání:
Matematicko-fyzikální fakulta University Karlovy v Praze, obor Teoretická kybernetika, matematická informatika a teorie řízení, specializace Operační výzkum a teorie řízení.
Diplomová práce Rozbor dlouhých slov v pologrupách.
Hodnost doktora přírodních věd (RNDr.) v oboru Teorie her ( MFF UK).
Hodnost kandidáta věd (CSc.) v oboru Logika (Filosofický ústav AVČR, disertační práce Teorie sekvenčních událostí).
• Kontakt
Adresa:
 Filosofický ústav AVČR, v.v.i.
Jilská 1
Praha 1
111 00
Telefon:
+420 222 220 099 / 354
Email
majer (at) flu.cas.cz
|
