Vzdělání
- numerická matematika, 1971 na PřF UP Olomouc
- PhDr. - logika, 1975 na FF UK Praha
- RNDr. - matematická informatika, 1979 na PřF UP Olomouc
- CSc. - dějiny filosofie, 1981 na FF UJEP Brno
- docent - logika, 1992 na FF MU Brno
- profesor - logika, 1997 na FF MU Brno
Současné zaměstnání
profesor katedry filosofie FF UP Olomouc
Předchozí zaměstnání
- 1971-77 Moravské železárny Olomouc (programátor)
- 1977-81 katedra filosofie, logiky a sociologie FF UJEP Brno
- 1981-86 Závody těžkého strojírenství Olomouc (systémový analytik)
- 1986-90 katedra výpočetní techniky PřF UP Olomouc (1990 vedoucí katedry)
- 1990- katedra filosofie FF UP Olomouc (1990-98 vedoucí katedry, 1997- proděkan pro vědeckobadatelské záležitosti)
Výzkumné zájmy
- klasická logika - teorie důkazu a formální systémy
- neklasické logiky - deontická logika a její aplikace v právních vědách
- logická analýza přirozeného jazyka
- analytická filosofie
- logika jako servisní disciplína filosofie - filosofie jazyka.
Bibliografie
Monografie
- Trojhodnotová logika. FF UK Praha, 1975.
- Sémantické kontroly v Cobolu T200. PF UP Olomouc, 1979.
- Normativní logika a normativní teorie. FF UJEP Brno, 1980.
- Normativní logika a normativní systémy. FF MU Brno, 1991.
- Logika a logické systémy. Votobia Olomouc, 1992.
- Logika. Terminologický a výkladový slovník. Ateliér Milata Ostrava, 1994. (s J. Hrubešem)
- Formální logika. FIN Olomouc, 1995.
- Filozofická logika: nová cesta? Olomouc 2000. (s P. Maternou)
- Logika a právo. C. H. Beck Praha, 2001.
- Klasická logika. VUP Olomouc, 2001.
- Jazyk Logika Filozofie. VUP Olomouc, 2002.
- Logika a právo. 2., doplněné vydání. C. H. Beck Praha, 2004.
- Logika a právo, 3. vydání. C. H. Beck Praha, 2011.
Skripta
- Diskrétní matematika. VUP Olomouc, 1989.
- Algoritmy matematické logiky. VUP Olomouc, 1990.
- Klasická logika. VUP Olomouc, 1991.
- Logistické systémy. VUP Olomouc, 1992.
- Formální deontika. VUP Olomouc, 1994.
- Logika možných světů I. VUP Olomouc, 1995.
- Logika možných světů II. VUP Olomouc, 1995.
- Logika možných světů III. VUP Olomouc, 1997.
- Logika pro právníky. PF UP, 2003.
III. Studie
- O "pravdivosti" a "prospěšnosti". Estetika, XV, 2 (s J. Gabrielem).
- Charakteristika příkazu IF pomocí modalit. SPFFBU, B 26/25, 1977-78.
- Jazyk a poznání. FF UJEP Brno 1980.
- Normativní teorie a realita. SPFFBU, B 28, 1981.
- Dedukce v normativních soustavách. SPFFBU, B 29, 1982.
- Normativní logika s kvantifikátory. SPFFBU, B 30, 1983.
- Normativní soustavy a konzistence. SPFFBU, B 31, 1984.
- Poznávací hodnota norem. Sborník: Jiřina Popelová, filozofka a učitelka filozofie. FF UJEP Brno, 1984.
- Modifikace normativní logiky. SPFFBU, B 32, 1985.
- Filosofie z hlediska kybernetiky. Sborník: Filozofie v dějinách a současnosti. FF UJEP Brno, 1985.
- Využití neklasických logik v umělé inteligenci. ÚFS ČSAV Praha, 1986.
- Konzistence normativních systémů. ÚFS ČSAV Praha, 1987.
- Klasifikace norem. SPFFBU, B 34, 1987.
- Time Conditional Propositions. AUPO Mathematica XXVII, 1988.
- Normy a logika. ÚFS ČSAV Praha, 1988.
- Individualised Normative Logic. AUPO Mathematica XXVIII, 1989.
- Individualizace normativní logiky. Teorie rozvoje vědy XIII/1 1989.
- Metody dokazování teorémů výrokového počtu v Prologu. ÚFS ČSAV Praha, 1989.
- Propositional Calculus Proving Methods in Prolog. AUPO Mathematica XXIX, 1990.
- Automated Theorem Proving in Monadic Predicate Calculus. AUPO Mathematica XXX, 1991.
- Normativní logika a čas. AUPO Philosophica I, 1993.
- O analytické metodě. Sborník Myśl systematyczna i historyczna w badaniach filozoficznych. Katowice 1995.
- Logika i filozofia. Sborník Filozofia jako przetwarzanie idei w człowieku. Katowice 1997.
- Logika a filosofie. AUPO Philosophica III, 1997.
- Interpretacja kontextowa. Sborník Człowiek - Technika - Środowisko (człowiek współczesny wobec wyzwań końca wieku). Katowice 1998.
- Logika i normy. In: Przybliżanie przeszłości. Katowice 1998.
- Dzisiejsza filozofia w Czechach. Principia - Ekspres Filozoficzny 22. Kraków czerwiec 1999.
- An Ontological Interpretation of Norms. 11th International Congress of Logic, Methodology and Philosophy of Science - Volume of Abstracts. August 20-26, 1999 - Cracow, Poland.
- An Interpretation of the Logic of Norms. AUPO Philosophica IV, 2000.
- Dedukce v transparentní intenzionální logice. AUPO Philosophica IV, 2000.
- Trzy uwagi o filozofii postanalyticznej. Filozofia nauki, 3-4, VII, 00. (Warszawa 2000)
- Deontic Modalities in Transparent Intensional Logic. in: Childers T., Palomäki J. (ed.): Between Words and Worlds. Filosofia, Praha 2000.
- O pokroku (obratem k jazyku). Filosofický časopis, roč. 49, č. 1, 2001.
- Systemy normatywne. Principia, tom XXIX, Kraków 2001.
- Podważalne rozumowania deontyczne. Ruch filozoficzny, tom LVIII, numer 2, rok 2001.
- Fakt ewolucji? In: Kiepas A. (ed.): Człowiek wobec wyzwań racjonalności. Katowice 2002.
- Právo na tenkém ledě. In: FILOSOFIA KAI SUNOUSIA, VUP Olomouc,2002.
- Obsah a rozsah pojmu. AUPO Philosophica V.
- Logika filosofických pověr. AUPO Philosophica V.
- Nevyužité role logiky v právu. In: České právní myšlení a logika - minulost a perspektivy. MU Brno, 2003.
- Bezespornost normativních systémů. In: Věda, poznání, komunikace, Filosofia Praha, 2004.
- Controversial Attempt: Contribution to the Legitimation of Science and Technology. In: Rationality Today - Challenges, Problems, Changes, Wydawnictwo U. Śl. Katowice, 2003.
- Logika filozoficznych zabobonów. in: Ojciec Józef Bocheński. Drogi źycia i myślenia filozoficznego. W stulecie urodzin Uczonego. Gnome – Wydawnictwa Naukowe i Artystyczne Katowice, 2004.
- Otázky a rozkazy v logice. in: Čeština – univerzália a specifika, 5. Nakladatelství Lidové noviny Praha, 2004.
- Existují univerzální „globální“ hodnoty? in: Wartości i ich funkcje w kszta?towaniu cywilizacji globalnej. Wydawnictwo U. Śl. Katowice, 2004.
- K dualitě bytí a mětí. in: České právní myšlení a logika – minulost a perspektivy II. Masarykova univerzita Brno, 2005.
- Analytický teista Alvin Plantinga. in: Aluze 2/05.
- Bytí a mětí - jedna ontologie. in: Filozofia i czas przes?y. Wydawnictwo U. Śl.Katowice, 2005.
- SPFFBU - Sborník prací filosofické fakulty brněnské university
- AUPO - Acta Universitatis Palackianae Olomucensis
- Kant v právní vědě. in: AUPO Philosophica VI. Olomouc 2005.
- Kant v právní vědě. in: Pytania i perspektywy transcendentalizmu. Wydawnictwo U. Śl. Katowice 2006.
- Co všechno víme? in: SPFFBU Studia philosophica, B 53, ročník 2006. Brno 2006.
- Hodnoty a logika. in: Pocta Evě Mrhačové. Ostravská univerzita, Filozofická fakulta, Ostrava 2006.
- Základní problémy argumentace. in: Cesty k vědě. Nakladatelství Olomouc, s. r. o., 2007.
- Rovnost a spravedlnost. in: Věda Filosofie Metodologie. Filosofia, Praha 2009.
- Usuzování nad povinnostmi. in: Časopis pro právní vědu a praxi, 2009, vol. XVII, no. 1, Brno 2009.
- Prawa czlowieka jako globalny interkulturowy problem. in: Filozofia wobec globalizacji. Oficyna Wydawnicza Waclaw Walasek, Katowice 2009.
- Problémy normativního usuzování. in: Acta Universitatis Brunensis, Iuridica, No 365. Brno 2009.
- O demokracii (obratem k jazyku). in: Acta Universitatis Brunensis, Iuridica, No 365. Brno 2009.
- Bytí a mětí. in: Studia philosophica 57, 2010, 1. Brno 2010.
- Demokracie, lidská práva a kultura. in: Proměny vědění od Augustina k dnešku. CDK 2010.
- Usuzování z přikázání. Studia theologica 13, č. 4 (46). Olomouc 2011.
- Information – Meaning – Token. in: IX polski zjazd filozoficzny Ksiega Streszczeń. Gliwice – Katowice – Wisla, 2012.
- Information – Meaning – Token. in: Ruch Filozoficzny, tom LXX, numer 1. Toruń 2013.
- A Critique of Pragmatic Reasoning. in: Czech and Slovak Journal of Humanities, Philosophica II/2013, Olomouc 2013.
- Informace vs data. in: Teorie vědy, XXXVI, mimořádné číslo, Praha 2014.
Spolupráce na slovnících
- Filosofický slovník. FIN Olomouc, 1995. (227 hesel)
- Všeobecná encyklopedie ve 4 svazcích. Nakladatelský dům OP Praha, 1996-98. - (20 hesel)
- Filosofický slovník. Nakladatelství Olomouc 1998. 2. rozšířené vydání. (18 nových a 129 přepracovaných hesel)
- Jiří Gabriel (ed.): Slovník českých filozofů. Masarykova univerzita v Brně, 1998. (3 hesla)
- Encyklopedický slovník češtiny. Nakladatelství Lidové noviny Praha 2002. (14 hesel)