Discussions |
Existence and Identity in Free Logic: A Problem for Inferentialism?
Department of Philosophy, The Ohio State University, Columbus, Ohio 43210, USA email tennant{at}osu.edu
| Abstract |
|---|
Peter Milne (2007) poses two challenges to the inferential theorist of meaning. This study responds to both. First, it argues that the method of natural deduction idealizes the essential details of correct informal deductive reasoning. Secondly, it explains how rules of inference in free logic can determine unique senses for the existential quantifier and the identity predicate. The final part of the investigation brings out an underlying order in a basic family of free logics.