We begin by considering two principles, each having the form causal completeness ergo screening-off. The first concerns a common cause of two or more effects; the second describes an intermediate link in a causal chain. They are logically independent of each other, each is independent of Reichenbach's principle of the common cause, and each is a consequence of the causal Markov condition. Simple examples show that causal incompleteness means that screening-off may fail to obtain. We derive a stronger result: in (...) a rather general setting, if the composite cause C1 & C2 & … & Cn screens-off one event from another, then each of the n component causes C1, C2, …, Cn must fail to screen-off. The idea that a cause may be ordinally invariant in its impact on different effects is defined; it plays an important role in establishing this no-go theorem. Along the way, we describe how composite and component causes can all screen-off when ordinal invariance fails. We argue that this theorem is relevant to assessing the plausibility of the two screening-off principles. The discovery of incomplete causes that screen-off is not evidence that causal completeness must engender screening-off. Formal and epistemic analogies between screening-off and determinism are discussed. (shrink)

This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic—what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics—Logicism, Intuitionism, Formalism, Realism—and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam (...) are among the philosophers considered along the way. (shrink)

In a previous paper the concept of disease was fuzzy-logically analyzed and a sketch was given of a prototype resemblance theory of disease (Sadegh-Zadeh (2000). J. Med. Philos., 25:605–38). This theory is outlined in the present paper. It demonstrates what it means to say that the concept of disease is a nonclassical one and, therefore, not amenable to traditional methods of inquiry. The theory undertakes a reconstruction of disease as a category that in contradistinction to traditional views is not based (...) on a set of common features of its members, that is individual diseases, but on a few best examples of the category, called its prototypes, and a similarity relationship such that a human condition is considered a disease if it resembles a prototype. It enables new approaches to resolving many of the stubborn problems associated with the concept of disease. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.

In 1944 Hans Reichenbach developed a three-valued propositional logic (RQML) in order to account for certain causal anomalies in quantum mechanics. In this logic, the truth-value _indeterminate_ is assigned to those statements describing physical phenomena that cannot be understood in causal terms. However, Reichenbach did not develop a deductive calculus for this logic. The aim of this paper is to develop such a calculus by means of First Degree Entailment logic (FDE) and to prove it sound and complete with respect (...) to RQML semantics. In Section 1 we explain the main physical and philosophical motivations of RQML. Next, in Sections 2 and 3, respectively, we present RQML and FDE syntax and semantics and explain the relation between both logics. Section 4 introduces \(\varvec{\mathcal {Q}}\) calculus, an FDE-based tableaux calculus for RQML. In Section 5 we prove that \(\varvec{\mathcal {Q}}\) calculus is sound and complete with respect to RQML three-valued semantics. Finally, in Section 6 we consider some of the main advantages of \(\varvec{\mathcal {Q}}\) calculus and we apply it to Reichenbach’s analysis of causal anomalies. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

Three misrepresentations of informal and formal logic by two feminist writers are discussed. Andrea Nye's criticism that the semantics for formal logic abstracts from context is a misrepresentation of formal logic because Nye ignores the development of intensional logics. Second, Nye's criticism that informaIlogicians ignore the origins of arguments is a misrepresentation of fallacy theory. Prominent writers in the field specifiy numerous cases where the origins of an argument are relevant to its evaluation. Third, Valerie Plumwood's criticism that negation in (...) classical logic rests on an exclusivistic dualism that encourages the exclusion of women is shown to be false. (shrink)

One of the key events in the relations between the Central European philosophers and those of the Nordic countries was the Second International Congress for the ...

This article highlights a use of analogies in science that so far has received relatively little systematic discussion: providing reasons for pursuing a model or theory. Using the development of the liquid drop model as a test case, I critically assess two extant pursuit worthiness accounts: that analogies justify pursuit by supporting plausibility arguments and that analogies can serve as a guide to potential theoretical unification. Neither of these fit the liquid drop model case. Instead, I develop an alternative account, (...) based on the idea that analogies facilitate the transfer of a well-understood modelling strategy to a new domain. 1Introduction2Case Study: The Development of the Liquid Drop Model3Plausibility Accounts 3.1Bartha on plausibility and analogical inference3.2Plausibility and the drop analogy4Analogies as a Guide to Unification5Generative Accounts 5.1Analogy-based modelling strategies5.2Did analogies play a merely generative role?6A New Pursuit Worthiness Account of Analogies 6.1Transferring understanding-with through analogies6.2Understanding-with and the liquid drop model7Conclusion. (shrink)

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

Presented here is an overview from the standpoints of sociology, history of science, philosophy of science and “pure science” of the lingering question of whether sociology is a form of scientific pursuit. The conclusion is drawn that sociology barely meets any of the rigid criteria traditionally associated with the natural sciences. Sociology is viewed as having a position of theory and argument which is labeled “inconoclastic scepticism.”.

We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity—some of which new—in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position–momentum, position–energy, number–phase, as well as periodic observables relevant to spatial (...) interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul’s work on operational formulation of quantum measurements and central to his philosophy of unsharp reality. (shrink)

J'appelle empiriques ou a posteriori les probabilités déterminées par l'application de la théorie mathématique des probabilités à un domaine empirique, principalement la physique. La logique inductive ou la logique probabilitaire, les probabilités conditionnelles, etc. sont exclues de mon propos.