Logic, planning agency and branching time

Principia: An International Journal of Epistemology 14 (3):421-438 (2010)
  Copy   BIBTEX

Abstract

O propósito desse artigo é fornecer um tratamento formal para um tipo de ação até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para investigar as características básicas da ação em plano. Além de introduzir uma semântica do tempo ramificado, nós também apresentamos um cálculo correto e completo com relação a essa semântica. DOI:10.5007/1808-1711.2010v14n3p421

Categories

Keywords

Reprint years

2011

DOI

10.5007/1808-1711.2010v14n3p421

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Crença, regra e ação.Luiz Henrique de Araújo Dutra - 2010 - Principia: An International Journal of Epistemology 14 (2):279-308.
Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.
É a ciência a razão em ação ou ação social sem razão?Alberto Oliva - 2009 - Scientiae Studia 7 (1):105-134.
Dimensão filosófica e política do pensamento ambiental contemporâneo.Antonio Teixeira de Barros - 2012 - Veritas – Revista de Filosofia da Pucrs 57 (1).
Branching space-time, modal logic, and the counterfactual conditional.Thomas Muller - 2001 - In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer Academic Publishers. pp. 273--291.
On A- and B-theoretic elements of branching spacetimes.Matt Farr - 2012 - Synthese 188 (1):85-116.
Epistemologic controversy on quantum operators.Rafael-Andrés Alemañ-Berenguer - 2010 - Principia: An International Journal of Epistemology 14 (2):241-253.
Da Virtude ao Terror: o itinerário de um pensador revolucionário.Marcelo Alves - 2008 - Princípios 15 (23):89-116.
Las ambiguidades de la negación: un análisis lógico-linguí­stico.Jorge Alberto Molina - 2009 - Princípios 16 (25):63-90.
Branching-time logic with quantification over branches: The point of view of modal logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Direitos humanos e dignidade política da cidadania em Hannah Arendt.Iara Lucia Mellegari & Cesar Augusto Ramos - 2011 - Princípios 18 (29):149-178.
Michael Faraday e o manuscrito Matter: uma solução metafísica para o problema da ação a distância.Sonia Maria Dion - 2006 - Scientiae Studia 4 (4):615-620.

Analytics

Added to PP
2013-04-12

Downloads
36 (#419,193)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ricardo Silvestre
Federal University of Campina Grande

Citations of this work

No citations found.

Add more citations

References found in this work

Intention, plans, and practical reason.Michael Bratman - 1987 - Cambridge: Cambridge, MA: Harvard University Press.
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Intention.P. L. Heath - 1960 - Philosophical Quarterly 10 (40):281.

View all 19 references / Add more references