PP-2003-03: Is There Still Logic in Bolzano's Key?

PP-2003-03: van Benthem, Johan (2003) Is There Still Logic in Bolzano's Key? [Report]

[img]
Preview
Text (Full Text (PDF))
PP-2003-03.text.pdf

Download (56kB) | Preview
[img] Text (Full Text (PS))
PP-2003-03.text.ps.gz

Download (485kB)
[img] Text (Abstract)
PP-2003-03.abstract.txt

Download (394B)

Abstract

Bernard Bolzano's logical system still has quite relevant features today. We discuss three of these: general styles of reasoning and their structural properties, the role of vocabulary in inference, and local consequence inside models.

Item Type: Report
Report Nr: PP-2003-03
Series Name: Prepublication (PP) Series
Year: 2003
Uncontrolled Keywords: Bolzano, consequence, structural rules, logical constants, interpolation
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/87

Actions (login required)

View Item View Item