Switch to: References

Citations of:

Bielefelder Philosophische Vorlesungen

Sankt Augustin [Germany]: Academia Verlag (1997)

Add citations

You must login to add citations.
  1. Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
    Anderson-like ontological proofs, studied in this paper, employ contingent identity, free principles of quantification of the 1st order variables and classical principles of quantification of the 2nd order variables. All these theories are strongly complete wrt. classes of modal structures containing families of world-varying objectual domains of the 1st order and constant conceptual domains of the 2nd order. In such structures, terms of the 1st order receive only rigid extensions, which are elements of the union of all 1st order domains. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Punto de vista lógico y no representacionista del razonamiento sustitutivo.Juan Redmond, Rodrigo Lopez-Orellana & Loreto Paniagua - 2021 - Cuadernos Filosóficos / Segunda Época 18.
    In this paper we argue, from an inferential approach, that the inferential role played by a model, during modeling practice, is independent of the notion of representation engaged with the chosen modeling approach. Indeed, we believe that the notion of surrogative reasoning is neither subsidiary nor founded on the notion of representation and that it will only find its foundations in logic itself. Neither the notion of representation is an inferential notion nor FIM is a type of representation-based thinking.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Single-domain free logic and the problem of compositionality.Dolf Rami - 2020 - Synthese 198 (10):9479-9523.
    In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent. The semantic value of a singular term is conceived of as a set that either contains the semantic referent or no element at all. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and an S5-type modal (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.
    Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic.Hans-Peter Leeb - 2020 - Journal of Philosophical Logic 49 (6):1091-1109.
    If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
    Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Need for Metaphysically-based Ontologies in Higher-level Information Fusion Applications.Eric Little - 2006 - In Ingvar Johansson, Bertin Klein & Thomas Roth-Berghofer (eds.), Wspi 2006: Contributions to the Third International Workshop on Philosophy and Informatics. pp. 89.
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•
  • Karel Lambert, Free Logics: Their Foundations, Character, and Some Applications Thereof (Prophil Projekte zur Philosophie Bd. 1. Eine Schriftenreihe des Forschungsinstituts Philosophie/Technik/Wirtschaft an der Universität Salzburg). Sankt Augustin: Academia-Verlag, 1997. 156 pp. Asch. 239. ISBN 3-89665-000-9. [REVIEW]Hans-Peter Leeb - 2001 - History and Philosophy of Logic 22:233-236.
    Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with regard to their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•