Suchergebnisse
Suchergebnisse:
Vor 22 Stunden · 1.1 The Logical Clarification of Language. Although Frege’s first book, Begriffsschrift, is not considered to mark the beginnings of the philosophy of language, its verdict on natural languages and the interest of its formalism were at the foundation of the idea that the grammatical form of sentences was often misleading, so that they had to be analyzed through their logical form.
Vor 3 Tagen · In propositional logic, a propositional formula is a type of syntactic formula which is well formed. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula .
Vor einem Tag · Philosophy of logic is the philosophical discipline studying the scope and nature of logic. It examines many presuppositions implicit in logic, like how to define its basic concepts or the metaphysical assumptions associated with them.
Vor 4 Tagen · (May 17, 2024) Socratic method, a form of logical argumentation originated by the ancient Greek philosopher Socrates (c. 470–399 bce ).
- Richard Kraut
Vor 22 Stunden · Analytic philosophy is a broad, contemporary movement or tradition within Western philosophy and especially anglophone philosophy focused on analysis. [a] [b] Analytic philosophy is characterized by a style of clarity of prose and rigor in arguments, making use of formal logic and mathematics, and, to a lesser degree, the natural sciences.
The work dives into two sophisticated logical frameworks: Nullary Second-Order Logic (NSO) and Guarded Successor Second-Order Time Compatibility (GSSOTC). These frameworks aim to address classic limitations in logic, like Tarski's "Undefinability of Truth," and extend the capabilities of logic systems in handling self-referential and temporal statements.
Vor 2 Tagen · This paper is concerned with uses of certain morphemes, most notably the past, to represent meanings of distance from reality in modal expressions. This class of morphology has been identified with the names subjunctive, fake tense, fake past, modal past and is referred to here as X-marking, after von Fintel and Iatridou (Linguist Philos, 2020). X-marking has been most studied in the context ...
