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) ¡& ¡… ¡ – ∃ natural R ¡ ∃ ¡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#au s ¡ – 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. ¡