Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision.

In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates in a well-specified, natural yet simple class of particular circumstances; secondly, can accommodate iterated revisions, recovering several proposed revision operators for iterated revision as special cases; and finally, offers an analysis of Rott’s recent counterexample to several Gärdenfors postulates [32], elucidating in what sense it fails to be one of the special cases to which these postulates apply.     

Taking Degrees of Truth Seriously

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties.     

Phenomenological Argumentative Structure

The nontechnical ability to identify or match argumentative structure seems to be an important reasoning skill. Instruments that have questions designed to measure this skill include major standardized tests for graduate school admission, for example, the United States-Canadian Law School Admission Test (LSAT), the Graduate Record Examinations (GRE), and the Graduate Management Admission Test (GMAT). Writers and reviewers of such tests need an appropriate foundation for developing such questions – they need a proper representation of phenomenological argumentative structure – for legitimacy, and because these tests affect people's lives. This paper attempts to construct an adequate and appropriate representation of such structure, that is, the logical structure that an argument is perceived to have by mature reasoners, albeit ones who are untrained in logic.     

Otto Neurath on the Structure of Protocol Sentences; A New Approach to an Interpretative Puzzle

Summary  Otto Neurath’s thesis concerning the structure of protocol sentences is central to the famous Protocol Sentence Debate in the Vienna Circle. However, its precise nature is far from easy to discern in Neurath’s writings. So far, only Thomas Uebel has attempted a closer analysis of Neurath’s contribution to the debate. I argue that Uebel’s interpretation is problematic in some respects and propose a novel analysis, which hopefully brings into a clearer light Neurath’s position in the Protocol Sentence Debate as well as his relevance to contemporary philosophies of science.     

Operational Noology as a new methodology for the study of thought and language: theoretical aspects and possible practical applications

In this article, the author presents a new methodology for the study of two fundamental components of consciousness, that is thought and language. The fundamental presupposition that forms the basis of this methodology is that thought is not simply a passive "reflection" of an external "reality", but also (and especially) something active, i.e. that the fundamental components of thought are sequences of operations, amongst which the ones of attention play a key role. These sequences of elementary mental operations are called mental categories, and are the meanings of all the words that do not seem to indicate something physical (first of all, all the "grammatical" words, that is conjunctions, prepositions, articles, pronouns, fundamental verbs like "to be", "to have" etc., the main adverbs, and, in the large number of languages that have a more or less rich morphology, all morphemes (the ones which indicate cases, in languages that have cases, the number and the gender of nouns and adjectives, moods and tenses of the verb etc.). The author proposes a list of these elementary mental operations and he shows how it is possible, basing ourselves on them, to identify the meanings of these words, which are indispensable for any linguistic expression. The author also mentions a possible short-term practical application of these theories, i.e. a device in order to improve the quality of machine translation. He also formulates the hypothesis that these theories could allow us to look in a new way at the problem of the (partial) artificial reproduction of the human activity of thought and language.     

Using neutralizing routines to reduce problem behaviors.

Establishing operations can alter problem behaviors by changing the momentary value of reinforcers associated with those problem behaviors. If establishing operations (EOs) precede the presentation of discriminative stimuli (S^Ds) for problem behaviors, it may be possible to introduce neutralizing routines that both reduce the value of reinforcers associated with problem behaviors and decrease the occurrence of problem behaviors. The present study examined this logic with 3 adolescents with severe intellectual disabilities. Initial functional analyses indicated that problem behaviors were motivated by either escape or tangible items. Functional assessment interviews identified possible establishing operations that were associated with the occurrence of problem behavior and indicated that these establishing operations occurred over 1 hr before presentation of the S^D for problem behaviors. We used an alternating treatments design to examine problem behaviors during instruction under four conditions: EO + S^D, S^D only, EO only, and neither S^D nor EO. For all 3 participants, problem behaviors occurred almost exclusively during the EO + S^D condition. A further analysis compared the EO + S^D condition when neutralizing routines were embedded between the EO and the S^D. Results from an ABAB reversal design supported the effectiveness of neutralizing routines to reduce these problem behaviors. Applied and theoretical implications are discussed.     

Children’s multiplicative transformations of discrete and continuous quantities

Recent studies have documented an evolutionarily primitive, early emerging cognitive system for the mental representation of numerical quantity (the analog magnitude system). Studies with nonhuman primates, human infants, and preschoolers have shown this system to support computations of numerical ordering, addition, and subtraction involving whole number concepts prior to arithmetic training. Here we report evidence that this system supports children’s predictions about the outcomes of halving and perhaps also doubling transformations. A total of 138 kindergartners and first graders were asked to reason about the quantity resulting from the doubling or halving of an initial numerosity (of a set of dots) or an initial length (of a bar). Controls for dot size, total dot area, and dot density ensured that children were responding to the number of dots in the arrays. Prior to formal instruction in symbolic multiplication, division, or rational number, halving (and perhaps doubling) computations appear to be deployed over discrete and possibly continuous quantities. The ability to apply simple multiplicative transformations to analog magnitude representations of quantity may form a part of the toolkit that children use to construct later concepts of rational number.     

关于医学哲学逻辑起点的思考——兼与刘虹教授商榷

人的生命存在在医学哲学理论体系中具有最抽象、最简单、最根本的规定性。医学哲学的其它概念都是人的生命存在的逻辑展开和转化。同时,人的生命存在是人的健康的先决条件,而健康只是人的生命存在的一种样态。因之,医学哲学应以人的生命存在作为其逻辑起点。     

Under Carnap’s Lamp: Flat Pre-semantics

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parame- ters of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established.