Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal propositional connectives. In the second section, times are treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over times. In the third section, locations in space are also treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over both times and locations. Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems. Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.
Seguir leyendoexpand_more
Título : Time and Space in Formal Logic
EAN : 9781938421693
Editorial : Advanced Reasoning Forum
Edad, de : 18 años
Fecha de publicación
: 13/9/22
Formato : PDF
Tamaño del archivo : 2.59 mb
Protección : Adobe DRM
El libro electrónico Time and Space in Formal Logic está en formato PDF
protegido por Adobe DRM
- highlight_off
Este eBook no es compatible para su lectura en las aplicaciones Vivlio de iOs y Android.
- highlight_off
Este eBook no es compatible para leer en My Vivlio.
- highlight_off
Este eBook no es compatible para su lectura en el lector Vivlio.
- check_circle
Este eBook requerirá software propietario para ser leído en el e-reader. Además, el lector electrónico no permite adaptar el tamaño de letra a este formato.
¿Quieres leer en un eReader de otra marca? Sigue
nuestra guía.
Edición en Inglés
Conectarme
Mi cuenta