Sistema de Bibliotecas Corporación Universitaria Rafael Núñez

Introduction to formal philosophy (Registro nro. 29532)

Detalles MARC
000 -LEADER
campo de control de longitud fija 05035nam a2200445 a 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20260701202227.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija m d
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr cnu---uuuuu
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 181024s2018 s 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319774343
Información calificativa (electronic book)
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3319774344
Información calificativa (electronic book)
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319774336
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3319774336
040 ## - FUENTE DE CATALOGACIÓN
Centro catalogador/agencia de origen CO-CtgCURN
Lengua de catalogación spa
Centro/agencia transcriptor coctgcurn
042 ## - CÓDIGO DE AUTENTICACIÓN
Código de autenticación ukblsr
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 146.4
Información de edición 23
245 00 - MENCIÓN DEL TÍTULO
Título Introduction to formal philosophy
Medio [electronic resource] /
Mención de responsabilidad, etc. Sven Ove Hansson, Vincent F. Hendricks, editors.
260 #4 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Cham, Switzerland : : :
Nombre del editor, distribuidor, etc. Springer,,,
Fecha de publicación, distribución, etc. [2018]
260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. [2018]
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 recurso en línea.
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Código de tipo de contenido txt
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio computador
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte recurso en línea
Código del tipo de soporte cr
Fuente rdacarrier
490 0# - MENCIÓN DE SERIE
Mención de serie Springer undergraduate texts in philosophy
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Nota Incluye referencias bibliográficas e índice.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 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©ʹ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).
588 ## - NOTA DE FUENTE DE LA DESCRIPCIÓN
Nota de fuente de la descripción Descripcion basada en recurso en linea; ttítulo en página (viewed on July 10, 2019)
500 ## - NOTA GENERAL
Nota general Academic.
520 8# - RESUMEN, ETC.
Sumario, 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.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Análisis (Filosofía)
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Ciencias de la computación.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lógica matemática.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lógica simbólica.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Etica.
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona Hansson, Sven Ove,
Término indicativo de función/relación editor.
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona Hendricks, Vincent F.,
Término indicativo de función/relación editor.
852 ## - LOCALIZACIÓN
Ubicación MHC
Sublocalización o colección MHC
Ubicación en estantería CF
Parte de clasificación 146.4
Parte de ítem I619f
856 7# - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme de Recurso <a href="https://unicurn.sharepoint.com/:b:/s/biblioteca/EZi9wCYv3VxDrm8ZVlS1ybcBC7A_XllEhnBPYbtkWsZweA?e=TfkbJe">https://unicurn.sharepoint.com/:b:/s/biblioteca/EZi9wCYv3VxDrm8ZVlS1ybcBC7A_XllEhnBPYbtkWsZweA?e=TfkbJe</a>
Nota pública <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA)
Tipo de ítem Koha Libros electrónicos
Parte de clasificación 146.4
Parte de ítem I619f
Fuente de la clasificación o esquema de estantería Clasificación Decimal Dewey
Existencias
Estatus retirado Estado de pérdida Fuente de la clasificación o esquema de estantería Estado de daño Clasificación normalizada Koha para ordenación No para préstamo Colección Biblioteca de origen Biblioteca actual Ubicación en estantería Fecha de adquisición Total de préstamos Signatura topográfica completa Visto por última vez Tipo de ítem Koha Precio de reemplazo
    Clasificación Decimal Dewey   146_400000000000000_I619F   Libros electrónicos Biblioteca Miguel Henríquez Castañeda Biblioteca Miguel Henríquez Castañeda Libros electrónicos 2025-03-29   146.4 I619f 2025-03-29 Libros electrónicos 2025-03-29