From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...) immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

We discuss a number of topics that are central in Brouwer's intuitionism. A complete treatment is beyond the scope of the paper, the reader may find it a useful introduction to Brouwer's papers.

My dissertation asks how we affect conversational context and how it affects us when we participate in any conversation—including philosophical conversations. Chapter 1 argues that speakers make pragmatic presuppositions when they use proper names. I appeal to these presuppositions in giving a treatment of Frege’s puzzle that is consistent with the claim that coreferential proper names have the same semantic value. I outline an explanation of the way presupposition carrying expressions in general behave in belief ascriptions, and suggest that substitutivity (...) failure is a special case of this behavior. Chapter 2 develops a compositional probabilistic semantics for the language of subjective uncertainty, including epistemic adjectives scoped under quantifiers. I argue that we should distinguish sharply between the effects that epistemically hedged statements have on conversational context, and the effects that they have on belief states. I also suggest that epistemically hedged statements are a kind of doxastic advice, and explain how this hypothesis illuminates some otherwise puzzling phenomena. Chapter 3 argues that ordinary causal talk is deeply sensitive to conversational context. The principle that I formulate to characterize that context sensitivity explains at least some of the oddness of ‘systematic causal overdetermination,’ and explains why some putative overgenerated causes are never felicitously counted, in conversation, as causes. But the principle also makes metaphysical theorizing about causation rather indirectly constrained by ordinary language judgments. (shrink)

In his original semantics for counterfactuals, David Lewis presupposed that the ordering of worlds relevant to the evaluation of a counterfactual admitted no incomparability between worlds. He later came to abandon this assumption. But the approach to incomparability he endorsed makes counterintuitive predictions about a class of examples circumscribed in this paper. The same underlying problem is present in the theories of modals and conditionals developed by Bas van Fraassen, Frank Veltman, and Angelika Kratzer. I show how to reformulate all (...) these theories in terms of lower bounds on partial preorders, conceived of as maximal antichains, and I show that treating lower bounds as cutsets does strictly better at capturing our intuitions about the semantics of modals, counterfactuals, and deontic conditionals. (shrink)

This paper presents and discusses a range of counterexamples to the common view that quantifiers cannot take scope over epistemic modals. Some of the counterexamples raise problems for ‘force modifier’ theories of epistemic modals. Some of the counterexamples raise problems for Robert Stalnaker’s theory of counterfactuals, according to which a special kind of epistemic modal must be able to scope over a whole counterfactual. Finally, some of the counterexamples suggest that David Lewis must countenance ‘would’ counterfactuals in which a covert (...) ‘would’ scopes over the whole consequent of the counterfactual, including an overt ‘might.’. (shrink)

Knowledge as a Feeling offers new reflective and metacognitive tools that help meet this moment in the evolution of our information ecosystem. The book has significant implications for information science, challenging theoreticians and practitioners to reconsider how individuals process information.

Preface -- I. WELCOME TO THE WAR -- Introduction -- The war of the worldviews -- Who will be God? -- II. WORLDVIEWS IN PHILOSOPHY -- Introduction -- Thomas Aquinas -- The first battle front -- René Descartes -- John Locke -- Jean-Jacques Rousseau -- Karl Marx -- Ralph Waldo Emerson -- The second battle front -- Jeremy Bentham -- Charles Darwin -- Friedrich Nietzsche -- John Dewey -- Jean-Paul Sartre -- III. WORLDVIEWS IN LITERATURE -- Introduction -- The third (...) battle front -- William Shakespeare -- Nathaniel Hawthorne -- Mark Twain -- Ernest Hemingway & John Steinbeck -- IV. WORLDVIEWS IN CULTURE -- Pandora's machine -- Glossary -- List of images. (shrink)

In this preliminary study, the authors extend Swanson's concept of normative myopia (the propensity of executives to downplay or ignore the values at stake in their decision making) by using it as a point of reference for studying executives' preference for high pay dispersion. Specifically, the authors designed a survey to examine hypothesized relationships among myopia, personality, and executives' preference for highly stratified organizational pay structures. Data from 133 executive respondents suggest that myopic executives tend to prefer top-heavy compensation (...) systems. In addition, the findings point to an inverse relationship between the personality factor Agreeableness and normative myopia, with the former offsetting the latter. The authors reject the alternative hypothesis that gender influences both agreeableness and myopia and conclude with some implications for business and society, including Swanson's proposition that normative myopia at the top contributes to a neglectful form of corporate social performance. (shrink)

The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the creating subject technique. The method allowed stronger refutations of classical principles. Here it is used to show that negative dense subsets of the continuum are indecomposable.

Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer’s main interest, however, was in the foundation of (...) mathematics which led him to introduce, and then consolidate, constructive methods under the name ‘intuitionism’. This made him one of the main protagonists in the ‘foundation crisis’ of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict. It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century. (shrink)

Jill North argues that Hamiltonian mechanics provides the most spare -- and hence most accurate -- account of the structure of a classical world. We point out some difficulties for her argument, and raise some general points about attempts to minimize structural commitments.

In his recent paper on the symmetry problem Roni Katzir argues that the only relevant factor for the calculation of any Quantity implicature is syntactic structure. I first refute Katzir’s thesis with three examples that show that structural complexity is irrelevant to the calculation of some Quantity implicatures. I then argue that it is inadvisable to assume—as Katzir and others do—that exactly one factor is relevant to the calculation of any Quantity implicature.

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard if you want them”—and subjunctive (...) versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-called Grundlagenstreit was in full swing. An emotional man like (...) Brouwer, who easily suffered under stress, was already on edgewhen Fraenkel's book Zehn Vorlesungen Über die Grundlegung der Mengenlehre, [Fraenkel 1927] was about to appear.With the Grundlagenstreit reaching a level of personal abuse unusual in the quiet circles of pure mathematics, Brouwer was rather sensitive, where the expositions of his ideas were concerned. So when he thought that he detected instances of misconception and misrepresentation in the case of his intuitionism, he felt slighted. We will mainly look at Brouwer's reactions. since the Fraenkel letters have not been preserved.The late Mrs. Fraenkel kindly put the Brouwer letters that were in her possession at my disposal. I am grateful to the Fraenkel family for the permission to use the material.I am indebted to Andreas Blass for his valuable suggestions and corrections.Abraham Fraenkel was one of the first non-partisan mathematicians, if not the first, who developed a genuine interest in intuitionism. (shrink)

PREFACE Alexius Meinong (1853–1920) wrote an array of books and articles, broad in subject matter and rich in ideas. My book does not pretend to uncover the ...

On October 4, 1937, Zermelo composed a small note entitled “Der Relativismus in der Mengenlehre und der sogenannte Skolemsche Satz”(“Relativism in Set Theory and the So-Called Theorem of Skolem”) in which he gives a refutation of “Skolem's paradox”, i.e., the fact that Zermelo-Fraenkel set theory—guaranteeing the existence of uncountably many sets—has a countable model. Compared with what he wished to disprove, the argument fails. However, at a second glance, it strongly documents his view of mathematics as based on a world (...) of objects that could only be grasped adequately by infinitary means. So the refutation might serve as a final clue to his epistemological credo.Whereas the Skolem paradox was to raise a lot of concern in the twenties and the early thirties, it seemed to have been settled by the time Zermelo wrote his paper, namely in favour of Skolem's approach, thus also accepting the noncategoricity and incompleteness of the first-order axiom systems. So the paper might be considered a late-comer in a community of logicians and set theorists who mainly followed finitary conceptions, in particular emphasizing the role of first-order logic (cf. [8]). However, Zermelo never shared this viewpoint: In his first letter to Gödel of September 21, 1931, (cf. [1]) he had written that the Skolem paradox rested on the erroneous assumption that every mathematically definable notion should be expressible by a finite combination of signs, whereas a reasonable metamathematics would only be possible after this “finitistic prejudice” would have been overcome, “a task I have made my particular duty”. (shrink)

A successful theory of the language of subjective uncertainty would meet several important constraints. First, it would explain how use of the language of subjective uncertainty affects addressees’ states of subjective uncertainty. Second, it would explain how such use affects what possibilities are treated as live for purposes of conversation. Third, it would accommodate 'quantifying in' to the scope of epistemic modals. Fourth, it would explain the norms governing the language of subjective uncertainty, and the differences between them and the (...) norms governing the language of subjective certainty. Neither truth conditional nor traditional force modfier theories of the language of subjective uncertainty look adequate to the task of satisfying all four of these constraints. (shrink)

While contractualism seems to solve some of the more pressing concerns of other moral theories, it does not conclusively address the moral status of non-human animals. Peter Carruthers claims that contractualism excludes animals from having full moral status. I argue that Carruthers’ arguments are fatally flawed due to his reliance on contradictory claims, unlikely assumptions, and flagrant violations of the contractualist method. However, Carruthers also claims that we can treat animals wrongly and that it deserves moral criticism. This claim is (...) based in indirect moral significance. However, this position makes it impossible for Carruthers to avoid endorsing two extremely counter-intuitive claims. The work of C. Tucker and C. MacDonald allows us to demonstrate that contractualism does give animals full moral standing. They ground the criteria for a contracting agent in three characteristics that animals possess. A look at some possible objections reveals nothing devastating to their proposal. (shrink)

The project, entertained by Leibniz and others, of creating an ideal language to facilitate ratiocination, is investigated in detail. Six possible relations between the ideal language (IL) and the natural language (NL) it replaces are studied. (1) IL says exactly what NL says, but says it much more clearly. (2) IL says exactly what NL says, but does so more economically. (3) IL says exactly what NL says, but does so more succinctly. (4) IL says part of what NL says, (...) and says it more perspicuously. (5) IL says part of what NL says, and says it more perspicuously; moreover, there is an effective procedure for going from NL to IL. (6) IL says everything that NL says, plus some things that NL cannot say. (shrink)

This article discusses some of the ways in which natural language can express modal information – information which is, to a first approximation, about what could be or must be the case, as opposed to being about what actually is the case. It motivates, explains, and raises problems for Angelika Kratzer's influential theory of modal auxiliaries, and introduces a new approach to one important debate about the relationships between modality, evidentiality, context change, and imperative force.

The present volume is intended as an all-round introduction to constructivism. Here constructivism is to be understood in the wide sense, and covers in particular Brouwer's intuitionism, Bishop's constructivism and A.A. Markov's constructive recursive mathematics. The ending "-ism" has ideological overtones: "constructive mathematics is the (only) right mathematics"; we hasten, however, to declare that we do not subscribe to this ideology, and that we do not intend to present our material on such a basis.

Empirical analyses of the ethics of corporations with the aim to improve the state of corporate ethics are rare. This paper develops an integrated, normative model of corporate ethics by conceptualizing the ethical quality of organizations and by relating this contextual quality to various expressions of immoral behavior. This so-called Ethics Qualities Model for organizations, which contains 21 ethical qualities, allows one to assess the ethical content of institutional groups of individuals. A proper conceptualization is highly relevant both for the (...) empirical corroboration of business ethics theories and for managerial purposes, such as judging individual and group performance or informing external stakeholders. The empirical applicability of the model is illustrated by an explorative case study of a large, globally operating financial institution. This case-study demonstrates that the corporate ethical qualities differ with respect to their perceived optimality as well as to their estimated impact on (un)ethical conduct. The various results provide managers with many clues to understand their organization and to take effective measures to improve the ethical content of their organization. (shrink)

© Swanson 2017How Propaganda Works is a brilliant, rich, and wide-ranging exploration of the interactions between ideology, inequality, democracy and propaganda. Read as a piece of analytic political philosophy, it is radical, arguing for bold theses about democracy: legitimate democratic deliberation, Stanley contends, requires not only political equality but also substantive material equality. Read as a piece of analytic epistemology and philosophy of language, it is more modest, but nevertheless very compelling, extending well-established work in fascinating but methodologically conservative (...) ways. In particular, on Stanley’s view ‘the truth-conditional, cognitivist picture … gives us an elegant account of what happens when communication fails, due to propagandistic manipulation’. Stanley is thus not trying to think outside the box so much as trying to move or expand the box, using familiar, proven tools to make the job easier. The book generously rewards careful study and thought, and any short summary... (shrink)

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...) choice sequences is defective on several counts. (shrink)

There are basically two ways to view intuitionistic logic: as a philosophical‐foundational issue in mathematics; or as a technical discipline within mathematical logic. Considering first the philosophical aspects, for they will provide the motivation for the subject, this chapter follows L. E. J. Brouwer, the founding father of intuitionism. Although Brouwer himself contributed little to intuitionistic logic as seen from textbooks and papers, he did point the way for his successors.

The advent of deep sequencing technology has unexpectedly advanced our structural understanding of molecules composed of nucleic acids. A significant amount of progress has been made recently extrapolating the chemical methods to probe RNA structure into sequencing methods. Herein we review some of the canonical methods to analyze RNA structure, and then we outline how these have been used to probe the structure of many RNAs in parallel. The key is the transformation of structural biology problems into sequencing problems, whereby (...) sequencing power can be interpreted to understand nucleic acid proximity, nucleic acid conformation, or nucleic acid‐protein interactions. Utilizing such technologies in this way has the promise to provide novel structural insights into the mechanisms that control normal cellular physiology and provide insight into how structure could be perturbed in disease. (shrink)