Beisbart, Claus (21 August 2023). Computer simulation vs. computer-aided proof -- a priori or a posteriori? (Unpublished). In: European Congress for Analytical Philosophy (ECAP11). Wien.
Computer simulations and computer-aided proofs both use digital computers. Despite that, they have not often been considered together. Yet, both methods raise similar questions. In particular, are they a priori or rather a posteriori? In both cases, there are conflicting intuitions. By connecting literature from philosophy of computer simulation and philosophy of mathematics, I argue that the answers depend on similar sets of other questions, e.g. in which way experience is “needed” to underwrite a posteriori knowledge and what exactly the epistemic subject is. I use related distinctions to show that both methods are in an interesting sense a priori.
Item Type: |
Conference or Workshop Item (Speech) |
|---|---|
Division/Institute: |
06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy 06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy > Theoretical Philosophy |
UniBE Contributor: |
Beisbart, Claus |
Subjects: |
100 Philosophy > 120 Epistemology |
Language: |
English |
Submitter: |
Claus Beisbart |
Date Deposited: |
19 Mar 2024 12:12 |
Last Modified: |
19 Mar 2024 12:12 |
URI: |
https://boris.unibe.ch/id/eprint/194247 |
Actions (login required)
 |
Edit item |