Detalles MARC
| 000 -LEADER |
|---|
| fixed length control field |
04879nam a2200445 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
co-ctgiumayor |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240715090055.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
181024s2018 s 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319774343 |
| Qualifying information |
(electronic book) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319774344 |
| Qualifying information |
(electronic book) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319774336 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319774336 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
CO-CtgIUMC |
| Language of cataloging |
spa |
| Transcribing agency |
coctgiumc |
| Modifying agency |
rda |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
ukblsr |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
146.4 |
| Item number |
I619f |
| Edition number |
23 |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Introduction to formal philosophy |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
Sven Ove Hansson, Vincent F. Hendricks, editors. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : : |
| Name of producer, publisher, distributor, manufacturer |
Springer,, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2018] |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
[2018] |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 recurso en línea. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
texto |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computador |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
recurso en línea |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Springer undergraduate texts in philosophy |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Academic. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Incluye referencias bibliográficas e índice. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Part 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{copy}{softsign}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) Chapter 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) ----Chapter 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). |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Este libro de texto de pregrado presenta métodos clave y examina las principales áreas de filosofía en las que los métodos formales desempeñan papeles fundamentales. La cobertura comienza con una introducción exhaustiva a la formalización y a las ventajas y dificultades de los métodos formales en filosofía. Los capítulos siguientes muestran cómo usar métodos formales en una amplia gama de áreas. La filosofía formal combina el trabajo en diferentes áreas de la filosofía, así como la lógica, las matemáticas, la informática, la lingüística, la física, la psicología, la biología, la economía, la teoría política y la sociología. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Descripcion basada en recurso en linea; ttítulo en página (viewed on July 10, 2019) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Análisis (Filosofía) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Ciencias de la computación. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Lógica matemática. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Lógica simbólica. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Etica. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hansson, Sven Ove, |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hendricks, Vincent F., |
| Relator term |
editor. |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1ikEoMdQAAeBL8GWnLGF_zWJ2tchqSIGh/view?usp=sharing">https://drive.google.com/file/d/1ikEoMdQAAeBL8GWnLGF_zWJ2tchqSIGh/view?usp=sharing</a> |
| Public note |
Dar click aqui para ver texto completo |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libros electrónicos |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
