The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

A semiotic theory of systems derived from language would have the purpose of classifying all the systems of linguistic expression: philosophy, ideology, myth, poetry, art, as much as the dream, lapsus, and free association in a pluridimensional matrix that will interact with many diversified fields. In each one of these discourses it is necessary to consider a plurality of questions, the essence of which will only be comprehensible by the totality; it will be necessary to ask, in the first place, (...) what will be the purpose of this language, what function does it fulfill and for which reason has it been constructed. The concept of World vision (WV) is introduced and its relation with Generalized Collective Conscience (GCC) and Particularized Collective Conscience. Culture implies a particular WV. Culture creates GCC. The semantic field is a structure that formalizes the units of a certain culture constituting a portion of the vision of the Reality that owns this culture. An ecological case is explained. (shrink)

This self-contained handbook providing broad coverage on the foundations of mathematical analysis, is intended as a study guide for advanced undergraduates and beginning graduate students in mathematics and is a reference for more advanced mathematicians. It provides an introduction to a wide range of topics including set theory and mathematical logic; algebra; toplogy; normed spaces; integration theory; toplogical vector spaces; and differential equations. The author demonstrates the relationships between these topics and includes a few chapters on set theory and logic (...) to explain the lack of examples in the presentation of classical pathological objects through nonconstructive proofs. (shrink)

SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...

In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal section (...) the book can be used on all levels of University education. (shrink)

Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...) of signs and mathematical logic. The present series is the first published edition of his systematic works. (shrink)

Bringing Ritual to Mind explores the cognitive and psychological foundations of religious ritual systems. Participants must recall their rituals well enough to ensure a sense of continuity across performances, and those rituals must motivate them to transmit and re-perform them. Most religious rituals the world over exploit either high performance frequency or extraordinary emotional stimulation to enhance their recollection. But why do some rituals exploit the first of these variables while others exploit the second? McCauley and Lawson advance the ritual (...) form hypothesis, arguing that participants' cognitive representations of ritual form explain why. Reviewing evidence from cognitive, developmental and social psychology and from cultural anthropology and the history of religions, they utilize dynamical systems tools to explain the recurrent evolutionary trajectories religions exhibit. (shrink)

Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial (...) intelligence. It elaborates on the relevant theories and provides a mathematically precise foundation for the thesis that large parts of theoretical reason can be subsumed under practical reason. (shrink)

This reply to Gash’s (Found Sci 2013) commentary on Nescolarde-Selva and Usó-Doménech (Found Sci 2013) answers the three questions raised and at the same time opens up new questions.

Impure systems contain Objects and Subjects: Subjects are human beings. We can distinguish a person as an observer (subjectively outside the system) and that by definition is the Subject himself, and part of the system. In this case he acquires the category of object. Objects (relative beings) are significances, which are the consequence of perceptual beliefs on the part of the Subject about material or energetic objects (absolute beings) with certain characteristics.The IS (Impure System) approach is as follows: Objects are (...) perceptual significances (relative beings) of material or energetic objects (absolute beings). The set of these objects will form an impure set of the first order. The existing relations between these relative objects will be of two classes: transactions of matter and/or energy and inferential relations. Transactions can have alethic modality: necessity, possibility, impossibility and contingency. Ontic existence of possibility entails that inferential relations have Deontic modality: obligation, permission, prohibition, faculty and analogy. We distinguished between theorems (natural laws) and norms (ethical, legislative and customary rules of conduct). (shrink)