IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_1041
Label Język Typ
Properties and the Interpretation of Second-Order Logic en rdfs:label

Adnotacje

Identyczne obiekty

Typy

Data properties

  • jest opublikowany w roku

    • 2013
  • ma metadane w formacie Bibtex

    • @article{Hale2013-HALPAT-7,number = {2},year = {2013},title = {Properties and the Interpretation of Second-Order Logic},journal = {Philosophia Mathematica},volume = {21},pages = {133--156},abstract = {This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is `set theory in sheep's clothing'. On my approach, the usual semantics involves a false assimilation of the logic to set theory. I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles},author = {B. Hale}}@
  • ma tytuł

    • Properties and the Interpretation of Second-Order Logic
  • ostatnia strona

    • 156
  • pierwsza strona

    • 133