Kontakt
Adresa:
Filosofický ústav Akademie věd ČR, v.v.i.
Jilská 1
Praha 1
111 00
Telefon:
(+420) 221 183 354
Email:
majer (at) flu.cas.cz
O mně
Oblasti zájmu
teorie her, dynamická logiky, logika kontrafaktuálů, modální logika, fuzzy logika, základy pravděpodobnosti
Vzdělání
MFF UK 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 v Praze.
Hodnost kandidáta věd (CSc.) v oboru Logika, Filosofický ústav AVČR, disertační práce
Teorie sekvenčních událostí.Současná pozice
- vědecký pracovník, oddělení logiky, Filosofický ústav AVČR, v.v.i.
Grantové projekty
Aktuálně řešené grantové projekty
- Základy logiky ve světle nových výsledků filosofie a vědy. GAČR (2013-2016, GA13-21076S)
člen řešitelského týmu
- Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia
MŠMT (4/2013-6/2015, OPVK - 2.2 Vysokoškolské vzdělávání, CZ.1.07/2.2.00/28.0216)
koordinátor projektu na FLÚ - Modelování vágních kvantifikátorů v matematické fuzzy logice GAČR (2015-2017, P202-I1897-N25)
člen řešitelského týmu na Ústavu informatiky AVČR
Ukončené grantové projekty
- Vícehodnotový přístup k optimům a ekvilibriím v ekonomii. GAČR (2012-2014, GAP402/12/1309)
člen řešitelského týmu - Herně-teoretický přístup k vícehodnotovým logikám. MŠMT (2013-2014, 7AMB13AT014)
řešitel na Ústavu informatiky AVČR, v.v.i. - Formální a historický přístup k epistemologii. GAČR (2010-2012, GAP401/10/1504)
člen řešitelského týmu - Logické modely usuzovaní s vágními informacemi. GAČR (2008-2011, GEICC/08/E018), ESF, EUROCORES Scheme, LogICCC Programme
spoluřešitel - Dynamické formální systémy. Dynamické formální systémy GAAV (2007-2010, IAA900090703), společný projekt s Ústavem informatiky a Matematickým ústavem AVČR
řešitel - Logická analýza - teorie a aplikace. Komplexní výzkumný projekt doplněný vědecko-organizačními a publikačními programy. GAČR (2007-2009, GA401/07/0904)
člen řešitelského týmu - Logické základy sémantiky a reprezentace znalostí. Doktorský grantový projekt GAČR (2003-2007, 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, GAČR (2004-2006, GA401/04/0117)
člen řešitelského týmu
Vybrané publikace
Vybrané publikace
Sedlár, I., Majer, O.: Modelling sources of inconsistent information in paraconsistent modal logic. In: Omori, H., Wansing, H., eds. New Essays on Belnap-Dunn Logic. Cham: Springer, 2019, s. 293-310. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 418.
Běhounek, L., Majer O.: Fuzzy intensional semantics, Journal of Applied Non-Classical Logics, 2018, 28(4), 348-388,
Fermüller, Ch. G., Majer, O.: On semantic games for Łukasiewicz logic. Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Springer, Cham, 2018. 263-278.
Lupkowski, P., Majer, O., Peliš, M., Urbanski, M.: Epistemic Erotetic Search Scenarios. Logic and Logical Philosophy. 2018, 27(3), 301-328.
Childers, Timothy, Majer, O.: Eliciting Uncertainties: A Two Structure Approach. Studia Logica. 2018, 106(3), 615-636.
Bílková, M., Majer, O., Peliš, M.: Epistemic logics for sceptical agents. Journal of Logic and Computation. 2016, 26(6), 1815-1841.
Fermüller, Ch. G., Majer, O.: Equilibrium Semantics for IF Logic and Many-Valued Connectives. International Tbilisi Symposium on Logic, Language, and Computation. Springer, Berlin, Heidelberg, 2015, 290-312.
Kroupa, T., Majer, O.: Optimal strategic reasoning with McNaughton functions. International journal of approximate reasoning, 2014, 55(6), 1458-1468.
Švarný, P., Majer, O., Peliš, M.: Erotetic epistemic logic in private communication protocol, in: The Logica Yearbook 2013, Dančák, M., Punčochář, V. (eds ), College Publications, London, 2014 , pp. 223-238
Majer, O., Peliš, M.: Interpretace znalosti v substrukturálních rámcích [Knowledge Interpretation in Substructural Frames], Organon F 20 (Supplementary Issue 1), 2013, pp. 79-98
Peliš, M., Majer, O.: Logic of Questions and Public Announcements, in: Logic, Language, and Computation(Eighth International Tbilisi Symposium on Logic, Language, and Computation 2009, Lecture Notes in Computer Science vol. 6618), Bezhanishvili, N., Löbner, S., Schwabe, K., Spada, L. (eds), Springer, 2011, pp. 145-157
Majer, O.: Comments on Many-Valued Semantics for Vague Counterfactuals by Marco Cerami and Pere Pardo, in: Understanding vagueness, Cintula, P., Fermüller, C.; Godo, L., Hájek, P. (eds), College Publications, London, 2011, pp. 363-366
Majer, O.: Comments on Vagueness, Tolerance and Non-Transitive Entailment by Robert van Rooij, in: Understanding vagueness, Cintula, P., Fermüller, C.; Godo, L., Hájek, P. (eds), College Publications, London, 2011, pp. 223-227
Běhounek, L., Majer, O.: A Semantics for Counterfactuals Based on Formal Fuzzy Logic, in: The Logica Yearbook 2010, Peliš, M., Punčochář, V. (eds), 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, pp. 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), ILLC, Amsterdam, 2010, pp. 56-68
Childers, T., Majer, O.: Kondicionály [Conditionals], in: Logika a přirozený jazyk, Svoboda, V. et al., Filosofia, Praha, 2010, pp. 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, pp. 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, pp. 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, pp. ix-xxiii
Majer, O., Peliš, M.: Epistemic logics for relevant agents, in: The Logica Yearbook 2008, Peliš, M. (ed.), College Publications, London, 2009, pp. 123-135
van Ditmarsch, H., Hill, B., Majer, O.: Logic of change, change of logic, in: Synthese 171(2), 2009, pp. 227-355
Majer, O.: Logické hry a pravdivostní hodnoty [Logical games and truth values], in: Hra, věda a filosofie, Nosek, J. (ed.), Filosofia, Praha, 2006, pp. 131-141
Majer, O.: Hry a význam logických spojek [Games and the meaning of logical connectives], in: Jazyk - logika - věda, Sousedík, P. (ed.), Filosofia, Praha, 2005, pp. 223-232
Majer, O.: Probability and possible worlds, in: Possibility and Reality - Metaphysics and Logic, Rott, H., Horák, V. (eds), Ontos Verlag, Frankfurt-London, 2003, pp. 139-148
Majer, O.: Teoria zdarzen sekvencyjnych, in: Filozofia Nauki X, 37(1), 2002, pp. 83-108
Majer, O.: Logika a pravděpodobnost, Miscellanea Logica III, Bendová, K., Švejdar, V. (eds), Karolinum, Praha, 2002, pp. 71-80
Majer, O.: Global probability for possible worlds, in: The Logica Yearbook 2001, Childers, T., Majer, O. (eds), Filosofia, Praha, 2002, pp. 195-205
Majer, O., Childers T.: Má dnes smysl mluvit o logickém pojetí pravděpodobnosti? [Does it make sense to speak about the logical approach to probability today?], in: Úvahy o pravdivosti, Nosek, J. (ed), Filosofia, Praha 2001, pp. 179-192
Majer, O.: Subjektivní pravděpodobnost a realistické možné světy [Subjective probability and realistic possible worlds], in: Filosofický časopis 3/49, 2001, pp. 495-505
Majer, O.: Counterfactual probability redistributed, in: Reports on Philosophy 20/2000, Jagellonian University Press, pp. 37-49
Ediční činnost
Childers, T., Majer, O. (eds): Epistemic Aspects of Many-Valued Logics, special issue of Erkenntnis 79(5), 2014, 100 pages
Childers, T., Majer, O. (eds): Interpreting Probability, special issue of Journal of Logic, Language and Information 21(2), 2012, 95 pages
Majer, O., Pietarinen, A., Tulenheimo, T. (eds): Games: Unifying Logic, Language, and Philosophy, Springer, 2009, 374 pages
van Ditmarsch, H., Hill, B., Majer, O. (eds): Knowledge, Rationality & Action. Logic of Change, Change of Logic, special issue of Synthese 171(2 (November)), 2009, 129 pages
Majer, O., Childers, T., (eds): The Logica Yearbook 2002, Filosofia, Praha, 2003, 272 pages
Majer, O., Childers, T., (eds): The Logica Yearbook 2001, Filosofia, Praha, 2002, 268 pages
Majer, O. (ed.): Topics in Conceptual Analysis and Modeling, Filosofia, Praha, 2000, 408 pages
Překlady
Childers, T.: Co je pravděpodobnost? (Philosophy and Probability), Aleph, Bratislava, 2011, 228 pages
Konference
Organizační činnost
ManyVal 2013: Games, Decisions and Rationality, Praha 2013
Prague Workshop on Non-Classical Epistemic Logics, Praha 2013
Non–Classical Epistemic Logics, workshop. Praha 2012
Prague Workshop on Epistemic Logics, Praha 2011
Prague Workshop on Logics of Questions, Praha 2011
Epistemic Aspects of Many-valued Logic, Prague International Colloquium, Praha 2010, co-chair of the organising committee
Foundations of Uncertainty: Probability and Its Rivals, Prague International Colloquium, Praha 2009, co-chair of the organising committee
Logic of Change, Change of Logic, Prague International Colloquium, Praha 2008, co-chair of the organising committee
Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Praha 2006, co-chair of the organising committee
Logic, Games and Philosophy: Foundational Perspectives, Prague International Colloquium, Praha 2004, co-chair of the organising committee
Prague International Colloquium on Formal Epistemology, Prague International Colloquium, Praha 2002, chair of the organising committee
Is Meaning Dynamic? Prague International Colloquium, Praha 2001, co-chair of the organising committe
Výběr konferenčních přednášek
Strategic Games over Lukasiewicz Logic (with T. Kroupa) , TbiLLC 2013: Tenth International Tbilisi Symposium on Language, Logic and Computation (Gudauri, Georgia), September 2013
Erotetic Logics in Private Communication Protocol (with P. Švarný and M. Peliš), Logica 2013 (Hejnice), June 2013
A Semantics for Counterfactuals Based on Formal Fuzzy Logic, UniLog 2013 (Rio de Janeiro, Brasil), April 2013
Two Kinds of Game Semantics for Fuzzy Logics, Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives (Riga, Latvia), May 2012
Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions, Logic, Algebra and Truth Degrees 2012 (Kanazawa, Japan), September 2012
Substructural epistemic logics, Non-classical Modal and Predicate Logics (Guangzhou, China), December 2011
Relevant Agents, 14th Congress of Logic, Metodology and Philosophy of Science (Nancy, France), June 2011
Evaluation Games in Fuzzy Logic, Proof and Dialogue (Tübingen, Germany), February 2011
Lukasiewicz Logic as a Negotiation Game, Dialogues, Inference, and Proof - Logical and Empirical Perspectives (Vienna, Austria), November 2010
A representationalist account of fuzzy attitudes (with T. Childers), Prague International Colloquium: Epistemic Aspects of Many-valued Logics (Prague), September 2010
Non-safe Structures in Fuzzy Logics and Game Semantics and Semantics of counterfactuals in higher-order fuzzy logic (with L. Běhounek), LATD 2010 (Prague), September 2010
A Semantics for Counterfactuals Based on Formal Fuzzy Logic (with L. Běhounek), Logica 2010 (Hejnice), July 2010
Questions as Public Announcements, Eighth International Tbilisi Symposium on Language, Logic and Computation (Bakuriani, Georgia), September 2009
Representing Subjective Probabilities (with T. Childers), Prague International Colloquium: Foundations of Uncertainty: Probability and Its Rivals (Prague), September 2009
Logic of Questions from the Viewpoint of Dynamic Epistemic Logic (with M. Peliš), Logica 2009 (Hejnice), June 2009
Epistemic Logics for Relevant Agents (with M. Peliš), Logica 2008 (Hejnice), June 2008
Epistemic Logics in Relevant Framework (with M. Peliš), Logic Colloquium 2008 (Bern, Switzerland), July 2008
Relevant Framework for Knowledge Representation (with M. Peliš), ECAP 6: Sixth European Congress of Analytic Philosophy (Krakow, Poland), August 2008
Fuzzy Logic and Betting Games, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning (Amsterdam, The Netherlands), June 2007
Probabilistic Representation of Fuzzy Logics, Logic Colloquium 2007 (Wroclav, Poland), July 2007
Probabilistic Extension of IF Logic, Progic07: The Third Workshop on Combining Probability and Logic (Kent, GB), September 2007
Game-theoretic Interpretation of Lukasiewicz Logic (with P. Cintula), Logica 2006 (Hejnice), June 2006
Evaluation games for fuzzy logics, Logic Colloquium 2006 (Nijmegen, The Netherlands), July-August 2006
Probabilistic Extension of Fuzzy Logic, Towards Mathematical Philosophy (Toruň, Poland), August 2006
Evaluation Games for Fuzzy Logics, 1st International Congress on Universal Logic (Montreux, Switzerland), April 2005
Betting on Fuzzy Logic, Prague International Colloquium on Dutch Book Arguments (Prague), August 2005
