EMERGENT EVOLUTION- THE GIFFORD LECTURES DELIVERED IN THE UNIVERSITY OF ST.

Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. Hesperides Press are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to (...) trivialize the semantics. (shrink)

Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...) are monotonic. Much recent research in AI has been devoted to the attempt to develop nonmonotonic logics. After some motivational material, we give four formal proofs that there can be no nonmonotonic consequence relation that is characterized by universal constraints on rational belief structures. In other words, a nonmonotonic consequence relation that corresponds to universal principles of rational belief is impossible. We show that the nonmonotonicity of common sense reasoning is a function of the way we use logic, not a function of the logic we use. We give several examples of how nonmonotonic reasoning systems may be based on monotonic logics. (shrink)

In [2] Hempel and Oppenheim give a definition of “explanation” for a certain formal language. In [1] Eberle, Kaplan, and Montague prove five theorems demonstrating that the Hempel and Oppenheim definition is not restrictive enough. In [3] Kim proposes two further conditions to supplement the Hempel and Oppenheim definition in order to avoid the objections posed in [1]. In this paper it is shown that the definition of Hempel and Oppenheim supplemented by Kim's conditions is open to a trivialization very (...) analogous to that given in [1]. (shrink)

Fuzzy logics are systems of logic with infinitely many truth values. Such logics have been claimed to have an extremely wide range of applications in linguistics, computer technology, psychology, etc. In this note, we canvass the known results concerning infinitely many valued logics; make some suggestions for alterations of the known systems in order to accommodate what modern devotees of fuzzy logic claim to desire; and we prove some theorems to the effect that there can be no fuzzy logic which (...) will do what its advocates want. Finally, we suggest ways to accommodate these desires in finitely many valued logics. (shrink)

Reproduction of the original: Spencer’s Philosophy of Science by C. Lloyd Morgan.

This paper uses a paradox inherent in any solution to the Hard Problem of Consciousness to argue for God’s existence. The paper assumes we are “thought machines”, reading the state of a relevant physical medium and then outputting corresponding thoughts. However, the existence of such a thought machine is impossible, since it needs an infinite number of point-representing sensors to map the physical world to conscious thought. This paper shows that these sensors cannot exist, and thus thought cannot come solely (...) from our physical world. The only possible explanation is something outside, argued to be God. (shrink)

This paper is the report of a meetingthat gathered many of the UK's most senioranimal scientists with representatives of thefarming industry, consumer groups, animalwelfare groups, and environmentalists. Therewas strong consensus that the current economicstructure of agriculture cannot adequatelyaddress major issues of concern to society:farm incomes, food security and safety, theneeds of developing countries, animal welfare,and the environment. This economic structure isbased primarily on competition betweenproducers and between retailers, driving foodprices down, combined with externalization ofmany costs. These issues must be addressed (...) by acombination of legislation, restructuring ofthe market, and use of public funds. Themeeting included workshops that made otherrecommendations for research and education. Themost urgent requirement is recognition thatchange is needed and development of a visionfor what that change must achieve. (shrink)

The word “emergent” was suggested by George Henry Lewes for specialized use in contradistinction to “resultant.” Little came of the suggestion, so far as I know, for some forty years. All that Lewes had to say on the matter is comprised within half a dozen, or at most eleven, pages, at the close of a long-winded, but at that time not negligible, discussion of Force and Cause, and is preceded by a section on Hume's Theory of Causation. This leads up (...) to the statement: ‘There are two classes of effects markedly distinguishable as resultants and enter gents.’ Even here there was nothing new save in the adoption and adaptation of the word ‘emergent’ in place, let us say, of John Stuart Mill's ‘heteropathic effects.’. (shrink)

The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soundness and completeness results.

The paper discusses various relationships between the concepts mentioned in the title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. In Section 2 the theme is of supplements to morasses which have some of the flavour of square. Distinctions are drawn between differing concepts. In Section 3 forcing axioms related to the ideas in Section 2 are discussed.

The mind-body problem is intuitively familiar, as mental and physical entities mysteriously interact. However, difficulties arise when intertwining concepts of the self with mental and physical traits. To avoid confusion, I propose instead focusing on three categories, with the mental matching the mind and physical the body with respect to raw inputs and outputs. The third category, the self, will experience and measure the others. With this new classification, we can see difficulties clearly, specifically five questions covering interaction and correlation. (...) We break down the problem using both existing theories and a hypercube topology representing the solution. We show any satisfactory theory must explain both spatial interaction and content correlation, and that we cannot escape our topology, whatever our preferred fundamental substance and mind-body movement permutation. We conclude by looking outside the hypercube, noting how solutions such as existential monism, priority monism, and will-based cosmic-idealism avoid the dangers involved. (shrink)

The usual semantics for the modal systems T, S4, and S5 assumes that the set of possible worlds contains at least one member. Recently versions of these modal systems have been developed in which this assumption is dropped. The systems discussed here are obtained by slightly weakening the liberated versions of T and S4. The semantics does not assume the existence of possible worlds, and the accessibility relation between worlds is only required to be quasi-reflexive instead of reflexive. Completeness and (...) independence results are established. (shrink)

Local connectedness functions for (κ, 1)-simplified morasses, localisations of the coupling function c studied in [M96, §1], are defined and their elementary properties discussed. Several different, useful, canonical ways of arriving at the functions are examined. This analysis is then used to give explicit formulae for generalisations of the local distance functions which were defined recursively in [K00], leading to simple proofs of the principal properties of those functions. It is then extended to the properties of local connectedness functions in (...) the context of κ-M-proper forcing for sucessor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the ∆-properties) hitherto proved for both c and for Todorcevic’s ρ-functions in the special case κ = ω1. A couple of examples of the use of local connectedness functions in consort with κ-M-proper forcing are then given. (shrink)

There are simple, purely syntactic axiomatic proof systems for both the logical truths and the logical falsehoods of propositional logic. However, to date no such system has been developed for the logical contingencies, that is, formulas that are both satisfiable and falsifiable. This paper formalizes the purely syntactic axiomatic proof systems for the logical contingencies and proves its soundness as well as completeness.