Roman Bek

Roman Bek (born December 16, 1924 in Pilsen ) is a Czech philosopher and lecturer.

Life

After graduating from the electrotechnical industrial school in 1943, Bek worked in various professions, after the war as a technician in the West Bohemian electricity works. He finished his distance learning philosophy at the Charles University in Prague in 1959. In 1957 he took up the position of assistant at the Czech Technical University in Prague . He lectured philosophy with a focus on the philosophical problems of the physical sciences and from 1968 on logic, systems theory and formal languages. In 1962 he completed his habilitation with a thesis on the problem of determinism in quantum mechanics . He wrote a further habilitation thesis in 1964 and his doctoral thesis in 1978. In 1982 he was appointed university professor.

Works

His scientific and educational work was mainly focused on the philosophical aspects of physics and technical science. He dealt with the semantic-logical problems of mathematics in these subjects. He devoted part of his publications to temporal logic.

Publications

• Úvod do logiky a metodologie vědy I – II, 1968, 1969
• Teorie formálních jazyků, 1978
• Teorie modelů a formálních jazyků, 1979
• Types of Formal Models of Higher Order Large-Scale Dynamic Systems. Modeling a. Simulation, Proceedings, Lyon 1981
• Sémantika přesného popisu reality ve fyzikálně-technických vědách, 1982
• Teorie systémů, 1988
• Logika (ČVUT script), 1996
• K popisu fyzikálních procesů pomocí klasifikatorických, topologických a metrických termínů, Teorie a metoda 1972
• Sémantické aspekty popisu reality pomocí přesných množin, Acta Polytechnica 1973
• To Explanation of Notion "Adequacy of Theoretical Language with Respect to Empirical Evidence", Teorie a metoda 1975
• Time Change of Objects a. Problem of their Identification, Cybernetika 1976
• O možnosti obsáhnout modální systémy v klasických jazykových systémech, Acta Polytechnica 1977
• Discourse on One Way in which a Quantum-Mechanical Language on the Classical Base Can be Built up, Cybernetika 1978
• O jazyku, myšlení a intuitivním myšlení při řešení odbornýchproblemémů, Acta Polytechnica 1983
• The Theory of Nonsubjective Expert Systems Based on Causal Analysis, Computers a. Artificial Intelligence, 1988
• Logika jako model mentálních procesů? Logica '89, 1990
• The Sources of Uncertainty a. Dealing with them in the Languages, Logica '90, 1991
• Logic, Cognitive Model a. Reality, Logica '94, 1994.