On the Structure of Natural Deduction Derivations for "Generally"

Date: 
Fri, 02/17/2017 - 12:00 - 13:00
Speaker(s)
Leonardo B. Vana (Universidade Federal Fluminense, UFF, Brazil)

Title: On the Structure of Natural Deduction Derivations for "Generally"

Abstract

We examine the structure of natural deduction derivations for some versions of ‘generally’ represented by generalized quantifiers. Versions of ‘generally’ (e. g. ‘most’, ‘many’, ‘several’) appear often in ordinary language and in some branches of science. To handle assertions with such vague notions, First-Order Logic is extended to logics for ‘generally’, which can be formulated as natural deduction systems with some special rules. These natural deduction systems for ‘generally’ share some macroscopic properties with First-Order Logic, but may differ with respect to some microscopic properties. We introducesome special systems and analyze the inner structure of their natural deduction derivations.