Results 131 to 140 of about 306 (167)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Cantor's Abstractionism and Hume's Principle
History and Philosophy of Logic, 2021Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the ...
Claudio Ternullo, Luca Zanetti
openaire +2 more sources
Journal of Philosophical Logic, 1997
Let FA be the extension of second-order logic with the so-called Hume's principle HP, i.e. the claim that the number of a concept \(F\) is equal to the number of a concept \(G\) iff \(F\) and \(G\) are equinumerous (i.e. there is a bijection between the collection of objects falling under \(F\) and those falling under \(G\)).
openaire +2 more sources
Let FA be the extension of second-order logic with the so-called Hume's principle HP, i.e. the claim that the number of a concept \(F\) is equal to the number of a concept \(G\) iff \(F\) and \(G\) are equinumerous (i.e. there is a bijection between the collection of objects falling under \(F\) and those falling under \(G\)).
openaire +2 more sources
Hume’s principle: a plea for austerity
Synthese, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Religious Studies, 1995
In such a chain too, or succession of objects, each part is caused by that which preceded it, and causes that which succeeds it. Where then is the difficulty? But the WHOLE, you say, wants a cause. I answer, that the uniting of these parts into a whole, like the uniting of several distinct counties into one kingdom, or several distinct members into one
openaire +1 more source
In such a chain too, or succession of objects, each part is caused by that which preceded it, and causes that which succeeds it. Where then is the difficulty? But the WHOLE, you say, wants a cause. I answer, that the uniting of these parts into a whole, like the uniting of several distinct counties into one kingdom, or several distinct members into one
openaire +1 more source
2019
Beginning in Grundgesetze §53, Frege presents proofs of a set of theorems known to encompass the Peano-Dedekind axioms for arithmetic. The initial part of Frege’s deductive development of arithmetic, to theorems (32) and (49), contains fully formal proofs that had merely been sketched out in Grundlagen.
Robert C. May, Kai F. Wehmeier
openaire +1 more source
Beginning in Grundgesetze §53, Frege presents proofs of a set of theorems known to encompass the Peano-Dedekind axioms for arithmetic. The initial part of Frege’s deductive development of arithmetic, to theorems (32) and (49), contains fully formal proofs that had merely been sketched out in Grundlagen.
Robert C. May, Kai F. Wehmeier
openaire +1 more source
Predication and Hume's Conceivability Principle
Pacific Philosophical Quarterly, 2022AbstractIn this paper, I will make the case that an associative account of predication in Hume seems to allow for impossible predicative conceptions—that is, the conceiving of impossible states of affairs involving subjects instantiating properties or qualities—which violate his Conceivability Principle.
openaire +1 more source
Infinity, Choice, and Hume’s Principle
Journal of Philosophical LogiczbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Hume’s nominalism and the Copy Principle
Canadian Journal of Philosophy, 2012I consider some ways in which the Copy Principle (CP) and Hume's nominalism impinge on one another, arguing for the following claims. First, Hume's argument against indeterminate ideas isn't cogent even if the CP is accepted. But this does not vindicate Locke: the imagistic conception of ideas, presupposed by the CP, will force Locke to accept ...
openaire +1 more source