Corpus ID: 39510185

Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation

@article{Arisaka2015GradualCL,
  title={Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation},
  author={Ryuta Arisaka},
  journal={ArXiv},
  year={2015},
  volume={abs/1504.04802}
}
Our understanding about things is conceptual. By stating that we reason about objects, it is in fact not the objects but concepts referring to them that we manipulate. Now, so long just as we acknowledge infinitely extending notions such as space, time, size, colour, etc, - in short, any reasonable quality - into which an object is subjected, it becomes infeasible to affirm atomicity in the concept referring to the object. However, formal/symbolic logics typically presume atomic entities upon… Expand
1 Citations
Predicate Gradual Logic and Linguistics
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 ofExpand

References

SHOWING 1-10 OF 25 REFERENCES
Gradual Classical Logic for Attributed Objects
TLDR
This work inspects tacit agreements on assumptions about the relation between objects and their attributes, and studies a way of expressing them, presenting as the result what the authors term gradual logic in which the sense of truth gradually shifts. Expand
Notes on Formalizing Context
TLDR
These notes discuss formalizing contexts as first class objects, proposing a single language with all the desired capabilities to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Expand
Representing Multiple Theories
TLDR
This paper develops a simple propositional logic of context suitable for representing and reasoning with multiple domain theories, introducing contexts as modal operators, and allowing different contexts to have different vocabularies. Expand
Propositional Logic of Context
TLDR
This paper describes both the syntax and semantics of a general propositional language of context, and gives a Hilbert style proof system for this language, and provides soundness and completeness results for various extensions of the general system. Expand
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
TLDR
A new semantics is presented, called Local Models Semantics, and it is used to provide a foundation to reasoning with contexts, and validated by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about belief. Expand
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
TLDR
It is demonstrated how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPace-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete. Expand
316 Notre Dame Journal of Formal Logic
Katz 's new clothes Katz's new view about language and linguistics comes in two parts: platonism and nonreductionism. Those of us who have been skeptical about the empirical basis for claims thatExpand
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
TLDR
Iris, a concurrent separation logic with a simple premise: monoids and invariants are all you need, supports the encoding of *logically atomic specifications*, i.e., Hoare-style specs that permit the client of an operation to treat the operation essentially as if it were atomic, even if it is not. Expand
The Stanford Encyclopedia of Philosophy: A Developed Dynamic Reference Work
The present information explosion on the World Wide Web poses a problem for the general public and the members of an academic discipline alike, of how to find the most authoritative, comprehensive,Expand
Corcoran's aristotelian syllogistic as a subsystem of first-order logic
Aristotelian syllogistic has been formalized for some time now by means of a natural deduction system, called D by John Corcoran. In a classical paper, Corcoran proves a completeness theorem for suchExpand
...
1
2
3
...