La théorie générale du contrôle et de la communication, mieux connue sous le nom de ‘cybernétique’, est habituellement considérée comme le fruit des recherches liées à la deuxième guerre mondiale aux Etats-Unis, menées principalement par le mathématicien américain Norbert Wiener . Dans le cadre de son travail pour l'armée, Wiener a développé une théorie générale des régulations. Nous nous intéressons aux origines de la théorie générale des régulations en Allemagne , montrant qu'elle prend naissance dans un contexte bien différent.Hermann Schmidt (...) , le principal acteur dans ce domaine en Allemagne, bien que physicien de formation, formula sa version de la théorie du contrôle à la fin des années 30, grâce aux différents systèmes de régulation qu'il était amené à étudier au bureau des brevets du Reich . A partir de l'analyse d'une combinaison de facteurs contextuels, nationaux, politiques et contingents, nous proposons une explication de la moindre influence de la théorie de Schmidt.The general theory of control and communication, better known as ‘cybernetics’, is usually considered to be the result of research done during the Second World War in the United States, principally by the American mathematician, Norbert Wiener . Based on his military work, Wiener developed a general mathematical theory of control and feedback system. We discuss the origins of control and feedback theory in Germany , showing that it arose in a very different context.Hermann Schmidt , the principal actor in Germany, though trained as a physicist, formulated his version of control theory based on his extensive hands-on experience with control mechanisms gained during his work as a patent officer in the late 1930s at the German State Patent Office. We also offer an explanation for why Schmidt's general theory of control did not have a great influence based on a combination of national, political, and contingent contextual factors. (shrink)

Résumé La théorie générale du contrôle et de la communication, mieux connue sous le nom de ‘cybernétique’, est habituellement considérée comme le fruit des recherches liées à la deuxième guerre mondiale aux Etats-Unis, menées principalement par le mathématicien américain Norbert Wiener (1894–1964). Dans le cadre de son travail pour l'armée, Wiener a développé une théorie générale des régulations. Nous nous intéressons aux origines de la théorie générale des régulations en Allemagne (Allgemeine Regelungskunde), montrant qu'elle prend naissance dans un contexte bien (...) différent. Hermann Schmidt (1894–1968), le principal acteur dans ce domaine en Allemagne, bien que physicien de formation, formula sa version de la théorie du contrôle à la fin des années 30, grâce aux différents systèmes de régulation qu'il était amené à étudier au bureau des brevets du Reich (Reichspatentamt). A partir de l'analyse d'une combinaison de facteurs contextuels, nationaux, politiques et contingents, nous proposons une explication de la moindre influence de la théorie de Schmidt. (shrink)

The ‘Principal Principle’ states, roughly, that one's subjective probability for a proposition should conform to one's beliefs about that proposition's objective chance of coming true. David Lewis has argued (i) that this principle provides the defining role for chance; (ii) that it conflicts with his reductionist thesis of Humean supervenience, and so must be replaced by an amended version that avoids the conflict; hence (iii) that nothing perfectly deserves the name ‘chance’, although something can come close enough by playing the (...) role picked out by the amended principle. We show that in fact there must be ‘chances’ that perfectly play what Lewis takes to be the defining role. But this is not the happy conclusion it might seem, since these ‘chances’ behave too strangely to deserve the name. The lesson is simple: much more than the Principal Principle—more to the point, much more than the connection between chance and credence—informs our understanding of objective chance. 1 Introduction 2 Preliminaries 3 Undermining futures and the New Principle 4 The Old Principle rescued? 5 The New Bug 6 Conclusion. (shrink)

An introduction to informal logic, critical thinking and rhetoric utilizing actual public discourse .

Moral puzzles about actions which bring about very small or what are said to be imperceptible harms or benefits for each of a large number of people are well known. Less well known is an argument by Warren Quinn that standard theories of rationality can lead an agent to end up torturing himself or herself in a completely foreseeable way, and that this shows that standard theories of rationality need to be revised. We show where Quinn's argument goes wrong, and (...) apply this to the moral puzzles. (shrink)

This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gö;del-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia-Theorem is proved for this embedding.

The immediate successors of Kant in classical German philosophy considered a subjectivity irreducible to objecthood as the core of personhood. The thesis of an irreducible subjectivity has, after the German idealists, been advocated by the phenomenological movement, as well as by analytical philosophers of self-consciousness such as Hector-Neri Castaneda and Sydney Shoemaker. Their arguments together show that self-consciousness cannot be reduced to a relation whereby a subject grasps itself as an object, but that there must be a core of subjectivity (...) always already familiar with itself before reflection. A number of contemporary accounts of self-consciousness are unaware of these old and new arguments, and flawed in that they do not account for the core 'non-objectal subjectivity' necessary for self-consciousness and. (shrink)

I argue that the (widely accepted) normative constraints on belief raise a serious problem for non-cognitivism about normativity.

The strongest objection to (15) is that speaker's meaning is defined in terms of commitment, a notion which is itself something of a challenge and for which no definition has been given. This would be a strong reason to prefer a definition in terms of some more tractable concept, all things being equal; but it does not lessen the probability that commitment or some similar notion is indispensable to the definition of speaker's meaning.The philosophical writings discussed in this paper all (...) proceed something like this: Particular cases are discussed and a description is given of the mechanisms by which communication takes place. An attempt is made to say something that applies to all instances of speaker's meaning. Words like ‘analysis’, ‘account’ ‘explanation’, ‘explication’, and ‘theory’ are used here, the suggestion being that the objective is to provide for all cases at once what has already been provided for particular cases-an explanation of how meaning works. What is produced, however, looks like adefinition of speaker's meaning, a statement of necessary and sufficient conditions. This definition is then evaluated largely in terms of what counterexamples it does or does not allow.It seems that there is some tendency to conflate two quite distinct objectives: (i) a theory of speaker's meaning-a general description of how it is that speakers are able to communicate; and (ii) a statement of necessary and sufficient conditions for speaker's meaning. Objective (i) might plausibly be regarded as the goal of the study of communication. Objective (ii) is the definition of a certain intuitive, pretheoretical concept of meaning, which might or might not prove to be an important concept with respect to objective (i). The Gricean mechanism and the notion of conventional meaning, on the other hand, are indispensable to (i)-few instances of speaker's meaning could be adequately described without recourse to at least one of these notions. Thus nothing in this paper should be construed as trying to downgrade the importance of the Gricean mechanism for the theory of communication. If objective (ii) and the Gricean mechanism are not as closely associated as has been claimed, this is, if anything, a reason to doubt the importance of (ii) for the theory of communication. (shrink)

Many phenomena in the world display a striking time-asymmetry: the forwards transition frequencies are approximately invariant while the backwards ones are not. I argue in this paper that theories of such phenomena will entail that time has a direction, and that quantum mechanics in particular entails that the future is objectively different from the past.

The common cause principle states that common causes produce correlations amongst their effects, but that common effects do not produce correlations amongst their causes. I claim that this principle, as explicated in terms of probabilistic relations, is false in classical statistical mechanics. Indeterminism in the form of stationary Markov processes rather than quantum mechanics is found to be a possible saviour of the principle. In addition I argue that if causation is to be explicated in terms of probabilities, then it (...) should be done in terms of probabilistic relations which are invariant under changes of initial distributions. Such relations can also give rise to an asymmetric cause-effect relationship which always runs forwards in time. (shrink)

The two envelope paradox can be dissolved by looking closely at the connection between conditional and unconditional expectation and by being careful when summing an infinite series of positive and negative terms. The two envelope paradox is not another St. Petersburg paradox and that one does not need to ban talk of infinite expectation values in order to dissolve it. The article ends by posing a new puzzle to do with infinite expectations.

According to the so-called metaphysical conception of analyticity, analytic truths are true in virtue of meaning (or content) alone and independently of (extralinguistic) facts. Quine and Boghossian have tried to present a conclusive argument against the metaphysical conception of analyticity. In effect, they tried to show that the metaphysical conception inevitably leads into a highly implausible view about the truthmakers of analytic truths. We would like to show that their argument fails, since it relies on an ambiguity of the notion (...) of 'independence of (extralinguistic) facts'. If one distinguishes between variation independence and existence independence, the unwelcome view about the truthmakers of analytic truths no longer follows. Thus, there is at best a challenge, but no conclusive argument. The door to the metaphysical conception of analyticity is still open. (shrink)

Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.

Lectures delivered as the Mary Flexner Lectures, Bryn Mawr College, fall 1965, under the title: The long perspectives.

Lectures delivered as the Mary Flexner Lectures, Bryn Mawr College, fall 1965, under the title: The long perspectives.

The paper considers the set ML 1 of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in ML 1 , which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" (...) epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies. (shrink)

This is a comprehensive study of the far-reaching changes that led to a re-shaping of the philosophical discourse in Islam during the sixth/twelfth century. Whereas earlier Western scholars thought that Islam's engagement with the tradition of Greek philosophy ended during that century, more recent analyses suggest its integration into the genre of rationalist Muslim theology (kalam). This book proposes a third view about the fate of philosophy in Islam. It argues that in addition to this integration, Muslim theologians picked up (...) the discourse of philosophy in Islam (falsafa) and began to produce books on philosophy. Written by the same authors, books in these two genres, kalām and philosophy, argue for opposing teachings on the nature of God, the world's creation, and on the afterlife. This study explains the emergence of a new genre of philosophical books called "hikma" that stand opposed to Islamic theology and at the same wishes to complement it. Offering a detailed history of philosophy in Iraq, Iran, and Central Asia during the sixth/twelfth century together with an analysis of the circumstances of practicing philosophy during this time, this study can show how reports of falsafa, written by major Muslim theologians such as al-Ghazali (d. 505/1111), developed step-by-step into critical assessments of philosophy that try to improve philosophical teachings, and eventually become fully fledged philosophical summas in the work of Fakhr al-Din al-Razi (d. 606/1210). The book ends in a discussion of the different methods of kalam and hikma and the coherence and ambiguity of a Muslim post-classical philosopher's œuvre. (shrink)

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are (...) also presented. (shrink)

The general claims of this paper are as follows. As a result of chaotic dynamics we can usually not know what the deterministic causes of events are. There will, however, be invariant forwards transition chances from earlier types of events, which we typically call the causes, to later types of events, which we typically call the effects. There will be no invariant backwards transition chances between these types of events. This asymmetry has the same origin and explanation as the arrow (...) of time of thermodynamics. (shrink)

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a (...) smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34]. (shrink)

Human cognition is unique in the way in which it relies on combinatorial (or compositional) structures. Language provides ample evidence for the existence of combinatorial structures, but they can also be found in visual cognition. To understand the neural basis of human cognition, it is therefore essential to understand how combinatorial structures can be instantiated in neural terms. In his recent book on the foundations of language, Jackendoff described four fundamental problems for a neural instantiation of combinatorial structures: the massiveness (...) of the binding problem, the problem of 2, the problem of variables, and the transformation of combinatorial structures from working memory to long-term memory. This paper aims to show that these problems can be solved by means of neural “blackboard” architectures. For this purpose, a neural blackboard architecture for sentence structure is presented. In this architecture, neural structures that encode for words are temporarily bound in a manner that preserves the structure of the sentence. It is shown that the architecture solves the four problems presented by Jackendoff. The ability of the architecture to instantiate sentence structures is illustrated with examples of sentence complexity observed in human language performance. Similarities exist between the architecture for sentence structure and blackboard architectures for combinatorial structures in visual cognition, derived from the structure of the visual cortex. These architectures are briefly discussed, together with an example of a combinatorial structure in which the blackboard architectures for language and vision are combined. In this way, the architecture for language is grounded in perception. Perspectives and potential developments of the architectures are discussed. Key Words: binding; blackboard architectures; combinatorial structure; compositionality; language; dynamic system; neurocognition; sentence complexity; sentence structure; working memory; variables; vision. (shrink)

This unusually accessible account of recent Anglo-American philosophy focuses on how that philosophy has challenged deeply held notions of subjectivity, mind, and language. The book is designed on a broad canvas in which recent arguments are placed in a historical context. The author then explores such topics as mental content, moral realism, realism and antirealism, and the character of subjectivity. Much of the book is devoted to an investigation of Donald Davidson's philosophy, and there is also a sustained critique of (...) the position of Richard Rorty. A final chapter defends the realist position against objections from postmodern thought. As a rigorous and historically sensitive account of recent philosophy, this book should enjoy a wide readership among philosophers of many different persuasions, literary theorists, and social scientists who have been influenced by postmodern thought. (shrink)

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...) containing polymodal Altn and subframe logics which are tense logics. (shrink)

Indefinite probability statements can be analysed in terms of statements which attribute probability to propositions. Therefore, there is no need to find a special place in probability theory for them; once we have an adequate account of statements that straightforwardly attribute probability to propositions, we will automatically have an adequate account of indefinite probability statements.

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of (...) ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively. (shrink)

The purpose of this paper is to investigate some problems of using finite (or *finite) computational arguments and of the nonstandard notion of an infinitesimal. We will begin by looking at the canonical example illustrating the distinction between classical and constructive analysis, the Intermediate Value Theorem.

Inhabitants of low-lying islands flooded due to anthropogenic climate change will lose their territory and thereby their ability to exercise their right to political self-determination. This paper addresses the normative questions which arise when climate change threatens territorial rights. It explores whether the loss of statehood supports a claim to territorial compensation, and if so, how it can be satisfied. The paper concludes that such claims are well founded and that they should be met by providing compensatory territories. After introducing (...) a differentiation between land rights and territorial rights, previous theoretical responses to the problem of sinking islands are criticized. It is argued that states may be required to give up parts of their territory as compensation. The paper develops criteria of sufficiency for compensatory territories and proposes to base their selection process on a negative auction. Since it is unlikely that unsettled compensatory territories that meet the specified requirements are available, the rights of their original inhabitants are discussed. (shrink)

I show that for any quantum dynamics and any choice of observables as hidden variables an adequate hidden variable theory always exists. I argue that hidden variable theories have no more problems in reconciling non-locality with relativity than no-hidden-variable theories.

If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).

We shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics of weak orderings. Based on this description it is shown that all logics in ϵLin.t are independently axiomatizable. Then the description is used in order to investigate tense logics with respect to decidability, finite axiomatizability, axiomatization problems and completeness with respect to Kripke semantics. The main tool for the investigation is a translation of bimodal formulas into a language talking about partitions of (...) general frames into intervals so that relative to both Kripke frames and descriptive frames the expressive power of both languages coincides. (shrink)

It has often been suggested that the meaning of terms is theory dependent. Bas van Fraassen has proposed a particular way of inferring which sentences are true in virtue of meaning, given a theory in so-called state-space format. I examine his claims by means of simple examples.