Related Research Articles
Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and natural languages usually trying to capture the pre-theoretic notion of logical consequence.
A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.
Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic.
A performative contradiction arises when a speech-act rests on non-contingent presuppositions that contradict the proposition asserted in that speech-act.
Daniel Kolak is a Croatian-American philosopher who works primarily in philosophy of mind, personal identity, cognitive science, philosophy of science, philosophy of mathematics, philosophy of logic, philosophy of religion, and aesthetics. He is professor of philosophy at the William Paterson University of New Jersey and an Affiliate of the Rutgers University Center for Cognitive Science (RuCCS). Kolak is the founder of the philosophical therapy known as cognitive dynamics.
The K. JonBarwise Prize was established in 2002 by the American Philosophical Association (APA), in conjunction with the APA Committee on Philosophy and Computers, on the basis of a proposal from the International Association for Computing and Philosophy for significant and sustained contributions to areas relevant to philosophy and computing.
The World Congress of Philosophy is a global meeting of philosophers held every five years under the auspices of the International Federation of Philosophical Societies (FISP). First organized in 1900, these events became firmly established after the Second World War. Each World Congress is sponsored by one of the member societies in a different country, which assumes responsibility for the organization of that Congress. The purpose of these events is to contribute to the development of professional relations between philosophers of all countries, promote philosophical education, and contribute to the impact of philosophical knowledge on global problems. The 24th World Congress of Philosophy was held in Beijing in August 2018. The 25th World Congress of Philosophy will take place in Rome in 2024.
The KK thesis or KK principle is a principle of epistemic logic which states that "If you know that P is the case then you know that you know that P is the case." This means that one cannot know that P is, if one does not know whether one's knowledge of P is correct. Its application in science can be expressed in the way that it must not only justify its knowledge claims but it must also justify its method of justifying. The principle is also described as knowledge-reflexivity contention.
Synthese is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name Synthese finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno, Wiebe van der Hoek, and Kristie Miller.
In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction between what is contingent and what is necessary has been challenged since antiquity.
Meinong's jungle is the name given by Richard Routley (1980) to the repository of non-existent objects in the ontology of Alexius Meinong.
Barry Loewer is a distinguished professor of philosophy at Rutgers University and director of the Rutgers Center for Philosophy and the Sciences.
"Some Remarks on Logical Form" (1929) was the only academic paper ever published by Ludwig Wittgenstein, and contained Wittgenstein's thinking on logic and the philosophy of mathematics immediately before the rupture that divided the early Wittgenstein of the Tractatus Logico-Philosophicus from the late Wittgenstein. The approach to logical form in the paper reflected Frank P. Ramsey's critique of Wittgenstein's account of color in the Tractatus, and has been analyzed by G. E. M. Anscombe and Jaakko Hintikka, among others. In a letter to the editor of Mind in 1933 Wittgenstein referred to it as "a short article".
The History of Human Marriage is an 1891 book by the Finnish philosopher and anthropologist Edvard Westermarck that provides an overview of marriage over time.
Ethical Relativity is a 1932 book by the Finnish philosopher Edvard Westermarck, one of his main works.
1929 in philosophy
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.
Leila Tuulikki Haaparanta is a Finnish philosopher who works in analytic philosophy and the philosophy of logic. She is retired from the University of Tampere as a professor emerita.
References
- ↑ "Jaakko Hintikka". The Royal Swedish Academy of Sciences. Retrieved 12 January 2013.