Related Research Articles
In analytic philosophy, anti-realism is the position that the truth of a statement rests on its demonstrability through internal logic mechanisms, such as the context principle or intuitionistic logic, in direct opposition to the realist notion that the truth of a statement rests on its correspondence to an external, independent reality. In anti-realism, this external reality is hypothetical and is not assumed.
Georg Wilhelm Friedrich Hegel was a German philosopher and one of the most influential figures of German idealism and 19th-century philosophy. His influence extends across the entire range of contemporary philosophical topics, from metaphysical issues in epistemology and ontology, to political philosophy, the philosophy of history, philosophy of art, philosophy of religion, and the history of philosophy.
Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction between sense and reference. Sense is given by the ideas and concepts associated with an expression while reference is the object to which an expression points. Semantics contrasts with syntax, which studies the rules that dictate how to create grammatically correct sentences, and pragmatics, which investigates how people use language in communication.
Truth or verity is the property of being in accord with fact or reality. In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.
Wilfrid Stalker Sellars was an American philosopher and prominent developer of critical realism, who "revolutionized both the content and the method of philosophy in the United States".
Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths.
In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them. Syntax is concerned with the rules used for constructing, or transforming the symbols and words of a language, as contrasted with the semantics of a language which is concerned with its meaning.
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.
Robert Boyce Brandom is an American philosopher who teaches at the University of Pittsburgh. He works primarily in philosophy of language, philosophy of mind and philosophical logic, and his academic output manifests both systematic and historical interests in these topics. His work has presented "arguably the first fully systematic and technically rigorous attempt to explain the meaning of linguistic items in terms of their socially norm-governed use, thereby also giving a non-representationalist account of the intentionality of thought and the rationality of action as well."
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.
Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within a system of inference.
Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.
In philosophy—more specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemantics—meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".
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, the constitution of sentences, concepts, learning, and thought.
This is an index of Wikipedia articles in philosophy of language
Formal semantics is the study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.
Dialogical logic was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy".
John MacFarlane is an American professor of philosophy at the University of California, Berkeley interested in logic and metaphysics. He has made influential contributions to truth-value theory inferential semantics. In 2015, he was elected a Fellow the American Academy of Arts and Sciences. He is also known for his contributions to open source software, especially the Pandoc document converter and other Markdown parsers and verifiers. MacFarlane was among the group of people that helped launch the CommonMark standardization effort for Markdown.
References
- ↑ Proof-Theoretic Semantics (Stanford Encyclopedia of Philosophy)
- ↑ Georg Wilhelm Friedrich Hegel, Wissenschaft der Logik Vol. II, Meiner, 1975 [1932], pp. 466 and 474.
- 1 2 P. Stekeler-Weithofer (2016), "Hegel's Analytic Pragmatism" Archived 2020-11-03 at the Wayback Machine , University of Leipzig, pp. 122–4.
- ↑ "Pragmatism and Inferentialism"
- ↑ Brandom, Robert (2000). Articulating Reasons: An Introduction to Inferentialism. Harvard University Press. p. 230. ISBN 0-674-00158-3.
- ↑ "(Nonsolipsistic) Conceptual Role Semantics" by Gilbert Harman
- ↑ "Conceptual Role Semantics" by Ned Block
- ↑ "Inferential Expressivism project website"
- ↑ J. Peregrin, Inferentialism: Why Rules Matter, Springer, 2014, ch. 10.
- ↑ R. Ramanujam, Sundar Sarukkai (eds.), Logic and Its Applications, Springer, 2009, p. 260.
