2015-2016 2016-2017 2017-2018 2018-2019 2019-2020
Browse
by subject...
    Schedule
view...
 

1 - 1 of 1 results for: PHIL 53S: Reasoning with Diagrams

PHIL 53S: Reasoning with Diagrams

The course covers formal techniques for logical reasoning with both diagrams and sentences. The sentential part covers the same material as a standard course on first-order logic, though in less depth. It includes syntax, semantics and proof theory, but does not include any meta-theory. The diagrammatic part is novel, focusing on techniques for solving reasoning problems using diagrams and sentences in concert. We take seriously the idea that diagrams convey information in the same sense that sentences do and that it is possible to provide forma criteria for logically correct reasoning with diagrams. We use the Hyperproof courseware package which includes desktop software, an online assessment service which allows student to experiment hands-on with the material, and other online resources.
Terms: Sum | Units: 3
Filter Results:
term offered
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints