Materna was introduced to philosophy and logic by his father, Miloš Materna (9 April 1892 – 4 August 1951), a member of a group of interwar and postwar Czech logicians propagating and popularizing neopositivism in Czechoslovakia.[1] In 1949, he enrolled at the Faculty of Arts of Charles University to study philosophy and psychology. He graduated in 1953, and in 1957 he completed his postgraduate studies by defending a dissertation called Zu einigen Fragen der modernen Definitionslehre, published in 1959.
In 1965, he became an Assistant Professor and a year later an Associate Professor (Docent) at Masaryk University, which he was forced to leave in 1976 due to a number of oppressive restrictions imposed on him by the communist authorities. He could return to teach and carry out research at the university only after the fall of the communist regime in Czechoslovakia. In 1991, he was promoted to the rank of Full Professor of Masaryk University.
"... Based on the procedural semantics of TIL, I developed a new and original theory of concepts, where concept is a closed TIL construction. This is a realistic, anti-contextualist and compositional remarkable adjustment of Frege's notion of concept. My theory of concepts is thus closer to Bolzano's significant ideas, and in many aspects also to Church's conception." [2]
Materna's scholarly activities have always extended beyond teaching, research and editorial work, and also include many translations (works by Church, Grzegorczyk, Kotarbiński, Schaff, Tarski) and numerous textbooks for university students and general public.
Materna, Pavel (2004) Conceptual Systems. Berlin: Logos Verlag. ISBN3832506365.
Materna, Pavel (1998) Concepts and Objects. Helsinki: The Philosophical Society of Finland. ISBN9519264345.
Materna, Pavel & Petr Kolář (1993) "On the Nature of Facts" IN Philosophie und Logik. Perspectives in Analytical Philosophy. Berlin: Walter De Gruyter, 77–96. ISBN3110140691.
Materna, Pavel (1985) "“Linguistic constructions” in the transparent intensional logic". Prague Bulletin of Mathematical Linguistics43: 5–24. ISSN 0032-6585.
↑ Materna, Pavel (1998) "Miloš Materna" IN Slovník českých filozofů [Dictionary of Czech Philosophers]. Brno: Masaryk University Press, p. 383. ISBN8021018402.
↑ Materna, Pavel & Petra Ivaničová: "Prof. PhDr. Pavel Materna, CSc.". Department of Logic of the Czech Academy of Sciences. Cited 2020-04-21.
Sources
Gabriel, Jiří (2015) "Brněnská léta Pavla Materny" [The Brno years of Professor Pavel Materna]. Studia philosophica62 (2): 67–73. ISSN 2336-453X.
In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word plant include properties such as "being composed of cellulose", "alive", and "organism", among others. A comprehension is the collection of all such intensions.
Ruth Barcan Marcus was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula.. Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century’s most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – true".
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s.
A possible world is a complete and consistent way the world is or could have been. They are widely used as a mathematical tool in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal and natural languages usually trying to capture the pre-theoretic notion of entailment.
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician.
Peter Ludlow, who also writes under the pseudonym Urizenus Sklar, is an American philosopher of language. He is noted for interdisciplinary work on the interface of linguistics and philosophy—in particular on the philosophical foundations of Noam Chomsky's theory of generative linguistics and on the foundations of the theory of meaning in linguistic semantics. He has worked on the application of analytic philosophy of language to topics in epistemology, metaphysics, and logic, among other areas.
Pavel Tichý was a Czech logician, philosopher and mathematician.
Transparent intensional logic is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus.
Jan Firbas, was a Czech linguist and a prominent representative of the Prague School of linguistics.
Paul Gochet was a Belgian logician, philosopher, and emeritus professor of the University of Liège. His research was mainly in the fields of logic and analytic philosophy. He is perhaps best known for his works on Quine's philosophy.
Following the developments in formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal logic have tended to be termed either philosophy of logic or philosophical logic if no longer simply logic.
This is an index of articles in philosophy of language
In linguistics, formal semantics seeks to understand linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a natural language and the world that supports meaningful discourse. The mathematical tools used are the confluence of formal logic and formal language theory, especially typed lambda calculi.
In linguistics, functional sentence perspective (FSP) is a theory describing the information structure of the sentence and language communication in general. It has been developed in the tradition of the Prague School of Functional and Structural Linguistics together with its sister theory, Topic-Focus Articulation.
Aleš Svoboda, was a Czech linguist and a prominent representative of the Prague School of linguistics.
Logic is the systematic study of valid rules of inference, i.e. the relations that lead to the acceptance of one proposition on the basis of a set of other propositions (premises). More broadly, logic is the analysis and appraisal of arguments.
Libuše Dušková is a Czech linguist specializing in the fields of contrastive analysis of English grammar and functional syntax, member of the Prague Linguistic Circle and key representative of the Prague School of Linguistics. She is Professor Emerita of English Linguistics at Charles University. Her research spans a broad spectrum of topics in English linguistics, namely the verb phrase, the noun phrase, simple and complex sentences, the grammar-text interface, and aspects of the theory of Functional Sentence Perspective viewed through the prism of Jan Firbas' approach.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
