|
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (; ; 12 January 1929 – 12 August 2015) was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic. Life and career Hintikka was born in Helsingin maalaiskunta (now Vantaa). In 1953, he received his doctorate from the University of Helsinki for a thesis entitled ''Distributive Normal Forms in the Calculus of Predicates''. He was a student of Georg Henrik von Wright. Hintikka was a Junior Fellow at Harvard University (1956-1969), and held several professorial appointments at the University of Helsinki, the Academy of Finland, Stanford University, Florida State University and finally Boston University from 1990 until his death. He was the prolific author or co-author of over 30 books and over 300 scholarly articles, Hintikka contributed to mathematical logic, philosophical logic, the philosophy of mathematics, epistemology, language theory, and the philosophy of scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre-Socratic philosophy, pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" , "to love" and σοφία ''Sophia (wisdom), sophía'', "wisdom". History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology (the nature and origin of the universe), while rejecting unargued fables in place for argued theory, i.e., dogma superseded reason, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Library Of Living Philosophers
The ''Library of Living Philosophers'' is a series of books conceived of and started by Paul Arthur Schilpp in 1939; Schilpp remained editor until 1981. The series has since been edited by Lewis Edwin Hahn (1981–2001), Randall Auxier (2001–2013), and Douglas R. Anderson (2013–2015). The ''Library of Living Philosophers'' is currently edited by Sarah Beardsworth (2015-present). Each volume is devoted to a single living philosopher of note, and contains, alongside an "intellectual autobiography" of its subject and a complete bibliography, a collection of critical and interpretive essays by several dozen contemporary philosophers on aspects of the subject's work, with responses by the subject. The Library was originally conceived as a means by which a philosopher could reply to their interpreters while still alive, hopefully resolving endless philosophical disputes about what someone "really meant." While its success in this line has been questionable—a reply, after all, can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein (''Tractatus Logico-Philosophicus''), the Vienna Circle, Logical positivism, logical positivists, and Willard Van Orman Quine. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with philosophers such as Socrates, Plato, Aristotle, and the Stoics. Linguistic speculation predated systematic descriptions of grammar which emerged in India and in Greece. In the dialogue ''Cratylus (dialogue), Cratylus'', Plato considered the question of whether ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemology
Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowledge in the form of skills, and knowledge by acquaintance as a familiarity through experience. Epistemologists study the concepts of belief, truth, and justification to understand the nature of knowledge. To discover how knowledge arises, they investigate sources of justification, such as perception, introspection, memory, reason, and testimony. The school of skepticism questions the human ability to attain knowledge while fallibilism says that knowledge is never certain. Empiricists hold that all knowledge comes from sense experience, whereas rationalists believe that some knowledge does not depend on it. Coherentists argue that a belief is justified if it coheres with other beliefs. Foundationalists, by contrast, maintain th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Mathematics
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathematical objects are purely abstract entities or are in some way concrete, and in what the relationship such objects have with physical reality consists. Major themes that are dealt with in philosophy of mathematics include: *''Reality'': The question is whether mathematics is a pure product of human mind or whether it has some reality by itself. *''Logic and rigor'' *''Relationship with physical reality'' *''Relationship with science'' *''Relationship with applications'' *''Mathematical truth'' *''Nature as human activity'' (science, the arts, art, game, or all together) Major themes Reality Logic and rigor Mathematical reasoning requires Mathematical rigor, rigor. This means that the definitions must be absolutely unambiguous and th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Logic
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic. An important issue for philosophical logic is the question of how to classify the great variety of non-classical logical systems, many of which are of rather recent origin. One form of classification often found in the literature is to distinguish between extended logics and deviant logics. Logic itself can be defined as t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Florida State University
Florida State University (FSU or Florida State) is a Public university, public research university in Tallahassee, Florida, United States. It is a senior member of the State University System of Florida and a preeminent university in the state. Chartered in 1851, it is located on Florida's oldest continuous site of higher education. Florida State University maintains 17 colleges, as well as 58 centers, facilities, labs, institutes, and professional training programs. In 2023, the university enrolled 43,701 students from all 50 states and 135 countries. Florida State is home to Florida's only national laboratory, the National High Magnetic Field Laboratory, and was instrumental in the commercial development of the anti-cancer drug Taxol. Florida State University also operates the John & Mable Ringling Museum of Art, the State Art Museum of Florida and one of the nation's largest museum/university complexes. The university is accredited by the Southern Association of College ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvard University
Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyman John Harvard (clergyman), John Harvard, it is the oldest institution of higher learning in the United States. Its influence, wealth, and rankings have made it one of the most prestigious universities in the world. Harvard was founded and authorized by the Massachusetts General Court, the governing legislature of Colonial history of the United States, colonial-era Massachusetts Bay Colony. While never formally affiliated with any Religious denomination, denomination, Harvard trained Congregationalism in the United States, Congregational clergy until its curriculum and student body were gradually secularized in the 18th century. By the 19th century, Harvard emerged as the most prominent academic and cultural institution among the Boston B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Predicate Calculus
{{disambiguation ...
Predicate or predication may refer to: * Predicate (grammar), in linguistics * Predication (philosophy) * several closely related uses in mathematics and formal logic: **Predicate (mathematical logic) ** Propositional function **Finitary relation, or n-ary predicate ** Boolean-valued function ** Syntactic predicate, in formal grammars and parsers **Functional predicate * Predication (computer architecture) *in United States law, the basis or foundation of something ** Predicate crime **Predicate rules, in the U.S. Title 21 CFR Part 11 * Predicate, a term used in some European context for either nobles' honorifics or for nobiliary particles See also * Predicate logic First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables ove ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Semantics
Game semantics is an approach to Formal semantics (logic), formal semantics that grounds the concepts of truth or Validity (logic), validity on Game theory, game-theoretic concepts, such as the existence of a winning strategy for a player. In this framework, logical formulas are interpreted as defining games between two players. The term encompasses several related but distinct traditions, including dialogical logic (developed by Paul Lorenzen and Kuno Lorenz in Germany starting in the 1950s) and game-theoretical semantics (developed by Jaakko Hintikka in Finland). Game semantics represents a significant departure from traditional Model theory, model-theoretic approaches by emphasizing the dynamic, interactive nature of logical reasoning rather than static truth assignments. It provides intuitive interpretations for various logical systems, including classical logic, intuitionistic logic, linear logic, and modal logic. The approach bears conceptual resemblances to ancient Socratic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemic Logic
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics, and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Saul Kripke. Historical development Many papers were written in the 1950s that spoke of a logic of knowledge in passing, but the Finnish philosopher G. H. von Wright's 1951 paper titled ''An Essay in Modal Logic'' is seen as a founding document. It was not unti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
