000 05324aam a22006491i 4500
001 021339054
003 UkOxU
005 20200523122304.0
006 m || d |
007 cr |||||||||||
008 181024s2018 gw a o 000 0 eng d
015 _aGBB9C5960
_2bnb
020 _a9783319774343
_q(electronic book)
020 _a3319774344
_q(electronic book)
020 _a9783319774336
020 _a3319774336
024 7 _a10.1007/978-3-319-77434-3
_2doi
035 _a(Uk)019109007
037 _acom.springer.onix.9783319774343
_bSpringer Nature
040 _aLEAUB
_beng
_erda
_epn
_cLEAUB
_dOCLCO
_dOCLCF
_dYDX
_dOCLCQ
_dCOO
_dIAD
_dYDXIT
_dUk
042 _aukblsr
050 4 _aB808.5
_b.I58 2018
072 7 _aHPCF5
_2bicssc
072 7 _aPHI039000
_2bisacsh
072 7 _aQDHR9
_2thema
082 0 4 _a146.4
_223
245 0 0 _aIntroduction to formal philosophy /
_cSven Ove Hansson, Vincent F. Hendricks, editors.
264 1 _aCham, Switzerland :
_bSpringer,
_c[2018].
300 _a1 online resource.
336 _atext
_2rdacontent
337 _acomputer
_2rdamedia
338 _aonline resource
_2rdacarrier
490 0 _aSpringer undergraduate texts in philosophy
500 _aAcademic
505 0 _aPart I: The scope and methods of formal philosophy -- Chapter 1. Formalization (Sven Ove Hansson) -- Part II: Reasoning and inference -- Chapter 2. Non-monotonic reasoning (Alex Bochman) -- Chapter 3. Argument (Henry Prakken) -- Chapter 4. Induction (Rafal Urbaniak and Diderik Batens) -- Chapter 5. Bivalence and future contingency (François Rivenc, Carlo Proietti, and Gabriel Sandu) -- Chapter 6. Conditionals (John Cantwell) -- Chapter 7. Neural network models for conditionals (Hannes Leitgeb) -- Chapter 8. Proof theory (Jeremy Avigad) -- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh Novaes) -- Part III: Metaphysics and philosophy of language -- Chapter 10. Theory of concepts (Erich Rast) -- Chapter 11. Categories (Jean-Pierre Marquis) -- Chapter 12. Necessity and possibility (Melvin Fitting) -- Chapter 13. Reference and denotation (Robert van Rooy) -- Chapter 14. Indexicals (Philippe Schlenker) --
505 0 _aChapter 14. Can natural language be captured in a formal system? (Martin Stokhof) -- Part IV: Epistemology -- Chapter 15. Knowledge representation for philosophers (Richmond H. Thomason) -- Chapter 16. Epistemic logic and epistemology (Wesley H. Holliday) -- Chapter 16. Belief change (Sven Ove Hansson) -- Chapter 17. Coherence (Sven Ove Hansson) -- Chapter 18. Probability theory (Darrell P. Rowbottom) -- Chapter 19. Bayesian epistemology (Erik J. Olsson). Part V: Philosophy of science -- Chapter 20. Models of the development of scientific theories (Gerhard Schurz) -- Chapter 21. Computational models in science and philosophy (Paul Thagard) -- Chapter 22. Space and time (John Manchak) -- Chapter 23. A formal theory of causation (Richard Scheines) -- Part VI: Axiology and moral philosophy -- Chapter 24. Formal investigations of value (Sven Ove Hansson) -- Chapter 25. Value theory (axiology) (Erik Carlson) -- Chapter 26. Preference and choice (Sven Ove Hansson) --
505 0 _aChapter 27. Preference Change (Fenrong Liu) -- Deontic logic (Sven Ove Hansson) -- Chapter 28. Action theories, Andreas Herzig (Emiliano Lorini, and Nicolas Troquard) -- Part VII: Decision theory and social philosophy -- Chapter 29. Decision theory: A formal philosophical introduction (Richard Bradley) -- Chapter 30. Bayesian decision theory (Jeffrey Helzner) -- Chapter 31. Representing uncertainty (Sven Ove Hansson) -- Money-pumps (Sven Ove Hansson) -- Chapter 32. Causal decision theory (Brad Armendt) -- Dynamic decision theory (Katie Steele) -- Chapter 33. Logical approaches to law (John Woods) -- Chapter 34. Judgement aggregation (Philippe Mongin) -- Chapter 35. Social choice and voting (Prasanta K. Pattanaik).
506 1 _aLegal Deposit;
_cOnly available on premises controlled by the deposit library and to one user at any one time;
_eThe Legal Deposit Libraries (Non-Print Works) Regulations (UK).
_5UkOxU
540 _aRestricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
_5UkOxU
546 _aEnglish
588 _aDescription based on online resource; title from digital title page (viewed on July 10, 2019).
650 0 _aAnalysis (Philosophy)
_939715
650 0 _aComputer science.
_939717
650 0 _aLogic, Symbolic and mathematical.
_919579
650 0 _aEthics.
_939719
650 7 _aAnalysis (Philosophy)
_2fast
_0(OCoLC)fst00808323
_939715
650 7 _aComputer science.
_2fast
_0(OCoLC)fst00872451
_939717
650 7 _aEthics.
_2fast
_0(OCoLC)fst00915833
_939719
650 7 _aLogic, Symbolic and mathematical.
_2fast
_0(OCoLC)fst01002068
_919579
700 1 _aHansson, Sven Ove,
_eeditor.
_92005
700 1 _aHendricks, Vincent F.,
_eeditor.
_939721
856 _uhttps://online.fliphtml5.com/lluzx/lwns/
_zЦахимаар унших
884 _aLDL ebooks ONIX to marcxml transformation using Record_Load-eBooks_Legal_Deposit_onix2marc_v2-1.xsl
_g20181029
_kcom.springer.onix.9783319774343
_qUk
942 _2ddc
_cEB
999 _c17746
_d17746