T rules out
a lot-
From PQI+T, an
Ideal Reasoner (IR) can infer
all the negative truths
NEGATIVE FACT
DEF [what theory of facts?]
[general truths = negative truths?]
“There’s no hippo in this room”
is made true by the fact that there’s no hippo in this room - that is, by the absence of the hippo.
Are the positive facts all IR can look at?
truthmaking-maximalism every truth
has a truthmaker
IR should look at positive facts to check a negative truth
"there is no hippo in this room" is
made true by
the collection of all the positive facts in this room
plus
the totality-fact that that is all there is
Perhaps this picture mirrors Chalmers' semantic framework?
Absences, lacks, omissions... They make negative truths true.
“If you say there is an absence in this room, then you’re affirming the existence of something in the room--
the absence.
But since ‘absence’ means that something is not,
you’re also denying that there is something in the room. Therefore, ‘There is an absence in the room’ is a contradiction.”
What do we take as
'existing'?
[common criteria for positive facts]
Paris, early 1940s—
Sartre is supposed to meet his friend Pierre in some busy café.
But Sartre is late and Pierre is not there.
Absences can have strong effects on people's life.
We perceive them and we respond to them,
like we do with positive entities-
that seems to happen without any conceptual sophistication
(think of a baby missing her mother or a dog missing its owner)
Omissions are as concrete as actions. We can perceive an omission. Lawmakers can give it a specific name & establish adequate punishment.
“I didn’t do anything! I only let him die”—if omissions were not really in the world, these would be good justifications.
prima facie
evidence, of course...
Great news!
David Chalmers
buys absences and negative facts!
some truths are fundamental
all the truths about the world can be scrutable from fundamental truths in PQI
positive truths are fundamental
all negative truths can be scrutable from positive truths
Does this semantic hierarchy reflect a correspondent metaphysical picture?
are positive truths more fundamental than negative truths
because
positive facts are more fundamental than negative facts?
Do positive facts ground both positive and negative truths?
Is Chalmers' world
intrinsically positive?
What
grounds negative truths,
in Chalmers' world?
Where would IR point her cosmoscope,
to check a negative truth?
Negative Facts & Truth
Absences, lacks, omissions...
They make negative truths true.
Negative truths are made true by something’s not being in the world, or by the absence of something.
Negative truths could be falsified by adding to the world the thing that is absent, the action that has not been done, the object that would fill the emptiness.
hippo
It could be falsified by adding a to the world
(right here)
familiar issues within
the truthmaking approach
- all truths are made true by some entity or other
"what makes true a negative truth"
negative truths
what makes them true?
"The truthmaker [of a negative truth] must be the fact or state of affairs that the great conjunction is all the states of affairs"
"we do not need negative states of affairs in the basic ontology in addition to totality states of affairs. We can have [...] negative truths, but their truthmakers are always positive states of affairs plus some state of affairs of totality."
(Armstrong 1997)
e.g. truthmaker for "there's no cherries in my fridge"
is the fact that an apple and a banana being's in my fridge is all there is-
i.e., the 'great conjunction'/totality-fact of all the facts (in my fridge),
i.e., an apple's being in my fridge + a banana's being in my fridge .
A good strategy?
vicious regress
ontological hierarchies
general
negative 'strictly speaking'
Any truth about a world can be scrutable from a basic set of truths about that world
"there's no hippo in this room"
"All I have in my fridge is one apple"
"my car isn't there
where I parked it last night"
T-clause rules out everything that-is-not
It rules out everything that is absent from the world
...there might be ghosts, unicorns, and dragons. There might even be God...
Since ancient time, there have been arguments against the possibility of an absence existing in the same manner as an object exists.
Melissus: “Nor is it at all empty. For what is empty is nothing, and of course what is nothing would not be”
(DK 30B7.7)
In the “fullness of being” of the café—“with its patrons, its tables, its booths, its mirrors, its light, its smoky atmosphere, and the sounds of voices, rattling saucers and footsteps which fill it”
—only one entity stands out against the background:
Pierre's absence
His absence “haunts” the café.
The perception of that absence occurs as vividly as any perception: “I suddenly saw that he wasn’t there.”
-everything that exists has some sort of effect or consequence
in the world-
Missing
someone
can drive you crazy
(vacuum)
Absence of oxygen
can kill you
Not helping someone in danger
can land you
in jail
Not watering a plant can cause it to die
Why can't absences be existing negative facts?
Contradictions?
There’s no contradiction in saying that
"there’s no hippo in the room"
and
"there’s an absence (of the hippo) in the room".
These are two equivalent ways to describe the same fact
in the world --
a negative fact, precisely.
(Martin 1996; Kukso 2006; Barker&Iago 2012)
Void
"a specific area or region of the universe [...] that can be characterized in terms of
its spatial and temporal location" (Kukso 2006)
The Eiffel Tower's not being next to the Sydney Opera House
"located at the discontinuous region
occupied by the Eiffel Tower and the Sydney Opera house"
(Barker&Iago 2012)
But can we explain away absences with positive facts?
Sartre leaves the café in a bad mood. Would we say that that bad mood has been caused
by the collection of all the positive facts in the café (plus, maybe, the fact that those were all)
-- rather than, simply, by Pierre's absence?
a hippo being in this room is
incompatible
with all the other single things in this room
(with that chair, that window, etc.)
Each single thing exclude the hippo
Chalmers himself - in conversation-
said he doesn't see a problem with negative facts' being part of the world
...but still it looks like in Chalmers' world -
where all the negative truths are inferred from positive truths - all we have is positive facts.
T- has ruled out everything that-is-not. Ghosts and gods, along with countless more absences.
Only positive facts, apparently, can ground and explain negative truths, in this world.
Would T still be needed?
Losing compactness?
[it seems that absences should already be part of the base] - think of 'P'
[it seems that absences should already
be part of the base] - think of 'P'
what about truths involving, e.g., reference to vacuum?
Can we integrate absences in the base?
It seems not.
Probably not.
It seems yes.
Countless absences may be added to the base -
but aren't truths in P and Q equally countless?
[ facts/truthmaking framework not essential - but what account of absences? ]
Possible integration- e.g.
'NP' "There's no non-physical entity"
one application of T
ensuring physicalism
Once we have negative facts in the base, no stop-clause seems needed
"for all truths S, 'PT S' is necessary"
that is, there is no possible world outstripping our world where there are ghosts
Physicalism seems equally safe if we add absences to the base PQI:
"for all truths S, 'NPP S' is necessary"
simply ensures that there's no non-physical entity
Compactness requires few families of truth -
T ruled out ghosts, gods and hippos - but, strictly speaking, not absences thereof
e.g.
one application of T
ensuring physicalism
"for all truths S, 'PT S' is necessary"
that is, there is no possible world outstripping our world where there are ghosts
Physicalism seems equally safe if we add absences to the base PQI:
"for all truths S, 'NPP S' is necessary" simply ensures that there's no non-physical entity
couldn't absences all be part of the same family, i.e., negative facts?
Chalmers explains negative facts away with positive facts,
and thereby might have to deal with issues such as regresses, ontological stratification,
explanatory insufficiency, etc.,
he accommodates absences and negative facts
by explicitly accepting them as part of the world
[The latter seems a natural and easy solution, also compatible with Chalmers' framework]