Hannes Leitgeb (born June 26, 1972,

Salzburg Salzburg (, ; literally "Salt-Castle"; bar, Soizbuag, label=Bavarian language, Austro-Bavarian) is the List of cities and towns in Austria, fourth-largest city in Austria. In 2020, it had a population of 156,872. The town is on the site of the ...

) is an Austrian

philosopher A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...

and

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

. He is Professor of Philosophy at the Ludwig Maximilian University of Munich and has received a Humboldt Professorship in 2010. His areas of research include

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

(theories of truth and

modality Modality may refer to: Humanities * Modality (theology), the organization and structure of the church, as distinct from sodality or parachurch organizations * Modality (music), in music, the subject concerning certain diatonic scales * Modalitie ...

paradox A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically u ...

, conditionals, nonmonotonic reasoning, dynamic

doxastic logic Doxastic logic is a type of logic concerned with reasoning about beliefs. The term ' derives from the Ancient Greek (''doxa'', "opinion, belief"), from which the English term ''doxa'' ("popular opinion or belief") is also borrowed. Typically, a d ...

epistemology Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Episte ...

(

belief A belief is an attitude that something is the case, or that some proposition is true. In epistemology, philosophers use the term "belief" to refer to attitudes about the world which can be either true or false. To believe something is to take i ...

inference Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in ...

belief revision Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational age ...

, foundations of probability,

Bayesianism Bayesian probability is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation representing a state of knowledge or as quantification o ...

philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's ...

(

structuralism In sociology, anthropology, archaeology, history, philosophy, and linguistics, structuralism is a general theory of culture and methodology that implies that elements of human culture must be understood by way of their relationship to a broader ...

, informal provability, abstraction, criteria of identity),

philosophy of language In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, ...

(

indeterminacy of translation The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book ''Word and Object'', which gathered together and refined much of Qu ...

compositionality In semantics, mathematical logic and related disciplines, the principle of compositionality is the principle that the meaning of a complex expression is determined by the meanings of its constituent expressions and the rules used to combine them. ...

), cognitive science (symbolic representation and

neural networks A neural network is a network or circuit of biological neurons, or, in a modern sense, an artificial neural network, composed of artificial neurons or nodes. Thus, a neural network is either a biological neural network, made up of biological ...

, metacognition),

philosophy of science Philosophy of science is a branch of philosophy concerned with the foundations, methods, and implications of science. The central questions of this study concern what qualifies as science, the reliability of scientific theories, and the ultim ...

(empirical content, measurement theory), and

history of philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...

(

logical positivism Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion o ...

Carnap Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. ...

, Quine). Leitgeb studied mathematics at the University of Salzburg and graduated with a Master's degree in 1997. After his PhDs in mathematics (1998) and philosophy (2001), also in Salzburg, he was offered a position as assistance professor at the university's faculty of philosophy. In 2003 he received an Erwin Schrödinger scholarship by the Austrian Science Fund to do research at the Stanford University Department of Philosophy/CSLI. From 2005 on, he worked at the Departments of Philosophy and Mathematics in Bristol. Two years later, he became Professor of Mathematical Logic and Philosophy of Mathematics. In autumn 2010, he followed an invitation to the Chair of Logic and Philosophy of Language at the Ludwig Maximilian University of Munich, where he became director of the Munich Center for Mathematical Philosophy. In 2016 he became a member of the

German Academy of Sciences Leopoldina The German National Academy of Sciences Leopoldina (german: Deutsche Akademie der Naturforscher Leopoldina – Nationale Akademie der Wissenschaften), short Leopoldina, is the national academy of Germany, and is located in Halle (Saale). Founded ...

References

{{DEFAULTSORT:Leitgeb, Hannes 21st-century Austrian philosophers Living people Philosophers of science German logicians German philosophers 1972 births German male writers Members of the German Academy of Sciences Leopoldina