Abduction in Labelled Deductive Systems

2000 ◽  
pp. 99-154 ◽  
Author(s):  
D. M. Gabbay
Keyword(s):  
Deductive Systems ◽  
Labelled Deductive Systems

scholarly journals SEMANTIC POLLUTION AND SYNTACTIC PURITY

2015 ◽  
Vol 8 (4) ◽  
pp. 649-661 ◽  
Author(s):  
STEPHEN READ
Keyword(s):  
Modal Logic ◽  
Formal System ◽  
Logical Constants ◽  
Deductive Systems ◽  
Labelled Deductive Systems

AbstractLogical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically pure as any formal system in which the rules define the meanings of the logical constants.

Metatheories of deductive systems

2004 ◽  
Author(s):  
Sergei V. Babyonyshev
Keyword(s):  
Deductive Systems
Sign in / Sign up

Export Citation Format

Share Document