Inferentialism, structure, and conservativeness
Journal
From Rules to Meanings: New Essays on Inferentialism
ISBN
978-135159551-3, 978-113810261-3
Date Issued
2018
Author(s)
Hjortland, O.
Abstract
Logical inferentialism is, roughly, the view that the meaning of a logical connective is determined by the inference rules governing that connective. For example, in systems of natural deduction the introduction and elimination rules for a connective fix its meaning. The paradigmatic example is conjunction, governed by the following rules.
Type
thesis