{
  "path": "/621",
  "site": "at://did:plc:zxclnyklmf3ehq57qwe56v5m/site.standard.publication/3meej2eztev26",
  "tags": [
    "Sebenta"
  ],
  "$type": "site.standard.document",
  "title": "Ceticismo sobre o mundo exterior",
  "updatedAt": "2025-07-25T12:45:24+00:00",
  "description": "Não sabemos que temos duas mãos. Aqui está a prova, em que M é a proposição ‘eu tenho duas mãos’, HC é a proposição descrita por alguma hipótese céptica (como a de que somos enganados por um génio maligno, ou de que somos um cérebro numa cuba, etc), e Ksϕ é a abreviatura de ‘eu sei que ϕ’: Se não queremos aceitar a conclusão ¬KsM, que premissa devemos negar e com que fundamento?",
  "publishedAt": "2017-05-03T12:44:00+00:00",
  "textContent": "Não sabemos que temos duas mãos. Aqui está a prova, em que M é a proposição ‘eu tenho duas mãos’, HC é a proposição descrita por alguma hipótese céptica (como a de que somos enganados por um génio maligno, ou de que somos um cérebro numa cuba, etc), e Ksϕ é a abreviatura de ‘eu sei que ϕ’: [KsM ∧ Ks(M→¬HC)] → Ks¬HC Ks(M→¬HC) ¬Ks¬HC ∴ ¬[KsM ∧ Ks(M→¬HC)] (de 1 e 3, por modus tollens) ∴ ¬KsM (de 2 e 4, por silogismo conjuntivo) QED Se não queremos aceitar a conclusão ¬KsM, que premissa devemos negar e com que fundamento?"
}