In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Customary discussions of quantum measurements are unrealistic, in the sense that they do not reflect what happens in most actual measurements even under ideal circumstances. Even theories of measurement which discard the projection postulate tend to retain two unrealistic assumptions of the von Neumann theory: that a measurement consists of a single physical interaction, and that the topic of every measurement is information wholly contained in the quantum state of the object of measurement. I suggest that these unrealistic assumptions originate (...) from an overly literal interpretation of the operator formalism of quantum mechanics. I also suggest, following Park, that some issues can be clarified by distinguishing the sense of the term ''''measurement'''' occurring in the quantum-mechanical operator formalism, and the sense of ''''measurement'''' that refers to actual processes of gaining information about the physical world. (shrink)

This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

The logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing (and conversely) is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two (...) non-normal and not mutually definable operators of possible and necessary change, inspired by Aristotelian distinction of accidental and essential attributes. From we adopt the idea that temporal concepts are defined via change operators, and the idea of an expanding language. In what follows, We axiomatise our new logic and describe its semantics, giving the proof of its completeness. We compare our formalism with selected modal logics. (shrink)

Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in science. There is (...) no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

The theory of Yin and Yang and the Five Movements is based on the concept of cyclical time. This ancient cosmological model postulates that when expansive energy reaches its apex, mutual life-saving relations prevail over mutually conflictual societal relations, and that this cycle repeats. This cosmic change model was first presented in ancient Korea and China, by Hado-Nakseo, via numerological configurations and symbols. The Hado diagram was drawn by a Korean thinker, Bok-hui (?-BC3413), also known as Great Empeor Fuzi (...) or Fu-hsi in Chinese mythology. Confucius once recognized him as the father of I Ching (Book of Changes). The Eastern cosmology was further developed by King Wen and the Duke of Zhou and compiled by Confucius (BC551?-BC 479) during the Spring and Autumn Period and the Warring States Period. Nakseo diagram was first discovered by the famous King Wu of China, who founded the Xia dynasty. In contrast to the harmonious mathematical matrix of Hado, Nakseo symbolizes the conflictual and dynamic expansion of the universe. In the Nakseo world, masculine energy is structurally greater than feminine energy, continuously breeding disequilibrium and conflict. The Yin and Yang model suggests that everything in the universe exists as a combination of opposing dynamics. At any given time, one of the two dynamics grows while the other declines. When Yang energy is at its peak, Yin energy is at its nadir; then, a reversal occurs; and envetually the whole cycle repeats. It would thus be logical to express that when conflictual energy has reached its apex harmonious energy begins to wax. It can be argued that since the state of disequilibrium within the universe represented by Nakseo cannot indefinitely sustain its dynamic of expansion, harmonious international relationships eventually come to pervade the world. This argument represents a unique applicationof the concept of Yin and Yang logic to international arms race and arms control. This cyclical dynamics can explain the long-term process of arms build-up followed by eventually by nuclear standoff and subsequent nuclear arms control regimes as NPT, CTBT, MTCR, SALT, START, PSI and etc. One can boldly claim that Yin and Yang logic offers a clue to creating a theory of structural peace by discovering a constructivist element in the model. The esoteric matrixes of ancient Korea and China thus provide humanity with an new vision for nuclear disarmament and a sustainable peace. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in (...) general and under various natural constraints. (shrink)

Hsun K'uang was one of the thinkers of the Warring States period, and he occupies an important place in the history of Chinese thought. He was also an outstanding Chinese logician. He broadened the realm of logical theory and applied logic to the ideological struggle in his time. This article will be devoted to a review of the outline and characteristics of the logical thought advanced in his famous article "Cheng-ming p'ien" [Correct Nomenclature].

This volume contains papers based on invited lectures from the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, descriptions of congress symposia, and other materials relating to the congress and DLMPST.

To philosophize is to communicate philosophically. From its inception, philosophy has communicated forcefully. Socrates, Plato, and Aristotle talk a lot, and talk ardently. Because philosophy and communication have belonged together from the beginning--and because philosophy comes into its own and solidifies its stance through communication--it is logical that we subject communication to philosophical investigation. This collection of key works of classical, modern, and contemporary philosophers brings communication back into philosophy's orbit. It is the first anthology to gather in a single (...) volume foundational works that address the core questions, concepts, and problems of communication in philosophical terms. The editors have chosen thirty-two selections from the work of Plato, Leibniz, Hegel, Husserl, Heidegger, Wittgenstein, Benjamin, Lacan, Derrida, Sloterdijk, and others. They have organized these texts thematically, rather than historically, in seven sections: consciousness; intersubjective understanding; language; writing and context; difference and subjectivity; gift and exchange; and communicability and community. Taken together, these texts not only lay the foundation for establishing communication as a distinct philosophical topic but also provide an outline of what philosophy of communication might look like. (shrink)

I argue that the lived experience we, the human species, are going through in 2020 is no longer an epoch of changes but a change of epoch. Post-pandemic is becoming meaningless in a change of epoch. My argument is based on the history of the colonial matrix of power rather than in particular thematic histories which, in this case, will be the history of pandemics and the history of the economy. Both are working together, globally now, and entangled (...) in the colonial matrix of power, which can not be found in the origin of the universe, in Babylon or in Greece. It did not exist until the 16th century in the Atlantic, the Black and the White, the North and the South. The logic of coloniality is the logic of the invisible and it is by understanding its historical foundation, its unfolding and the radical transformations in the past two decades, that the signs of the change of epoch can be perceived and understood. (shrink)

***Translated a Korean-language book to English with Dr. Chang-Seong Hong*** Venerable Hyun-Eung's Enlightenment and History is the first book of Buddhist philosophy of history published in South Korea; possibly the first of its kind in the world. In this book of telling points and clear visions, Hyun-Eung discusses East Asian Buddhist traditions in light of Western-philosophical perspectives and presents his views on the theory and praxis in contemporary Buddhism in a way that Western readers can easily understand. East Asian Buddhist (...) philosophy has had little introduction to English-speaking societies compared with the philosophies of other traditions in Buddhism. This book provides penetrating insight into such major issues of East Asian Mahayana Buddhism as enlightenment, compassion, emptiness, and sudden enlightenment in the Zen traditions. Hyun-Eung s approach is creative, clear, logical, and methodologically modernized. Hyun-Eung s Buddhist philosophy of history is not a mere product of armchair philosophy. He wrote most essays in this book during the 1980 s while South Korea was undergoing serious political turmoil as it tried to overthrow a government backed by military generals. This book presents a philosophy that evolved from his contemplations on the real issues of South Korean society. Defining the ideal form of life as the life of bodhisattva in Mahayana Buddhism, Hyun-Eung summarizes the theme of this book as follows: My book Enlightenment and History is a collection of essays that interpret Buddhist doctrines under a new light. In particular, this book interprets bodhisattva as the combination of bodhi (enlightenment) and sattva (life, history), and defines the life of bodhisattva as enlightenment s becoming history and history s becoming enlightenment. This is the representative of all the new interpretations in this book. Also, I classify the issue of fact judgments on how to understand facts and phenomena as the area of bodhi (enlightenment) and the issue of value judgments on how to live life as the area of sattva (history), and thereby I make their logical differences clear. However, at the same time, I claim that harmonizing these two areas into one area of life is the model of a nice and practical life, which is the bodhisattva that Mahayana Buddhism praises. From Introduction. (shrink)

The book presents the results of the joint annual conference of the four Operations Research Societies DGOR, GM\OR, \GOR and SVOR, held in Vienna in 1990.

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of (...) AGM are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

With a vaulting ambition to usurp Party power, the "Gang of Four" has audaciously opposed Marxism-Leninism-Mao Tsetung Thought. Lacking truth in their allegations, they have been compelled to invoke sophistry. Their sophistry runs counter to materialist dialectics and even formal logic. Alien class element Yao Wen-yuan used to accuse others of "violating even formal logic," but it is the "Gang of Four" that ignores the definiteness and distinctiveness of thinking, says black is white, and tramples on formal (...) class='Hi'>logic. (shrink)

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be (...) that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the endeavors of single inquirers, philosophers of science, inspired by logical empiricism, have tended to be more interested in science as a multi-agent or agent-independent phenomenon. (shrink)

How do changes inHegel's dialectic of categories relate, if they do, to empirical language changes over time?

Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.

The article proposes an analogue of conceptual change in the context of comprehensive or deep emotional change and growth, and explores some aspects of its logic in that context. This is not to reduce emotions to concepts, but to say that concepts express the sense that is already inherent in experience and reality. When emotional states change so thoroughly that their applicable concepts become completely different, they shift from one logical structure to another. At the moment (...) or phase when one conceptual structure transforms into another, two logically incompatible descriptions both apply to the same state at the same time. As a result, the correct description of this moment and its development involves conceptual confusion, non sequitur, and logical contradiction. In these contexts, the sense itself of the emotional experience and process is partly characterized by what are otherwise violations of sense. Failure of sense is part of how these experiences make sense. The article explores some of the consequences of this paradox of sense for the nature and experience of deep emotional change and for the meaning of change itself in this context. (shrink)