Majer


RNDr. Ondrej Majer, CSc.


Oblasti zájmu

Konference

Publikace

Grantové projekty

CV

Kontakt

Texty k výuce


Oblasti zájmu

teorie her, dynamická logiky, logika kotrafaktuálů, modální logika, fuzzy logika, základy pravděpodobnosti

 

Konference

Organizační aktivity

Epistemic Aspects of Many-valued Logics, Prague International Colloquium, Praha 2010 - co-chair organizačního výboru

Foundations of Uncertainty: Probability and Its Rivals, Prague International Colloquium, Praha 2009 - co-chair organizačního výboru

Logic of Change ,Change of Logic, Prague International Colloquium, Praha 2008 - co-chair organizačního výboru

Uncertainty: Reasoning about Probability and Vagueness, Prague International Colloquium, Praha 2006 - co-chair organizačního výboru

Logic, Games and Philosophy: Foundational Perspectives, Prague International Colloquium, Praha 2004 - co-chair organizačního výboru

Prague International Colloquium on Formal Epistemology, Prague International Colloquium, Praha 2002 - chair organizačního výboru

Is Meaning Dynamic? Prague International Colloquium, Praha, 2001 - co-chair organizačního výboru


Přednášky na mezinárodních konferencích (výběr)

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

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

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

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 2011

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