Bienvenido! estás en Mandrake Libros web
Menú
Inicio / Catalogo / Hpcf3 / Time and Space in Formal Logic

RICHARD LOUIS EPSTEIN
Time and Space in Formal Logic

Advanced Reasoning Forum

Impresión bajo demanda. Llega en 14 dias.

Páginas: 304
Formato:
Peso: 0.527 kgs.
ISBN: 978-1-938421-68-6

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.

Time and Space in Formal Logic

$44.698,80
24 cuotas de $5.603,18
10% de descuento pagando con Transferencia o depósito bancario
Ver medios de pago
Envío gratis superando los $24.990
Time and Space in Formal Logic $44.698,80
Entregas para el CP:
Cambiar CP

Medios de envío

Nuestro local

  • Mandrake Libros Rioja 1869 - Rosario- Lunes a Viernes de 10 a 19 hs. Te informaremos cuando esté listo para retirar.

    Gratis

RICHARD LOUIS EPSTEIN
Time and Space in Formal Logic

Advanced Reasoning Forum

Impresión bajo demanda. Llega en 14 dias.

Páginas: 304
Formato:
Peso: 0.527 kgs.
ISBN: 978-1-938421-68-6

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.