“Reasoning with Arbitrary Objects”
E949479
“Reasoning with Arbitrary Objects” is a philosophical work by Kit Fine that develops a formal framework for reasoning about arbitrary objects in logic and metaphysics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “Reasoning with Arbitrary Objects” canonical | 1 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
monograph ⓘ philosophical work ⓘ |
| academicDiscipline |
metaphysics of modality
ⓘ
philosophy of mathematics ⓘ |
| addresses |
issues about existence of arbitrary objects
ⓘ
issues about identity of arbitrary objects ⓘ problems about quantifying over arbitrary objects ⓘ use of arbitrary objects in mathematics ⓘ use of arbitrary objects in philosophical argument ⓘ |
| aimsTo |
clarify the metaphysics of arbitrary objects
ⓘ
provide a logical system for talking about arbitrary objects ⓘ |
| associatedWith | Kit Fine’s theory of arbitrary objects ⓘ |
| author | Kit Fine NERFINISHED ⓘ |
| citationType |
highly cited in analytic metaphysics
ⓘ
highly cited in philosophy of logic ⓘ |
| contributor | Kit Fine NERFINISHED ⓘ |
| describes | formal framework for reasoning about arbitrary objects ⓘ |
| field |
analytic philosophy
ⓘ
logic ⓘ philosophy ⓘ |
| genre |
academic literature
ⓘ
non-fiction ⓘ |
| hasForm |
formal treatise
ⓘ
textbook-style exposition ⓘ |
| hasPart |
formal logical system for arbitrary objects
ⓘ
metaphysical discussion of arbitrary entities ⓘ semantic analysis of arbitrary reference ⓘ technical proofs in logic ⓘ |
| influenced |
formal treatments of arbitrary reference
ⓘ
later discussions in metaphysics of objects ⓘ subsequent work on arbitrary objects ⓘ |
| influencedBy |
analytic philosophy of language
ⓘ
formal logic ⓘ |
| language | English ⓘ |
| mainTopic |
arbitrary objects
ⓘ
formal ontology ⓘ logic ⓘ logical form ⓘ metaphysics ⓘ model theory ⓘ philosophical logic ⓘ philosophy of logic ⓘ quantification ⓘ reference to arbitrary objects ⓘ semantic theory ⓘ variable objects ⓘ |
| proposes |
formal rules for reasoning with arbitrary objects
ⓘ
semantic clauses for arbitrary reference ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.