Switch to: References

Citations of:

Classical logic II: Higher-order logic

In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 33--54 (2001)

Add citations

You must login to add citations.
  1. Correctness conditions for property nominalists.Arvid Båve - forthcoming - Synthese 201 (6):1-12.
    Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Deflationist Error Theory of Properties.Arvid Båve - 2015 - Dialectica 69 (1):23-59.
    I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • 2003 Annual Meeting of the Association for Symbolic Logic.Andreas Blass - 2004 - Bulletin of Symbolic Logic 10 (1):120-145.
    Download  
     
    Export citation  
     
    Bookmark  
  • Theories of Abstract Objects without Ad Hoc Restriction.Wen-Fang Wang - 2011 - Erkenntnis 74 (1):1-15.
    The ideas of fixed points (Kripke in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 53–81, 1975; Martin and Woodruff in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 47–51, 1984) and revision sequences (Gupta and Belnap in The revision theory of truth. MIT, London, 1993; Gupta in The Blackwell guide to philosophical logic. Blackwell, London, pp 90–114, 2001) have been exploited to provide solutions to the semantic paradox and have achieved admirable (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
    Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations