Switch to: References

Citations of:

Property Theories

In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251 (1983)

Add citations

You must login to add citations.
  1. A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.Xuefeng Wen - 2007 - Studia Logica 85 (2):251-260.
    We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Toward a New Theory of Content.George Bealer - 1994 - In Roberto Casati & Barry Smith (eds.), Philosophy and Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium (Kirchberg Am Wechsel, Austria 1993). Vienna: Wien: Hölder-Pichler-Tempsky. pp. 179-92.
    The purpose of this paper is to lay out the algebraic approach to propositions and then to show how it can be implemented in new solutions to Frege's puzzle and a variety of related puzzles about content.
    Download  
     
    Export citation  
     
    Bookmark  
  • Intensional Entities.George Bealer - 1996 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy: Genealogy to Iqbal. New York: Routledge. pp. 803-7.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On exhibiting representational validity.Alexandra Zinke - 2015 - Synthese 192 (4):1157-1171.
    We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s definition of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is stemness?Yan Leychkis, Stephen R. Munzer & Jessica L. Richardson - 2009 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 40 (4):312-320.
    This paper, addressed to both philosophers of science and stem cell biologists, aims to reduce the obscurity of and disagreements over the nature of stemness. The two most prominent current theories of stemness—the entity theory and the state theory—are both biologically and philosophically unsatisfactory. Improved versions of these theories are likely to converge. Philosophers of science can perform a much needed service in clarifying and formulating ways of testing entity and state theories of stemness. To do so, however, philosophers should (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Asia-Pacific Perspectives on Environmental Ethics.Darryl R. J. Macer - 2008 - UNESCO Bangkok.
    Papers from the Pacific islands, India, Bangladesh and elsewhere illustrate the ethical dilemma of environmental policy, sustainable development and the needs of communities to make a living.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The representational theory of consciousness.David Bourget - 2010 - Dissertation, Australian National University
    A satisfactory solution to the problem of consciousness would take the form of a simple yet fully general model that specifies the precise conditions under which any given state of consciousness occurs. Science has uncovered numerous correlations between consciousness and neural activity, but it has not yet come anywhere close to this. We are still looking for the Newtonian laws of consciousness. -/- One of the main difficulties with consciousness is that we lack a language in which to formulate illuminating (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A theory of relevant properties 1: Reflections and definitions.Yaroslav Shramko - 1999 - Theoria 14 (1):63-81.
    In the paper a theory of relevant properties is developed. The theory permits us to distinguish between properties that are relevant to an object and the properties that are irrelevant to it. Predication is meaningful only if a property is relevant to an object. On the base of introducing a special negative type of predication as opposed to usual sentential negation, a new notion of generalization for properties is defined. Context-free, as weIl as context-depended relevance of properties are considered.
    Download  
     
    Export citation  
     
    Bookmark  
  • The property-theoretical, performative-nominalistic theory of proper names.Francesco Orilia - 2000 - Dialectica 54 (3):155–176.
    This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • ‘That’-Clauses and Non-nominal Quantification.Tobias Rosefeldt - 2008 - Philosophical Studies 137 (3):301 - 333.
    This paper argues that ‘that’-clauses are not singular terms (without denying that their semantical values are propositions). In its first part, three arguments are presented to support the thesis, two of which are defended against recent criticism. The two good arguments are based on the observation that substitution of ‘the proposition that p’ for ‘that p’ may result in ungrammaticality. The second part of the paper is devoted to a refutation of the main argument for the claim that ‘that’-clauses are (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Predication and extensionalization.Bjørn Jespersen - 2008 - Journal of Philosophical Logic 37 (5):479 - 499.
    In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Universals.George Bealer - 1993 - Journal of Philosophy 90 (1):5-32.
    Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • On the identification of properties and propositional functions.George Bealer - 1989 - Linguistics and Philosophy 12 (1):1 - 14.
    Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained intensional distinctions would (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Property theory: The Type-Free Approach v. the Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
    In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A solution to Frege's puzzle.George Bealer - 1993 - Philosophical Perspectives 7:17-60.
    This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Philosophy and Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium (Kirchberg Am Wechsel, Austria 1993).Roberto Casati & Barry Smith (eds.) - 1994 - Vienna: Wien: Hölder-Pichler-Tempsky.
    Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.
    Download  
     
    Export citation  
     
    Bookmark  
  • Propositions.George Bealer - 1998 - Mind 107 (425):1-32.
    Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...)
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Truth, Predication and a Family of Contingent Paradoxes.Francesco Orilia & Gregory Landini - 2019 - Journal of Philosophical Logic 48 (1):113-136.
    In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The strong arm of the law: a unified account of necessary and contingent laws of nature.Salim Hirèche, Niels Linnemann, Robert Michels & Lisa Vogt - 2021 - Synthese 199 (3-4):10211-10252.
    A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
    This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
    The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations