“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 |
How this entity was disambiguated
This entity first appeared as the object of triple T11850453 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: “Reasoning with Arbitrary Objects” Context triple: [Kit Fine, hasWritten, “Reasoning with Arbitrary Objects”]
-
A.
A Theory of Objects
A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
-
B.
“A System for Representing and Using Real-World Knowledge”
“A System for Representing and Using Real-World Knowledge” is a seminal AI research paper by John McCarthy that introduces a logical framework for representing commonsense knowledge about the real world.
-
C.
The Safety of Objects
The Safety of Objects is a 2001 independent drama film, based on A. M. Homes's short stories, that interweaves the lives of several suburban families coping with emotional disconnection and personal crises.
-
D.
NETL: A System for Representing and Using Real-World Knowledge
NETL: A System for Representing and Using Real-World Knowledge is an influential early work in artificial intelligence that introduces a network-based framework for encoding and reasoning about commonsense knowledge.
-
E.
Temporal Logic of Actions
Temporal Logic of Actions is a formal framework for specifying and reasoning about concurrent and distributed systems using temporal logic to describe system behaviors over time.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: “Reasoning with Arbitrary Objects” Target entity description: “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.
-
A.
A Theory of Objects
A Theory of Objects is a foundational book in theoretical computer science that develops a rigorous mathematical framework for understanding object-oriented programming and type systems.
-
B.
“A System for Representing and Using Real-World Knowledge”
“A System for Representing and Using Real-World Knowledge” is a seminal AI research paper by John McCarthy that introduces a logical framework for representing commonsense knowledge about the real world.
-
C.
The Safety of Objects
The Safety of Objects is a 2001 independent drama film, based on A. M. Homes's short stories, that interweaves the lives of several suburban families coping with emotional disconnection and personal crises.
-
D.
NETL: A System for Representing and Using Real-World Knowledge
NETL: A System for Representing and Using Real-World Knowledge is an influential early work in artificial intelligence that introduces a network-based framework for encoding and reasoning about commonsense knowledge.
-
E.
Temporal Logic of Actions
Temporal Logic of Actions is a formal framework for specifying and reasoning about concurrent and distributed systems using temporal logic to describe system behaviors over time.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: “Reasoning with Arbitrary Objects” Description of subject: “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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.