Switch to: References

Add citations

You must login to add citations.
  1. Die Entstehung von Spinozas Urteilstheorie und ihre Implikationen für seine politische Philosophie.Ursula Renz & Oliver Istvan Toth - 2021 - Deutsche Zeitschrift für Philosophie 69 (4):633-645.
    In this paper, we reconstruct the development of Spinoza’s theory of judgment against the backdrop of the development of his political views. In this context we also look at the difference between Descartes’ meta-act theory of judgment, which Spinoza criticises, and his own all-inclusive approach. By “meta-act theory” we understand the claim that content and judgment about the truth of the content are metaphysically really distinct mental items. By an “all-inclusive theory” we understand the claim that judgment and content constitute (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
    This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Generalized Quantifiers, and Beyond.Hanoch Ben-Yami - 2009 - Logique Et Analyse (208):309-326.
    I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Spacetime and Mereology.Andrew Virel Wake - 2011 - Erkenntnis 74 (1):17-35.
    Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Puzzles About Descriptive Names.Edward Kanterian - 2009 - Linguistics and Philosophy 32 (4):409-428.
    This article explores Gareth Evans’s idea that there are such things as descriptive names, i.e. referring expressions introduced by a definite description which have, unlike ordinary names, a descriptive content. Several ignored semantic and modal aspects of this idea are spelled out, including a hitherto little explored notion of rigidity, super-rigidity. The claim that descriptive names are (rigidified) descriptions, or abbreviations thereof, is rejected. It is then shown that Evans’s theory leads to certain puzzles concerning the referential status of descriptive (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Multi-Dimensional Treatment of Quantification in Extraordinary English.Paul Dekker - 2008 - Linguistics and Philosophy 31 (1):101-127.
    In this paper I revive two important formal approaches to the interpretation of natural language, that of Montague and that of Karttunen and Peters. Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion. The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals. Even so, there are illuminating and welcome empirical consequences on the subject of scope islands (as discussed (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Mereological Vagueness and Existential Vagueness.Maureen Donnelly - 2009 - Synthese 168 (1):53 - 79.
    It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been supposed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Quantification and Ontology.Shaughan Lavine - 2000 - Synthese 124 (1-2):1-43.
    Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Martin Haspelmath, Indefinite Pronouns.Östen Dahl - 1999 - Linguistics and Philosophy 22 (6):663-678.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Extended Self.Eric T. Olson - 2011 - Minds and Machines 21 (4):481-495.
    The extended-mind thesis says that mental states can extend beyond one’s skin. Clark and Chalmers infer from this that the subjects of such states also extend beyond their skin: the extended-self thesis. The paper asks what exactly the extended-self thesis says, whether it really does follow from the extended-mind thesis, and what it would mean if it were true. It concludes that the extended-self thesis is unattractive, and does not follow from the extended mind unless thinking beings are literally bundles (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Logic and Mathematics of Occasion Sentences.Pieter A. M. Seuren, Venanizo Capretta & Herman Geuvers - 2001 - Linguistics and Philosophy 24 (5):531-595.
    The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Introduction: Vagueness and Ontology.Geert Keil - 2013 - Metaphysica 14 (2):149-164.
    The article introduces a special issue of the journal Metaphysica on vagueness and ontology. The conventional view has it that all vagueness is semantic or representational. Russell, Dummett, Evans and Lewis, inter alia, have argued that the notion of “ontic” or “metaphysical” vagueness is not even intelligible. In recent years, a growing minority of philosophers have tried to make sense of the notion and have spelled it out in various ways. The article gives an overview and relates the idea of (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Meaning and Reference in Classical India.Jonardon Ganeri - 1996 - Journal of Indian Philosophy 24 (1):1-19.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Are Functional Properties Causally Potent?Peter Alward - 2006 - Sorites 17:49-55.
    Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the latter (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Essentialist Inference.Jesse M. Mulder - 2013 - Australasian Journal of Philosophy 91 (4):755-769.
    It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Schmidentity and Informativity.Hannes Fraissler - 2020 - Synthese 198 (10):9963-9989.
    Although Kripke’s œuvre has had a major impact on analytic philosophy and nearly every aspect of his studies has been thoroughly examined, this does not hold for his schmidentity argument, which, so far, has been widely neglected. To the extent to which it has been treated at all, it has been for the most part radically misunderstood. I hold that this argument, in its correctly reconstructed form, has general relevance for a treatment of Frege’s Puzzle and points towards a fundamental (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Why Four-Dimensionalism Explains Coincidence.Maya Eddon - 2010 - Australasian Journal of Philosophy 88 (4):721-728.
    In "Does Four-Dimensionalism Explain Coincidence" Mark Moyer argues that there is no reason to prefer the four-dimensionalist (or perdurantist) explanation of coincidence to the three-dimensionalist (or endurantist) explanation. I argue that Moyer's formulations of perdurantism and endurantism lead him to overlook the perdurantist's advantage. A more satisfactory formulation of these views reveals a puzzle of coincidence that Moyer does not consider, and the perdurantist's treatment of this puzzle is clearly preferable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Bartosz Brożek i Mateusz Hohol, Umysł matematyczny. [REVIEW]Rec Hubert BOŻEK - 2015 - Argument: Biannual Philosophical Journal 5 (1):295-304.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Rationalism and the Content of Intuitive Judgements.Anna-Sara Malmgren - 2011 - Mind 120 (478):263-327.
    It is commonly held that our intuitive judgements about imaginary problem cases are justified a priori, if and when they are justified at all. In this paper I defend this view — ‘rationalism’ — against a recent objection by Timothy Williamson. I argue that his objection fails on multiple grounds, but the reasons why it fails are instructive. Williamson argues from a claim about the semantics of intuitive judgements, to a claim about their psychological underpinnings, to the denial of rationalism. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  • Esistenza e Persistenza.Damiano Costa - 2018 - Milan, IT: Mimesis.
    Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Propositional Attitudes in Modern Philosophy.Walter Ott - 2002 - Dialogue 41 (3):551-568.
    Philosophers of the modern period are often presented as having made an elementary error: that of confounding the atttitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Geach on Generalization.Charles Sayward - 2002 - Dialogue 41 (2):221-.
    There are plausible objections to substitutional construals of generalization. But these objections do not apply to a substitutional construal of generalization proposed by Peter Geach several years ago. This paper examines Geach’s conception.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Conceptual alternatives.Brian Buccola, Manuel Križ & Emmanuel Chemla - forthcoming - Linguistics and Philosophy:1-27.
    Things we can say, and the ways in which we can say them, compete with one another. And this has consequences: words we decide not to pronounce have critical effects on the messages we end up conveying. For instance, in saying Chris is a good teacher, we may convey that Chris is not an amazing teacher. How this happens is an unsolvable problem, unless a theory of alternatives indicates what counts, among all the things that have not been pronounced. It (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Minimal Authorship (of Sorts).Christy Mag Uidhir - 2011 - Philosophical Studies 154 (3):373 - 387.
    I propose a minimal account of authorship that specifies the fundamental nature of the author-relation and its minimal domain composition in terms of a three-place causal-intentional relation holding between agents and sort-relative works. I contrast my account with the minimal account tacitly held by most authorship theories, which is a two-place relation holding between agents and works simpliciter. I claim that only my view can ground productive and informative principled distincitons between collective production and collective authorship.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Part‐Intrinsicality.J. Robert G. Williams - 2013 - Noûs 47 (3):431-452.
    In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Why and How Not to Be a Sortalist About Thought.Rachel Goodman - 2012 - Philosophical Perspectives 26 (1):77-112.
  • Relative Identity.Harold W. Noonan - 2015 - Philosophical Investigations 38 (1-2):52-71.
    Examples suggest that one and the same A may be different Bs, and hence that there is some sort of incompleteness in the unqualified statement that x and y are the same which needs to be eliminated by answering the question “the same what?” One way to make this more precise is by appeal to Geach's idea that identity is relative. In this paper I evaluate Geach's relative identity thesis.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • No Identity Without an Entity.Luke Manning - 2015 - Pacific Philosophical Quarterly 96 (1):279-305.
    Peter Geach's puzzle of intentional identity is to explain how the claim ‘Hob thinks a witch has blighted Bob's mare, and Nob wonders whether she killed Cob's sow’ is compatible with there being no such witch. I clarify the puzzle and reduce it to the familiar problem of negative existentials. That problem is a paradox of representations that seem to include denials of commitment , to carry commitment to what they deny commitment to, and to be true. The best proposed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Propositional Anaphors.Peter van Elswyk - 2019 - Philosophical Studies 176 (4):1055-1075.
    Propositions are posited to perform a variety of explanatory roles. One important role is being what is designated by a dedicated linguistic expression like a "that"-clause. In this paper, the case that propositions are needed for such a role is bolstered by defending that there are other expressions dedicated to designating propositions. In particular, it is shown that natural language has anaphors for propositions. Complement "so" and the response markers "yes" and "no" are argued to be such expressions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Quantifiers and Variables: Insights From Sign Language (ASL and LSF).Philippe Schlenker - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:16.
  • Sorting Out the Sortals: A Fregean Argument for Essentialism.Troy T. Catterson - 2015 - Erkenntnis 80 (1):137-157.
    In his paper, “Identity Statements and Essentialism,” Loux seeks to demonstrate sortal essentialism based on Frege’s thesis that all statements of number concerning a collection require that the members fall under the same sortal concept. I shall attempt to argue that a detailed analysis of Loux’s argument reveals it as failing to imply the type of sortal dependency thesis necessary for the justification of sortal essentialism. However, if one construes the transworld identity relation as no different from our run of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Analytic and the Synthetic as Linguistic Topics.Sylvain Auroux - 1985 - Topoi 4 (2):193-199.
    The Analytic/Synthetic distinction did not originate in Kant, but in Port-Royal's logical theory. The key for the doctrine is the explicite recognition of two different kinds of relative clauses, e.g. explicative and determinative. In the middle eighteenth century the distinction becomes a topic within the grammars. Although we can find by grammarians different criteria for the distinction, these criteria (for which we can find medieval sources) are for the main predictable from the original theory of ideas, which was presented in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.
    An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Nature of Desire.Federico Lauria & Julien Deonna (eds.) - 2017 - New York, USA: Oxford University Press.
    Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - forthcoming - Dialectica.
    The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Identity and Becoming.Robert Allen - 2000 - Southern Journal of Philosophy 38 (4):527-548.
    A material object is constituted by a sum of parts all of which are essential to the sum but some of which seem inessential to the object itself. Such object/sum of parts pairs include my body/its torso and appendages and my desk/its top, drawers, and legs. In these instances, we are dealing with objects and their components. But, fundamentally, we may also speak, as Locke does, of an object and its constitutive matter—a “mass of particles”—or even of that aggregate and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Logical Quantifiers.Gila Sher - 2012 - In D. Graff Fara & G. Russell (eds.), Routledge Companion to Philosophy of Language. Routledge. pp. 579-595.
    This chapter offers a logical, linguistic, and philosophical account of modern quantification theory. Contrasting the standard approach to quantifiers (according to which logical quantifiers are defined by enumeration) with the generalized approach (according to which quantifiers are defined systematically), the chapter begins with a brief history of standard quantifier theory and identifies some of its logical, linguistic, and philosophical strengths and weaknesses. It then proceeds to a brief history of generalized quantifier theory and explains how it overcomes the weaknesses of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Desires, Values and Norms.Olivier Massin - 2017 - In Federico Lauria & Julien Deonna (eds.), The Nature of Desire. Oxford University Press.
    The thesis defended, the “guise of the ought”, is that the formal objects of desires are norms (oughts to be or oughts to do) rather than values (as the “guise of the good” thesis has it). It is impossible, in virtue of the nature of desire, to desire something without it being presented as something that ought to be or that one ought to do. This view is defended by pointing to a key distinction between values and norms: positive and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • What is the Hallé?Thomas H. Smith - 2005 - Philosophical Papers 34 (1):75-109.
    I address what I call the Number Issue, which is raised by our ordinary talk and beliefs about certain social groups and institutions, and I take the Hallé orchestra as my example. The Number Issue is that of whether the Hallé is one individual or several individuals. I observe that if one holds that it is one individual, one faces an accusation of metaphysical extravagance. The bulk of the paper examines the difficulty of reconciling the view that the Hallé is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Stop Beating the Donkey! A Fresh Interpretation of Conditional Donkey Sentences.Maria José Frápolli & Aránzazu San Ginés - 2017 - Theoria : An International Journal for Theory, History and Fundations of Science 32 (1):7-24.
    We propose a new approach to conditional donkey sentences that allows us to face successfully the often called proportion problem. The main ingredients of the proposal are van Benthem's generalized quantifier approach to conditionals, and Barwise's situation semantics. We present some experimental data supporting our proposal.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Trinity.Dale Tuggy - 2010 - Stanford Encyclopedia of Philosophy.
  • The Metaphysical Equivalence Of Three And Four Dimensionalism.Kristie Miller - 2005 - Erkenntnis 62 (1):91-117.
    I argue that two competing accounts of persistence, three and four dimensionalism, are in fact metaphysically equivalent. I begin by clearly defining three and four dimensionalism, and then I show that the two theories are intertranslatable and equally simple. Through consideration of a number of different cases where intuitions about persistence are contradictory, I then go on to show that both theories describe these cases in the same manner. Further consideration of some empirical issues arising from the theory of special (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  • Identity and the Composite Christ: An Incarnational Dilemma: ROBIN LE POIDEVIN.Robin Le Poidevin - 2009 - Religious Studies 45 (2):167-186.
    One way of understanding the reduplicative formula ‘Christ is, qua God, omniscient, but qua man, limited in knowledge’ is to take the occurrences of the ‘ qua ’ locution as picking out different parts of Christ: a divine part and a human part. But this view of Christ as a composite being runs into paradox when combined with the orthodox understanding of the Incarnation, according to which Christ is identical to the second person of the Trinity. In response, we have (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Metaphysical Nihilism and Cosmological Arguments: Some Tractarian Comments.Stig Børsen Hansen - 2012 - European Journal of Philosophy 20 (2):223-242.
    Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico-Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dimensions: A New Ontology of Properties.Xi-Yang Guo - 2017 - Dissertation, University of Durham
    This thesis advances and defends a novel two-category ontology of objects and dimensions, latterly conceived as respects of comparability. The proposed 'dimensionist' ontology is set out and brought to bear on discussions of determinables and determinates, the problem of universals, fact ontologies, and nomic governance. Dimensionism is argued to fare well in comparison to a range of rival ontological accounts of property possession. A metametaphysical framework is set out to undergird the discussion, which draws on both realist and pragmatist resources.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • A Conceptualist Interpretation of Lesniewski's Ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
    A first-order formulation of Le?niewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Le?niewski's ontology is decidable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Wittgenstein’s Argument for the Context Principle in the Tractatus.Jasper Liptow - 2018 - Grazer Philosophische Studien 95 (2):224-244.
    _ Source: _Page Count 21 The “Context Principle”, as the author understands it in this paper, is the claim that sub-sentential linguistic expressions have meaning only in the context of complete meaningful sentences. The author reconstructs the version of the Context Principle that Wittgenstein holds in the _Tractatus_, shows that it has intuitive plausibility and can be defended against alleged counterexamples, and develops an argument for its truth that can be found in the _Tractatus_. In short, the author argues that (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Dynamic Update Anaphora Logic: A Simple Analysis of Complex Anaphora.Ezra Keshet - 2018 - Journal of Semantics 35 (2):263-303.
    An antecedent relationship may hold between an indefinite and a pronoun across non-quantified sentences (‘Jane bought a book. She read it immediately.‘), from the restrictor to the nuclear scope of a single quantified sentence (‘Every woman who bought a book read it immediately.‘; Geach 1962), and even across two quantified sentences (‘Every woman bought a book. Most read it immediately.‘; Sells 1985). First-generation dynamic semantic systems (Kamp 1981; Heim 1983; Groenendijk & Stokhof 1991) cannot handle anaphora across quantified sentences, but (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations