{
  "path": "/565",
  "tags": [
    "Sebenta"
  ],
  "$type": "site.standard.document",
  "title": "O livre-arbítrio é compatível com a presciência divina?",
  "author": {
    "name": "Domingos Faria"
  },
  "content": "<!-- wp:paragraph -->\n<p>Peter van Inwagen tem um argumento contra o compatibilismo entre o determinismo e o livre-arbítrio. Penso que também se pode construir um argumento similar para mostrar que a presciência divina é incompatível com o livre-arbítrio humano. Considere-se o seguinte:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Abreviaturas:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>‘T’ = ‘um momento de tempo no passado’</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>‘GK’ = ‘Operador que expressa «Deus infalivelmente acredita que…»’</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>‘pt’ = ‘uma proposição p que articula um evento num tempo t posterior ao tempo T’</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>‘□’ = ‘Operador que expressa «É logicamente necessário que»’.</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>‘N’ = ‘Operador que expressa «Não depende de nós que»’.</li>\n<!-- /wp:list-item --></ul>\n<!-- /wp:list -->\n\n<!-- wp:paragraph -->\n<p>Teses:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>(i) No passado T, Deus acredita infalivelmente que p será o caso em t = GKTpt</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(ii) Temos livre arbítrio para fazer p em t = ¬Npt</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Incompatibilismo entre (i) e (ii) = GKTpt→Npt</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Compatibilismo entre (i) e (ii) = GKTpt∧¬Npt</li>\n<!-- /wp:list-item --></ul>\n<!-- /wp:list -->\n\n<!-- wp:paragraph -->\n<p>Argumento a favor do incompatibilismo:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>(1) GKTpt  [premissa-suposição: Deus infalivelmente acredita pt no passado]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(2) N(GKTpt)  [premissa: não depende de nós o que Deus infalivelmente acredita no passado]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(3) □(GKTpt→pt)  [premissa: definição de infalibilidade]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(4) N(GKTpt→pt) [de 3, regra (α) do operador N]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(5) Npt [de 2 e 4, regra (β) do operado N]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>(6) GKTpt→Npt [de 1-5, regra de introdução da condicional]</li>\n<!-- /wp:list-item --></ul>\n<!-- /wp:list -->\n\n<!-- wp:paragraph -->\n<p>Será este um argumento procedente? Quem aceita a compatibilidade entre o livre-arbítrio e a presciência divina não pode aceitar a conclusão (6). Deste modo, para continuar a defender a tese da compatibilidade, quem advoga o compatibilismo entre a presciência divina e o livre-arbítrio terá de rejeitar alguma das seguintes proposições:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>N(GKTpt)</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>□(GKTpt→pt)</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>A regra (α) é válida</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>A regra (β) é válida</li>\n<!-- /wp:list-item --></ul>\n<!-- /wp:list -->\n\n<!-- wp:paragraph -->\n<p>Mas será alguma dessas vias uma opção realmente viável?</p>\n<!-- /wp:paragraph -->",
  "summary": "Peter van Inwagen tem um argumento contra o compatibilismo entre o determinismo e o livre-arbítrio. Penso que também se pode construir um argumento similar para mostrar que a presciência divina é incompatível com o livre-arbítrio humano. Considere-se o seguinte: Abreviaturas: ‘T’ = ‘um momento de tempo no passado’ ‘GK’ = ‘Operador que expressa «Deus infalivelmente...",
  "createdAt": "2015-03-25T12:04:00+00:00",
  "updatedAt": "2025-07-25T12:06:05+00:00"
}