Lewiss Au#au David Chalmers Carnap s Au#au Rudolf Carnap - - PowerPoint PPT Presentation

Lewis’s ¡Au#au ¡

David ¡Chalmers ¡

Carnap’s ¡Au#au ¡

• Rudolf ¡Carnap ¡(1928) ¡Der ¡Logische ¡Au#au ¡der ¡

Welt ¡(“The ¡Logical ¡Structure ¡of ¡the ¡World”) ¡

• Aims ¡for ¡a ¡characterizaFon ¡of ¡the ¡world ¡in ¡

terms ¡of ¡a ¡minimal ¡vocabulary, ¡from ¡which ¡all ¡ truths ¡about ¡the ¡world ¡can ¡be ¡derived. ¡

The ¡Vocabulary ¡

• Carnap ¡has ¡one ¡non-­‑logical ¡primiFve: ¡

– The ¡relaFon ¡of ¡recollected ¡phenomenal ¡similarity ¡ (between ¡elementary ¡experiences). ¡

• The ¡world-­‑descripFon ¡is ¡given ¡using ¡an ¡term ¡

for ¡this ¡relaFon, ¡and ¡first-­‑order ¡logical ¡

• expressions. ¡

– ∃x, ¡y, ¡z, ¡… ¡R(x,y) ¡& ¡~R(x,z) ¡& ¡… ¡

The ¡Austere ¡Vocabulary ¡

• Carnap ¡eventually ¡removes ¡the ¡primiFve ¡

relaFon, ¡yielding ¡pure ¡logic ¡

– ∃R, ¡x, ¡y, ¡z, ¡…: ¡R(x,y) ¡& ¡~R(x,z) ¡& ¡… ¡

• This ¡threatens ¡vacuity ¡(Newman’s ¡problem), ¡

so ¡he ¡appeals ¡to ¡naturalness: ¡

– ∃ ¡R, ¡x, ¡y, ¡z, ¡…: ¡natural(R) ¡& ¡R(x,y) ¡& ¡~R(x,z) ¡& ¡… ¡ – ∃naturalR ¡∃ ¡x, ¡y, ¡z, ¡…: ¡ ¡R(x,y) ¡& ¡~R(x,z) ¡& ¡… ¡ ¡ ¡ ¡

The ¡DerivaFon ¡RelaFon ¡

• All ¡truths ¡are ¡held ¡to ¡be ¡derivable ¡from ¡the ¡world-­‑

descripFon ¡plus ¡definiFonal ¡sentences ¡for ¡non-­‑basic ¡

• vocabulary. ¡
• Guiding ¡idea: ¡Non-­‑basic ¡expressions ¡are ¡definable ¡in ¡

terms ¡of ¡more ¡basic ¡expressions. ¡

• Progressively ¡define/derive: ¡qualia, ¡spaceFme, ¡

external ¡objects, ¡other ¡minds, ¡culture, ¡values, ¡… ¡

Problems ¡for ¡the ¡Au#au ¡

(1) Goodman’s ¡criFque ¡(construcFon ¡of ¡the ¡ visual ¡field) ¡ (2) Quine’s ¡criFque ¡(definiFon ¡of ¡ spaFotemporal ¡locaFon) ¡ (3) Doubts ¡about ¡phenomenal ¡reducFon ¡ (4) Newmans ¡problem ¡for ¡structuralism ¡ (5) Doubts ¡about ¡analyFcity ¡and ¡definiFons ¡ (1)-­‑(4) ¡leave ¡open ¡alternaFve ¡bases? ¡

Lewis’s ¡Program ¡

• David ¡Lewis’s ¡life’s ¡work: ¡A ¡program ¡for ¡

semanFc/epistemological/metaphysical ¡ reducFon ¡ – Humean ¡supervenience ¡via ¡conceptual ¡analysis ¡ ¡ ¡

• Q: ¡Might ¡the ¡Lewis’s ¡project ¡be ¡used ¡to ¡vindicate ¡

Carnap? ¡ – A ¡minimal ¡world-­‑descripFon ¡that ¡definiFonally ¡ entails ¡all ¡truths? ¡

¡

Lewis’s ¡ReducFons ¡

• Lewis ¡reduces ¡

– the ¡social ¡and ¡normaFve ¡to ¡the ¡mental ¡ – the ¡mental ¡to ¡the ¡causal ¡ – the ¡causal ¡to ¡the ¡counterfactual ¡ – the ¡counterfactual ¡to ¡the ¡modal ¡and ¡the ¡nomic ¡ – the ¡modal ¡and ¡the ¡nomic ¡to ¡the ¡spaFotemporal ¡ and ¡the ¡natural ¡

Lewis’s ¡Analyses ¡

• Lewis’s ¡reducFons ¡are ¡usually ¡grounded ¡

in ¡definiFonal ¡conceptual ¡analyses ¡

– Oben ¡via ¡Ramsey-­‑sentence ¡definiFons ¡ ¡

• DefiniFons ¡are ¡held ¡to ¡be ¡necessary, ¡a ¡

priori, ¡analyFc? ¡

Lewis ¡on ¡Necessity ¡and ¡Apriority ¡

• Lewis ¡held ¡something ¡like: ¡

– When ¡S ¡doesn’t ¡have ¡2D ¡structure, ¡S ¡is ¡necessary ¡ iff ¡S ¡is ¡a ¡priori ¡ – When ¡S ¡has ¡2D ¡structure, ¡S ¡is ¡analyFcally ¡ equivalent ¡to ¡a ¡descripFon ¡using ¡2D ¡structure ¡plus ¡

• indexicals. ¡
• So: ¡supervenience ¡on ¡base ¡B ¡yields ¡a ¡priori ¡

entailment ¡by ¡B ¡plus ¡indexicals. ¡

Lewis’s ¡Supervenience ¡Base ¡

• Lewis’s ¡Humean ¡supervenience ¡base ¡

– Natural ¡properFes ¡distributed ¡in ¡a ¡spaFotemporal ¡ mosaic ¡

• Yields ¡necessitaFon ¡of ¡all ¡truths ¡by ¡

spaFotemporal/naturalness ¡truths ¡plus ¡a ¡ totality ¡truth. ¡

Lewis’s ¡A ¡Priori ¡Entailment ¡Base ¡

• Lewis’s ¡definiFonal ¡entailment ¡base: ¡

– Humean ¡supervenience ¡base ¡plus ¡indexical ¡truths: ¡ ‘I ¡am ¡…’, ¡‘Now ¡is ¡…’. ¡

• Lewis’s ¡primiFve ¡ideology: ¡

– Logical ¡expressions ¡ – SpaFotemporal ¡expressions ¡ – ‘Perfectly ¡natural’ ¡ – ‘I’, ¡‘now’. ¡

Lewis’s ¡ConstrucFon ¡

• ObjecFve ¡world-­‑sentence: ¡

– ∃natural ¡ ¡Φ1, ¡Φ2, ¡… ¡R(Φ1, ¡Φ2, ¡…) ¡ – There ¡exist ¡natural ¡properFes ¡Φ1, ¡Φ2, ¡ ¡… ¡ distributed ¡in ¡spaceFme ¡such ¡that ¡R(Φ1, ¡Φ2, ¡,…) ¡

• SubjecFve ¡world-­‑sentence: ¡ObjecFve ¡world-­‑

sentence ¡plus ¡‘I ¡am…’, ¡‘Now ¡is…’ ¡

• All ¡truths ¡(relaFve ¡to ¡speaker) ¡definiFonally ¡

entailed ¡by ¡subjecFve-­‑world ¡sentence? ¡

ComplicaFon: ¡Modal ¡Realism ¡

• Lewis’s ¡reducFon ¡of ¡modality: ¡

– ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡☐p ¡ ¡ ¡ ¡ ¡iff ¡ ¡ ¡ ¡ ¡p ¡is ¡true ¡in ¡all ¡possible ¡world ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡iff ¡ ¡ ¡ ¡ ¡ ¡p ¡is ¡true ¡in ¡all ¡spaFotemporal ¡islands. ¡ ¡

• But: ¡‘ ¡p ¡is ¡true ¡in ¡all ¡spaFotemporal ¡islands’ ¡

surely ¡(?) ¡doesn’t ¡analyFcally ¡entail ¡‘☐p’. ¡

ComplicaFon: ¡QuiddiFes ¡

• Lewis ¡on ¡Ramseyan ¡humility: ¡

– ‘R(mass, ¡charge, ¡…)’ ¡necessitates ¡all ¡truths ¡ – ‘∃natural ¡ ¡Φ1,Φ2 ¡R(Φ1, ¡Φ2, ¡…)’ ¡does ¡not ¡ [permutaFon, ¡aliens]. ¡

• But: ¡this ¡is ¡consistent ¡with ¡the ¡claim ¡that ¡ ¡ ¡ ¡ ¡ ¡ ¡

‘∃natural ¡ ¡Φ1,Φ2 ¡R(Φ1, ¡Φ2, ¡…)’ ¡a ¡priori ¡entails ¡all ¡ expressible ¡truths. ¡

– ‘mass’, ¡‘charge’, ¡etc ¡have ¡2D ¡structure ¡ – Forget ¡inexpressible ¡truths. ¡

Narrowing ¡the ¡Base ¡

• Lewis’s ¡Humean ¡base: ¡

– ∃natural ¡Φ1, ¡Φ2, ¡… ¡R(Φ1, ¡Φ2, ¡…) ¡ – R ¡appeals ¡to ¡spaceFme, ¡logic, ¡and ¡indexicals ¡

• Q: ¡can ¡we ¡get ¡rid ¡of ¡spaceFme ¡

– ∃natural ¡Φ1, ¡Φ2, ¡Φ3, ¡Φ4, ¡… ¡R(Φ1, ¡Φ2, ¡Φ3, ¡Φ4, ¡…) ¡ – R ¡appeals ¡to ¡logic ¡and ¡indexicals? ¡

Analysing ¡SpaceFme ¡

• This ¡needs ¡a ¡definiFon ¡of ¡spaFotemporal ¡

properFes/relaFons ¡in ¡terms ¡of ¡naturalness ¡ plus ¡logic ¡

– Collect ¡structural ¡plaFtudes ¡about ¡space ¡and ¡Fme. ¡ – E.g. ¡Fme ¡= ¡that ¡dimension ¡in ¡which ¡things ¡evolve ¡ in ¡a ¡predictable ¡way? ¡ – Space ¡= ¡nontemporal ¡dimensions ¡in ¡which ¡things ¡ are ¡distributed? ¡

Lewis ¡on ¡SpaceFme ¡

• Q1: ¡Does ¡Lewis ¡ever ¡suggest ¡this ¡or ¡any ¡sort ¡of ¡

analysis ¡of ¡spaFotemporal ¡concepts? ¡

• Q2: ¡Is ¡the ¡analysis ¡plausible? ¡

Austere ¡Base ¡

• Austere ¡Base: ¡
• ∃natural ¡Φ1, ¡Φ2, ¡Φ3, ¡Φ4, ¡… ¡R(Φ1, ¡Φ2, ¡Φ3, ¡Φ4, ¡…) ¡& ¡‘I ¡

am…’ ¡& ¡‘Now ¡is ¡…’ ¡

– There ¡exist ¡such-­‑and-­‑such ¡natural ¡properFes ¡and ¡ relaFons ¡distributed ¡in ¡such-­‑and-­‑such ¡way ¡with ¡ respect ¡to ¡each ¡other ¡(and ¡I ¡am ¡… ¡and ¡now ¡is ¡…). ¡

• Like ¡Carnap’s ¡final ¡base ¡in ¡the ¡Aunau: ¡logic, ¡

naturalness ¡[plus ¡indexicals]. ¡ ¡ ¡

• A ¡pure ¡structure ¡sentence? ¡
• An ¡austere ¡base ¡for ¡construcFng ¡the ¡world. ¡

Challenges ¡

• Does ¡the ¡austere ¡Lewisian ¡Au#au ¡work? ¡

– One ¡might ¡challenge ¡the ¡analysis ¡of ¡the ¡ spaFotemporal, ¡the ¡nomic, ¡the ¡mental, ¡… ¡ – One ¡might ¡also ¡challenge ¡the ¡appeal ¡to ¡definiFons ¡

• This ¡depends ¡on ¡substanFve ¡commitments ¡
• It ¡also ¡leaves ¡open ¡less ¡austere ¡Au#aus ¡

– Nomic, ¡phenomenal, ¡spaFotemporal ¡in ¡base? ¡ – A ¡priori ¡entailment ¡rather ¡than ¡definiFon? ¡

Conclusion ¡

• Lewis’s ¡life’s ¡work ¡offers ¡the ¡materials ¡for ¡a ¡

Carnapian ¡construcFon ¡of ¡the ¡world. ¡