Predicate Gradual Logic and Linguistics

03/17/2016
by   Ryuta Arisaka, et al.
0

There are several major proposals for treating donkey anaphora such as discourse representation theory and the likes, or E-Type theories and the likes. Every one of them works well for a set of specific examples that they use to demonstrate validity of their approaches. As I show in this paper, however, they are not very generalisable and do not account for essentially the same problem that they remedy when it manifests in other examples. I propose another logical approach. I develoop logic that extends a recent, propositional gradual logic, and show that it can treat donkey anaphora generally. I also identify and address a problem around the modern convention on existential import. Furthermore, I show that Aristotle's syllogisms and conversion are realisable in this logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/11/2014

In principle determination of generic priors

Probability theory as extended logic is completed such that essentially ...
research
07/04/2022

Discourse-Aware Graph Networks for Textual Logical Reasoning

Textual logical reasoning, especially question answering (QA) tasks with...
research
05/25/2021

A Canonical Fuzzy Logic

A presentation is provided of the basic notions and operations of a) the...
research
03/23/2011

Representing First-Order Causal Theories by Logic Programs

Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner...
research
02/08/2022

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle

We describe a natural deduction formalization of intuitionistic and clas...
research
03/01/1998

Tractability of Theory Patching

In this paper we consider the problem of `theory patching', in which we ...
research
07/11/2023

Strengthening Consistency Results in Modal Logic

A fundamental question asked in modal logic is whether a given theory is...

Please sign up or login with your details

Forgot password? Click here to reset