Switch to: References

Add citations

You must login to add citations.
  1. Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
    This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal ontology language’?, and (iii) Is there a universally applicable ‘mode of reasoning’ for formal ontologies? To support our answers in a principled way, we present a general framework for the design of formal ontologies resting on two main principles: firstly, we endorse Rudolf Carnap’s principle of logical (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On Quantification and Extensionality.Kai F. Wehmeier - 2024 - Review of Symbolic Logic 17 (2):343-365.
    We investigate whether ordinary quantification over objects is an extensional phenomenon, or rather creates non-extensional contexts; each claim having been propounded by prominent philosophers. It turns out that the question only makes sense relative to a background theory of syntax and semantics (here called a grammar) that goes well beyond the inductive definition of formulas and the recursive definition of satisfaction. Two schemas for building quantificational grammars are developed, one that invariably constructs extensional grammars (in which quantification, in particular, thus (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A letter on the present state of affairs: Prior, indeterminism and relativity 40 years later.Thomas Müller & Niko Strobach - 2012 - Synthese 188 (3):469-485.
    The paper re-evaluates Prior's tenets about indeterminism and relativity from the point of view of the current state of the debate. We first discuss Prior's claims about indeterministic tense logic and about relativity separately and confront them with new technical developments. Then we combine the two topics in a discussion of indeterministic approaches to space-time logics. Finally we show why Prior would not have to "dig his heels in" when it comes to relativity: We point out a way of combining (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Are quantifiers intensional operators?Kai F. Wehmeier - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):511-532.
    ABSTRACT In this paper, I ask whether quantifiers are intensional operators, with variable assignments playing the role of indices. Certain formulations of extensional type theory suggest an affirmative answer, but the most satisfactory among them suffer from a contamination of their semantic ontology with syntactic material. I lay out ‘Fregean’ versions of extensional type theory that are free from syntactic contamination and suggest a negative answer to our question.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Can every modifier be treated as a sentence modifier?Lloyd Humberstone - 2008 - Philosophical Perspectives 22 (1):241-275.
    Download  
     
    Export citation  
     
    Bookmark   5 citations