Carnap: an Open Framework for Formal Reasoning in the Browser

Electronic Proceedings in Theoretical Computer Science 267:70-88 (2018)
  Copy   BIBTEX

Abstract

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along with its current and projected pedagogical applications.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Carnap Book, by Graham Leach-Krouse. [REVIEW]Matt LaVine - 2021 - Teaching Philosophy 44:393-399.
Carnap's Formal Philosophy of Science.Hans P. Halvorson - forthcoming - In Christian Dambock & Georg Schiemer (eds.), Rudolf Carnap Handbuch. Metzler Verlag.
How Tolerant Can You Be? Carnap on Rationality.Florian Steinberger - 2015 - Philosophy and Phenomenological Research 92 (3):645-668.
Carnap on Abstract and Theoretical Entities.Gregory Lavers - 2016 - In Stephan Blatti & Sandra Lapointe (eds.), Ontology after Carnap. Oxford, England: Oxford University Press UK.
Carnapian frameworks.Gabriel L. Broughton - 2021 - Synthese 199 (1-2):4097-4126.
Carnap, formalism, and informal rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.

Analytics

Added to PP
2019-03-03

Downloads
655 (#40,315)

6 months
110 (#53,505)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Leach-Krouse
Kansas State University

Citations of this work

No citations found.

Add more citations

References found in this work

The AProS Project: Strategic Thinking & Computational Logic.Wilfried Sieg - 2007 - Logic Journal of the IGPL 15 (4):359-368.

Add more references