Results 1  10
of
29
Dynamic Semiotics
"... this paper I shall make a case for a dynamic semiotics. I list a set of phenomena that are difficult to understand in standard theories, and suggest a model borrowed from theories of complex dynamic systems. Since such theories rely on processes of selforganization that often defy analytical treatm ..."
Abstract

Cited by 35 (2 self)
 Add to MetaCart
this paper I shall make a case for a dynamic semiotics. I list a set of phenomena that are difficult to understand in standard theories, and suggest a model borrowed from theories of complex dynamic systems. Since such theories rely on processes of selforganization that often defy analytical treatment, I use small computational models for assessing the empirical consequences of the theories.
A Formalization of Viewpoints
 FUNDAMENTA INFORMATICAE
, 1995
"... We present a formalisation for the notion of viewpoint , a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus through an axiomatization of provability and with the addition of proper reflection rul ..."
Abstract

Cited by 34 (3 self)
 Add to MetaCart
We present a formalisation for the notion of viewpoint , a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus through an axiomatization of provability and with the addition of proper reflection rules. The extension is not conservative, but consistency is granted. Viewpoints are defined as set of reified metalevel sentences. A proof theory for viewponts is developed which enables to carry out proofs of sentences involving several viewpoints. A semantic account of viewpoints is provided, dealing with issues of self referential theories and paradoxes, and exploiting the notion of contextual entailment . Notions such as beliefs, knowledge, truth and situations can be uniformly modeled as provability in specialised viewpoints, obtained by imposing suitable constraints on viewpoints.
Ultimate truth vis à vis stable truth
 Journal of Philosophical Logic
, 2003
"... Abstract. We show that the set of ultimately true sentences in Hartry Field’s Revengeimmune solution to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
Abstract. We show that the set of ultimately true sentences in Hartry Field’s Revengeimmune solution to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second order number theory is needed to establish the semantic values of sentences over the ground model of the standard natural numbers: ¢¡Comprehension Axiom scheme) is insufficient. £¤¦¥¨ § (second order number theory with a ©��
The Four Basic Ontologies Of Semantic Interpretation
 INFORMATION MODELLING AND KNOWLEDGE BASES XII
, 2001
"... This paper compares the semantic interpretation of logical, programming, and natural languages. It shows that they are based on different ontologies, and investigates the relation between the ontology assumed and the analysis of empirical phenomena such as truth, the Epimenides paradox, propositi ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
This paper compares the semantic interpretation of logical, programming, and natural languages. It shows that they are based on different ontologies, and investigates the relation between the ontology assumed and the analysis of empirical phenomena such as truth, the Epimenides paradox, propositional attitudes, and vagueness. Furthermore, it shows that there is a basic difference between a metalanguagebased and a procedural semantics, and that the choice between them depends on the ontology presumed.
Toward a Theory of Play: A Logical Perspective on Games and Interaction
, 2010
"... The combination of logic and game theory provides a finegrained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
The combination of logic and game theory provides a finegrained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this finegrained perspective has already shed new light on the longterm dynamics of information exchange, as well as on the muchdiscussed question of extensive game rationality.
SetTheoretic Absoluteness and The Revision Theory of Truth
 STUDIA LOGICA
, 2000
"... We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1 2 set. ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1 2 set.
Revision Forever!
"... Abstract. Revision is a method to deal with nonmonotonic processes. It has been used in theory of truth an an answer to semantic paradoxes as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic. In this survey, we describe the general idea in the fram ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Abstract. Revision is a method to deal with nonmonotonic processes. It has been used in theory of truth an an answer to semantic paradoxes as the liar, but the idea is universal and resurfaces in many areas of logic and applications of logic. In this survey, we describe the general idea in the framework of pointer semantics and point out that beyond the formal semantics given by Gupta and Belnap, the process of revision itself and its behaviour may be the central features that allow us to model our intuitions about truth, and is applicable to a lot of other areas like belief, rationality, and many more. 1
Reasoning about belief and knowledge with selfreference and time
 In Proceedings of the second conferennce on Theoretical Aspects of Reasoning About Knowledge
, 1988
"... In two previous papers (Asher & Karnp 1986,1987), Hans Kamp and I developed a framework for investigating the logic of attitudes whose objects involved an unlimited capacity for selfreference. The framework was the daughter of two wellknown parents possible worlds semantics and the revisionist, ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In two previous papers (Asher & Karnp 1986,1987), Hans Kamp and I developed a framework for investigating the logic of attitudes whose objects involved an unlimited capacity for selfreference. The framework was the daughter of two wellknown parents possible worlds semantics and the revisionist, semiinductive theory of truth developed by Herzberger (1982) and Gupta (1982). Nevertheless, the offspnng from our point of view was not an entirely happy one. We had argued that orthodox possible worlds semantics was an unacceptable solution to the problem of the semantics of the attitudes. Yet the connection between our use of possible worlds semantics and the sort of representational theories of the attitudes that we favor remained unclear. This paper attempts to provide a better connection between the framework developed in the previous papers and representational theories of attitudes by developing a notion of reasoning about knowledge and belief that a careful examination of the model theory suggests. This notion of reasoning has a temporal or dynamic aspect that I exploit by introducing temporal as well as attitudinal predicates.
Belief flow in assertion networks
"... Abstract. We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical interface designed to test our semantics. 1 ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Abstract. We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical interface designed to test our semantics. 1