This book is devoted to a thorough analysis of the role that models play in the practise of physical theory. The authors, a mathematical physicist and a philosopher of science, appeal to the logicians’ notion of model theory as well as to the concepts of physicists.

Two alternative accounts of quantum spontaneous symmetry breaking (SSB) are compared and one of them, the decompositional account in the algebraic approach, is argued to be superior for understanding quantum SSB. Two exactly solvable models are given as applications of our account -- the Weiss-Heisenberg model for ferromagnetism and the BCS model for superconductivity. Finally, the decompositional account is shown to be more conducive to the causal explanation of quantum SSB.

Despite the skepticism of many mathematicians and logicians as to the possibility of any test which will show conclusively the consistency or independence of the members of a postulate set, several methods have nevertheless been devised and employed, e.g., the empirical methods of Russell and Huntington, the internal method of Hilbert, and the reflective method of Royce. However, with the possible exception of Hilbert's method, these techniques require us to forsake the purely formal or abstract mode of analysis, and instead (...) to rely in some sense on “concrete representations” or “interpretations” or “modes of action” which are said to “satisfy” the postulates in question. In short, they are all interpretational methods—and here is the crux of the problem. “Is it possible,” queries Weiss, “that the only way we can determine whether a set is consistent is by seeing all the postulates actually exemplified in some object? If so, we must arbitrarily assume that the object is self-consistent, so that the proof of consistency must ultimately rest on a dogma. As independence rests on consistency there are therefore no satisfactory proofs as yet of either independence or consistency.” The question “is thus answered,” according to Young, “only by reference to a concrete representation of the abstract ideas involved, and it is such concrete representations that we wished especially to avoid. At the present time, however, no absolute test for consistency is known.” Moreover, “suppose,” says the late Dr. Eaton, “that the system has no interpretation: how can the consistency independence … of the postulates be shown? There should be some analytic way—purely in the realm of the abstract, without interpretation—of establishing these properties of a set of postulates. This is an important problem that awaits solution.”. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

1. Sae sidae rŭl yŏrŏ gan saramdŭl -- 2. Ŏdum ŭi sidae.

The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of philosophical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...) to reduce the risk of false positives. Herein we explore in detail two relevant points of uncertainty that AGI alignment research hinges on---meta-ethical uncertainty and uncertainty about mental phenomena---and show how to reduce false positives in response to them. (shrink)

In a recent article Duncan Purves, Ryan Jenkins, and B. J. Strawser argue that in order for a decision in war to be just, or indeed the decision to resort to war to be just, it must be the case that the decision is made for the right reasons. Furthermore, they argue that this requirement holds regardless of how much good is produced by said action. In this essay I argue that their argument is flawed, in that it mistakes what (...) makes an agent morally good for what makes an act morally good. I argue that the main thrust of Purves et al.’s argument in fact undermines the conclusion they wish to draw, and that the reasons for one’s action do not make an in principle difference to the morality of actions in war. I further argue that this position undermines the traditional ad bellum just war constraint of right intention, and that the morality of actions in war is, at core, only concerned with outcomes. I conclude by clarifying that one’s reasons for action do in fact matter when deciding to enter war or kill in war, but only because one’s reasons significantly impact the way in which one acts. The purpose of this paper is to clear the theoretical space by showing why intentions/reasons do not in principle matter when assessing the morality of war (or killing), but this should not be taken as an argument that we should ignore intentions/reasons altogether. (shrink)