Persistence theories of causation – such as transference theory, conserved-quantity theory, and Douglas Ehring's theory – attempt to analyzecausation in terms of some persisting entityconnecting cause and effect. While mostpersistence accounts are intended as empiricaltheories, this article develops a persistenceanalysis of the concept of causation. The basic idea is that the central concept ofdirect causation can be analyzed in terms ofproperty acquisition. The analysis cohereswith our ordinary causal judgments andprovides a straightforward explanation of thedirection of causation. It also explains whybackwards (...) causation is conceptually problematic. (shrink)

I.Carl Schmitt's The Concept of the Political (1927; revised 1932 and 1933) has come to be widely recognized as a work of rare insight into the formative logic of the state. Much less apparent is that implicit within this theoretical distillation is a new type of political history. There is every indication—given the philosophical, theological, and aesthetic aspects of Schmitt's writings, no less than his overtly personal beliefs in this regard—that a history of the political relative to the modern (...) state, which is the focus of his historical interest, would entail more than the mere rarefaction of traditional, pragmatic…. (shrink)

Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-based (...) systems. We also provide a number of examples and consider a rigorous case study, which indicate that our system does not suffer from anomalies. We define consequence relations based on a notion of defeat, consider rationality postulates, and prove that one such consequence relation is consistent. (shrink)

Forty years after his death, Hans Kelsen (1881-1973) remains one of the most discussed and influential legal philosophers of our time. This collection of new essays takes Kelsen's Pure Theory of Law as a stimulus, aiming to move forward the debate on several central issues in contemporary jurisprudence. The essays in Part I address legal validity, the normativity of law, and Kelsen's famous but puzzling idea of a legal system's 'basic norm'. Part II engages with the difficult issues raised by (...) the social realities of law and the actual practices of legal officials. Part III focuses on conceptual features of legal systems and the logical structure of legal norms. All the essays were written for this volume by internationally renowned scholars from seven countries. Also included, in English translation, is an important polemical essay by Kelsen himself. (shrink)

Modeling of evolution and development of language has principally utilized mature units of spoken language, phonemes and words, as both targets and inputs. This approach cannot address the earliest phases of development because young infants are unable to produce such language features. We argue that units of early vocal development—protophones and their primitive illocutionary/perlocutionary forces—should be targeted in evolutionary modeling because they suggest likely units of hominin vocalization/communication shortly after the split from the chimpanzee/bonobo lineage, and because early development of (...) spontaneous vocal capability is a logically necessary step toward vocal language, a root capability without which other crucial steps toward vocal language capability are impossible. Modeling of language evolution/development must account for dynamic change in early communicative units of form/function across time. We argue for interactive contributions of sender/infants and receiver/caregivers in a feedback loop involving both development and evolution and propose to begin computational modeling at the hominin break from the primate communicative background. (shrink)

An effect algebra is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. In this article we present an approach to the study of lattice effect algebras (LEAs) that emphasizes their structure as algebraic models for the semantics of (possibly) non-standard symbolic logics. This is accomplished by focusing on the interplay among conjunction, implication, and negation connectives on LEAs, where the conjunction and implication connectives are related by a residuation law. Special cases of LEAs are (...) MV-algebras and orthomodular lattices. The main result of the paper is a characterization of LEAs in terms of so-called Sasaki algebras. Also, we compare and contrast LEAs, Hájek's BL-algebras, and the basic algebras of Chajda, Halaš, and Kühr. (shrink)

This paper attempts to outline the logical structure of imperatives. It criticizes the prevailing view that this structure is isomorphic with that for indicatives. For "mixed" imperatives with constituents in both indicative and imperative moods (e.G., Conditional imperatives with indicative antecedents) there are features unique to imperatives. These features are specified, And consequences of them are traced. Finally, Formation rules for imperatives are stated.

This book is structured in a practical, example-driven, manner. The use of VHDL for constructing logic synthesisers is one of the aims of the book; the second is the application of the tools to the design process. Worked examples, questions and answers are provided together with do and don'ts of good practice. An appendix on logic design the source code are available free of charge over the Internet.

Different conceptions of social philosophy were divided and polarized in different variants: from biological reductionism (the attempt to explain social phenomena in terms of biology) to sociocentrism. The approach V. A. Vazulin’s conception of “The Logic of History” makes it possible to concretize the dialectic of the natural (including the biological) and the social. The creative development of the method of scientific investigation made it possible to reveal the inner systematic interconnection of laws and categories of social theory which (...) reflect the structure of developed society; it also made it possible to outline thetheoretical periodization of human history (the objective laws of its “ascent” from the very beginning, emergence, formation, to maturity) through a prism of interconnections of natural and social factors. The conception of “The Logic of History” opens a stage in the successive dialectical development of social philosophy by sublating historical materialism and the formation approach. The structure of society as a whole is a multi‐level, hierarchical and subordinated system, the organic whole of interconnected elements, relations and processes. The historical process is regarded as a gradual transformation of the natural (including the biological) by the social, i.e., as a social “sublation” of the latter by the former. The stages in the process of development are analyzed here: as theunity of the natural (including the biological) and the social; as a process of emergence of the social from the natural; as the transformation of thenatural by the social. (shrink)

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...) also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap’s and M. Dunn’s four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing our basic framework of bi-neighbourhood semantics, we develop a correspondence theory in order to prove completeness results with respect to our neighbourhood semantics for non-normal variants of \, \ and \.

Environmental management is at a turning point in its evolution as a discipline. Daunting social, ecological and spiritual problems of global magnitude implore EM to be inspiring and efficacious in theory and practice. Ironically, the present EM movement, in its ontologically dualistic configuration—measuring and manipulating the environment as an abstract, objectified economic resource for human gain—is unknowingly contributing to the very ecological degradation it wishes to ameliorate. In order for EM to become a truly ‘transformative epistemology’,1 its praxis must ontologically (...) transcend the narrow foundations of staunch empiricism, logical positivism and rationalism that now firmly gird it. As a possible alternative to EM’s ‘monological flatland’,2 we introduce a holistic praxiological system grounded in the ancient Indian vedanta wisdom tradition. Natural law-based environmental management portends a radical metamorphosis of EM into a discipline that makes a meaningful impact on today’s precarious global condition. (shrink)

Let n ≥ 3 be an integer. We show that it is consistent that every σ1n-set of reals is universally Baire yet there is a projective well-ordering of the reals. The proof uses “David’s trick” in the presence of inner models with strong cardinals.

In two recent papers Joseph Margolis has sketched a situation, his characterisation of which involves a denial of the ubiquitous contention that knowing that p is logically sufficient for believing that p. There are not many philosophers who would follow him in this denial of what is most usually taken as the only “natural” way of construing knowledge. If Margolis has not succeeded in constructing a counterexample to the official view, and I do not believe that he has, it is (...) of some importance to understand just why he has failed. No epistemological gain is achieved by meeting Margolis with a question begging reply, as I think has been done by his critic, J.A. Barker.The case the Margolis offers is this:… S may not have thought about P at all, may have thought about Q-which is “significantly” related to P, and believes that Q; on that condition, it is conceivably true that S knows that P. (shrink)

Since the revolution in philosophic method that began about a century ago, the focus of philosophic attention has been on language as used both in daily conversation and in specialized institutional activities such as science, law, and the arts. But language is an extremely complex and varied means of communication, and the study of it has been increasingly incorporated into such empirical disciplines as linguistics, psycho linguistics, and cognitive psychology. It is becoming less clear what aspects of language remain as (...) proper subjects of philosophical study, what are to be "kicked upstairs" (J. L. Austin's phrase) to the sciences. This work is a study of those logical features of language that remain central to philosophy after completion of kicking up. It conducts this study by describing similarities and differences between signs at differing levels, starting with natural events as primitive signs in the environments of their interpreters, and proceeding to pre linguistic signaling systems, elementary forms of language, and finally to the forms of specialized discourse used within social institutions. The investiga tion of comparative features requires isolating basic mental capacities that are present in the most primitive forms of organisms capable of sign interpretation. The problem then becomes one of tracing the emergence from these capacities of such categories as substance, attribute or quality, and quantity that we apply to natural languages. The study of sign levels is thus the construction of a genealogy of logical categories marking the develop ment of natural languages. (shrink)

This Tractatus-style sequence of propositions describes logical features of natural language discourse, pre-linguistic levels of signs interpreted in associative learning and animal communication, and the specialized discourses of the institutions of science, religion, law, politics, and the arts. Its comprehensive scope is designed to help overcome the compartmentalization of philosophy into its branches of epistemology, ethics, political philosophy, and aesthetics. The general perspective is that of pragmatic naturalism as developed by the classical pragmatists Peirce, James, Schiller, and Dewey. Central to (...) pragmatism is its emphasis on the use of practical inferences combining descriptive and expressive premisses with prescriptive “ought” conclusions guiding conduct. I argue that by making such inferences its focus, pragmatism enables contemporary philosophy to offset the effects of social specialization. (shrink)