Logic, planning agency and branching time
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-09-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/20499 |
| _version_ | 1818543252532363264 |
|---|---|
| author | Ricardo Souza Silvestre |
| author_facet | Ricardo Souza Silvestre |
| author_sort | Ricardo Souza Silvestre |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T22:32:55Z |
| format | Article |
| id | doaj.art-555b6318d0cc4a72b1aa4ccf7d5eb881 |
| institution | Directory Open Access Journal |
| issn | 1414-4247 1808-1711 |
| language | English |
| last_indexed | 2024-12-11T22:32:55Z |
| publishDate | 2010-09-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj.art-555b6318d0cc4a72b1aa4ccf7d5eb8812022-12-22T00:48:05ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1414-42471808-17112010-09-0114342143810.5007/1808-1711.2010v14n3p42115648Logic, planning agency and branching timeRicardo Souza Silvestre0Departamento de Filosofia Universidade Federal de Campina GrandeO 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.https://periodicos.ufsc.br/index.php/principia/article/view/20499lógica modal da açãoação em planoteoria do tempo ramificado |
| spellingShingle | Ricardo Souza Silvestre Logic, planning agency and branching time Principia: An International Journal of Epistemology lógica modal da ação ação em plano teoria do tempo ramificado |
| title | Logic, planning agency and branching time |
| title_full | Logic, planning agency and branching time |
| title_fullStr | Logic, planning agency and branching time |
| title_full_unstemmed | Logic, planning agency and branching time |
| title_short | Logic, planning agency and branching time |
| title_sort | logic planning agency and branching time |
| topic | lógica modal da ação ação em plano teoria do tempo ramificado |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/20499 |
| work_keys_str_mv | AT ricardosouzasilvestre logicplanningagencyandbranchingtime |