Results 51 to 60 of about 798 (178)
Journal of Symbolic Logic, 2002 AbstractI show that any sentence ofnth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically. I set forth an enriched second-order languageL.
openaire +3 more sources
Manuscrito, 2023 It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church's simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze.
openaire +4 more sources
Ideas y Valores, 2004 El ensayo ofrece un esbozo del lugar del trabajo de Donald Davidson en elestudio de las semánticas formales para los lenguajes naturales. Se discu-ten algunas relaciones importantes entre el trabajo de Davidson y las ideasde Frege, Tarski, Quine y ...
Gabriel Segal
doaj
Theoria, EarlyView.ABSTRACT Contemporary epistemologists analysing knowledge take (true) propositions to be the object of knowledge. In this paper, I provide an argument for the claim that the object of knowledge is, in fact, the world. The propositions in propositional knowledge ascriptions merely describe the part of the world of which the subject is aware. Kent Bach's
Tess Dewhurst
wiley +1 more source
The Additive Logic of Epistemic Reasons: An Axiomatic Account
Theoria, EarlyView.ABSTRACT The article argues for a system of axioms that is meant to capture the logic of normative reasons for belief. The system concerns a primitive direct‐reason relation, a defined doxastic‐reason relation, and a primitive function for the revision of rational belief by reasons.
Hannes Leitgeb
wiley +1 more source
Noûs, Volume 60, Issue 3, Page 685-697, September 2026.ABSTRACT Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant (if sometimes implicit) role in metaphysical theorizing. A philosopher will argue that a fact [p]$[p]$ contains a derivative entity and cite Purity as a reason to deny that [p]$[p]$ is fundamental. I argue that recent
Samuel Z. Elgin
wiley +1 more source
The Revo‐Evo Debate in the History and Philosophy of Science
Natural Sciences, Volume 6, Issue 3, July 2026.The paper juxtaposes revolutionary and evolutionary positions in epistemology in general as well as the history of science. While it deems the evolutionary arguments more persuasive, it also stresses the dependence of our assessment of change on the language we choose to describe the theories and positions under consideration.
Yemima Ben‐Menahem
wiley +1 more source
How “Meaning” became “Narrow Content”
Studies in Logic, Grammar and Rhetoric, 2016 The paper traces how disappointment with the notion of linguistic meaning has led to a shift towards the new, technical term of “narrow content”. In the first part of the paper I analyze the ways “narrow content” is understood in the literature.
Grabarczyk Paweł
doaj +1 more source
Cadernos de Filosofia Alemã, 2001 Tradução de Guido Imaguire.
Gottlob Frege, Guido Imaguire
doaj +1 more source
The ontological argument generalized Bull Ç Frege semantics
RUDN Journal of Philosophy, 2016 On the basis of the joint examination of semantics of logic Boole and Frege and their subsequent agreement to construct a semantic theory which is named Boole Ç Frege semantics.
S A Pavlov
doaj