Computer simulation vs. computer-aided proof -- a priori or a posteriori?

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:

09 Jul 2024 09:21

URI:

https://boris.unibe.ch/id/eprint/194247

Actions (login required)

Edit item Edit item
Provide Feedback