Central limit theorem for the functional of jump Markov process. Nguyễn Văn Hữu, Vương Quân Hoàng và Trần Minh Ngọc. Báo cáo: Hội nghị toàn quốc lần thứ III “Xác suất - Thống kê: Nghiên cứu, ứng dụng và giảng dạy” (tr. 34). Ba Vì, Hà Tây, ngày 12-14 tháng 05 năm 2005. Viện Toán học / Trường Đại học Khoa học tự nhiên / Đại học Quốc gia Hà Nội.

The central limit theorem has been found to apply to random vectors in complex Hilbert space. This amounts to sufficient reason to study the complex–valued Gaussian, looking for relevance to quantum mechanics. Here we show that the Gaussian, with all terms fully complex, acting as a propagator, leads to Schrödinger’s non-relativistic equation including scalar and vector potentials, assuming only that the norm is conserved. No physical laws need to be postulated a priori. It thereby presents as a (...) process of irregular motion analogous to the real random walk but executed under the rules of the complex number system. There is a standard view that Schrödinger’s equation is deterministic, whereas wavefunction “collapse” is probabilistic —we have now a demonstrated linkage to the central limit theorem, indicating a stochastic picture at the foundation of Schrödinger’s equation itself. It may be an example of Wheeler’s “It from bit” with “No underlying law”. Reasons for the primary role of \ are open to discussion. The present derivation is compared with recent reconstructions of the quantum formalism, which have the aim of rationalizing its obscurities. (shrink)

Some conditions are given to ensure that for a jump homogeneous Markov process $\{X(t),t\ge 0\}$ the law of the integral functional of the process $T^{-1/2} \int^T_0\varphi(X(t))dt$ converges to the normal law $N(0,\sigma^2)$ as $T\to \infty$, where $\varphi$ is a mapping from the state space $E$ into $\bbfR$.

In this paper we unravel the connection between the quantum mechanical formalism and the Central limit theorem (CLT). We proceed to connect the results coming from this theorem with the derivations of the Schrödinger equation from the Liouville equation, presented by ourselves in other papers. In those papers we had used the concept of an infinitesimal parameter δx that raised some controversy. The status of this infinitesimal parameter is then elucidated in the framework of the CLT. (...) Finally, we use the formal apparatus developed in our previous papers and the results of the present one to advance an alternative objective interpretation of quantum mechanics in which its relations with the classical framework are made explicit. The relations between our approach and those using the Wigner–Moyal transformation are also addressed. (shrink)

Mathematical theorems are cultural artifacts and may be interpreted much as works of art, literature, and tool-and-craft are interpreted. The Fundamental Theorem of the Calculus, the Central Limit Theorem of Statistics, and the Statistical Continuum Limit of field theories, all show how the world may be put together through the arithmetic addition of suitably prescribed parts (velocities, variances, and renormalizations and scaled blocks, respectively). In the limit — of smoothness, statistical independence, and large N (...) — higher-order parts, such as accelerations, are, for the most, part irrelevant, affirming that, in the end, most of the world's particulars may be averaged over (a very un-Scriptural point of view). (We work out all of this in technical detail, including a nice geometric picture of stochastic integration, and a method of calculating the variance of the sum of dependent random variables using renormalization group ideas.) These fundamental theorems affirm a culture that is additive, ahistorical, Cartesian, and continuist, sharing in what might be called a species of modern culture. We understand mathematical results as useful because, like many other such artifacts, they have been adapted to fit the world, and the world has been adapted to fit their capacities. Such cultural interpretation is in effect motivation for the mathematics, and might well be offered to students as a way of helping them understand what is going on at the blackboard. Philosophy of mathematics might want to pay more attention to the history and detailed technical features of sophisticated mathematics, as a balance to the usual concerns that arise in formalist or even Platonist positions. (shrink)

Let be n events in a probability space, and suppose that we have only partial information about the distribution: The probabilites of the events themselves, and their pair intersections. With this partial information we cannot, usually, deternine the probability of an event B in the algebra generated by the 's, but we can obtain lower and upper bounds. This is done by a linear program related to the correlation polytope c(n), a structure introduced in [3], [4]. In the first part (...) of the paper I demonstrate how laws of large numbers (for sequences of events which are not necessarily independent) can be proved, using only the duality theorem of linear programming. These include the weak law of large numbers (necessary and sufficient condition) and various sufficient conditions for strong laws. The connection between these laws and the facet structure of the correlation polytope is established. In the second part of the paper I consider a more general case. Assume that our information consists of the values of the probabilities of all intersections of the 's up to size k, k < n. The techniques of linear programming lead naturally to an application of the theory of polynomial approximation in estimating the size of various events. In particular, I prove an approximate version of the central limit theorem. (shrink)

In this paper the following theorem is proved regarding groups of finite Morley rank which are perfect central extensions of quasisimple algebraic groups.Theorem1.Let G be a perfect group of finite Morley rank and let C0be a definable central subgroup of G such that G/C0is a universal linear algebraic group over an algebraically closed field; that is G is a perfect central extension of finite Morley rank of a universal linear algebraic group. Then C0= 1.Contrary to an (...) impression which exists in some circles, the center of the universal extension of a simple algebraic group, as an abstract group, is not finite in general. Thus the finite Morley rank assumption cannot be omitted.Corollary1.Let G be a perfect group of finite Morley rank such that G/Z(G) is a quasisimple algebraic group. Then G is an algebraic group. In particular, Z(G) is finite([4],Section27.5).An understanding of central extensions of quasisimple linear algebraic groups which are groups of finite Morley rank is necessary for the classification oftamesimpleK*-groupsof finite Morley rank, which constitutes an approach to the Cherlin-Zil’ber conjecture. For this reason the theorem above and its corollary were proven in [1] (Theorems 4.1 and 4.2) under the assumption oftameness, which simplifies the argument considerably. The result of the present paper shows that this assumption can be dropped. The main line of argument is parallel to that in [1]; the absence of the tameness assumption will be countered by a model-theoretic result and results fromK-theory. The model-theoretic result places limitations on definability in stable fields, and may possibly be relevant to eliminating certain other uses of tameness. (shrink)

It is usually supposed that the central limit theorem explains why various quantities we find in nature are approximately normally distributed—people's heights, examination grades, snowflake sizes, and so on. This sort of explanation is found in many textbooks across the sciences, particularly in biology, economics, and sociology. Contrary to this received wisdom, I argue that in many cases we are not justified in claiming that the central limit theorem explains why a particular quantity is (...) normally distributed, and that in some cases, we are actually wrong. 1 Introduction2 Normal Distributions and the Central Limit Theorem2.1 Normal distributions2.2 The central limit theorem2.3 Terminology3 Explaining Normality3.1 Loaves of bread3.2 Varying variances and probability densities3.3 Tensile strengths and problems with summation3.4 Products of factors and log-normal distributions3.5 Transforming factors and sub-factors3.6 Transformations of quantities3.7 Quantitative genetics3.8 Inference to the best explanation4 Maximum Entropy Explanations5 Conclusion. (shrink)

Problem-solving software that is not-necessarily infallible is central to AI. Such software whose correctness and incorrectness properties are deducible by agents is an issue at the foundations of AI. The Comprehensibility Theorem, which appeared in a journal for specialists in formal mathematical logic, might provide a limitation concerning this issue and might be applicable to any agents, regardless of whether the agents are artificial or natural. The present article, aimed at researchers interested in the foundations of AI, addresses (...) many questions related to that theorem, including differences between it and results of Gödel and Turing that have sometimes played key roles in Minds and Machines articles. This study also suggests that—if one is willing to assume a thesis due to Donald Knuth—the Comprehensibility Theorem is the first mathematical theorem implying the impossibility of any AI agent or natural agent—including a not-necessarily infallible human agent—satisfying a rigorous and deductive interpretation of the self-comprehensibility challenge. Some have pointed out the difficulty of self-comprehensibility, even according to presumably a less rigorous interpretation. This includes Socrates, who considered it to be among the most important of intellectual tasks. Self-comprehensibility in some form might be essential for a kind of self-reflection useful for self-improvement that might enable some agents to increase their success. We use the methods of applied mathematics, rather than philosophy, although some topics considered could be of interest to philosophers. (shrink)

There are powerful fairness and efficiency arguments for making charitable donations to soup kitchens 100% deductible. These arguments have no purchase for donations to fund opulent church organs, yet these too are 100% deductible under the current tax code. This stark dichotomy is only the tip of the iceberg. Looking at a wider sampling of charitable gifts reveals a charitable continuum. Based on sliding scales for efficiency, multiple theories of fairness, pluralism, institutional competence and social welfare dictate that charitable deductions (...) should in most cases be fractions between zero and one. Moreover, the Central Limit Theorem strongly suggests that combining this welter of largely independent criteria with the wide variety of charitable gifts results in a classic bell-shaped normal curve of optimal deductions, with a peak at some central value and quickly decaying to zero at the extremes of 0% and 100%. Given that those are the only two options under the current tax code, the current charitable deduction regime inevitably makes large errors in most cases. Actually calculating a precise optimal percentage for each type of charitable donation is of course impractical. This Article suggests, however, that we can do much better than the systematically erroneous current charitable deduction. Granting a 100% deduction only for donations to the desperately poor, along with 50%, 25%, and 0% for gifts yielding progressively fewer efficiency, fairness, pluralism, and institutional competence benefits, promises to deliver a socially more desirable charitable deduction. (shrink)

This target article presents a critical survey of the scientific literature dealing with the speed/accuracy trade-offs in rapid-aimed movements. It highlights the numerous mathematical and theoretical interpretations that have been proposed in recent decades. Although the variety of points of view reflects the richness of the field and the high degree of interest that such basic phenomena attract in the understanding of human movements, it calls into question the ability of many models to explain the basic observations consistently reported in (...) the field. This target article summarizes the kinematic theory of rapid human movements, proposed recently by R. Plamondon (1993b; 1993c; 1995a; 1995b), and analyzes its predictions in the context of speed/accuracy trade-offs. Data from human movement literature are reanalyzed and reinterpreted in the context of the new theory. It is shown that the various aspects of speed/accuracy trade-offs can be taken into account by considering the asymptotic behavior of a large number of coupled linear systems, from which a delta-lognormal law can be derived to describe the velocity profile of an end-effector driven by a neuromuscular synergy. This law not only describes velocity profiles almost perfectly, it also predicts the kinematic properties of simple rapid movements and provides a consistent framework for the analysis of different types of speed/accuracy trade-offs using a quadratic (or power) law that emerges from the model. (shrink)

If Y is normal with parameters μ and σ , the standard normal Z = ( Y - μ )/ σ has parameters and 1. Central Limit Theorem: For any sequence Y 1, Y 2, ... of IID random variables with expectation μ and variance σ , the cdf of Z is the limit, as n → ∞, of the cdf of ( Y 1 + Y 2 + … + Yn - nμ )/( σ √\x{D835}\x{DC5B}).

Despite the close connection between the central limit theorem and renormalization group (RG) methods, the latter should be considered fundamentally distinct from the kind of probabilistic framework associated with statistical mechanics, especially the notion of averaging. The mathematics of RG is grounded in dynamical systems theory rather than probability, which raises important issues with respect to the way RG generates explanations of physical phenomena. I explore these differences and show why RG methods should be considered not just (...) calculational tools but the basis for a physical understanding of complex systems in terms of structural properties and relations. (shrink)

Among the many sorts of problems encountered in decision theory, allocation problems occupy a central position. Such problems call for the assignment of a nonnegative real number to each member of a finite set of entities, in such a way that the values so assigned sum to some fixed positive real number s. Familiar cases include the problem of specifying a probability mass function on a countable set of possible states of the world, and the distribution of a certain (...) sum of money, or other resource, among various enterprises. In determining an s-allocation it is common to solicit the opinions of more than one individual, which leads immediately to the question of how to aggregate their typically differing allocations into a single “consensual” allocation. Guided by the traditions of social choice theory decision theorists have taken an axiomatic approach to determining acceptable methods of allocation aggregation. In such approaches so-called “independence” conditions have been ubiquitous. Such conditions dictate that the consensual allocation assigned to each entity should depend only on the allocations assigned by individuals to that entity, taking no account of the allocations that they assign to any other entities. While there are reasons beyond mere simplicity for subjecting allocation aggregation to independence, this radically anti-holistic stricture has frequently proved to severely limit the set of acceptable aggregation methods. As we show in what follows, the limitations are particularly acute in the case of three or more entities which must be assigned nonnegative values summing to some fixed positive number s. For if the set V⊆[0,s] of values that may be assigned to these entities satisfies some simple closure conditions and Vis finite, then independence allows only for dictatorial or imposed aggregation. This theorem builds on and extends a theorem of Bradley and Wagner and, when V={0,1}, yields as a corollary an impossibility theorem of Dietrich on judgment aggregation. (shrink)

The correspondence between Richard von Mises and George Pólya of 1919/20 contains reflections on two well-known articles by von Mises on the foundations of probability in the Mathematische Zeitschrift of 1919, and one paper from the Physikalische Zeitschrift of 1918. The topics touched on in the correspondence are: the proof of the central limit theorem of probability theory, von Mises' notion of randomness, and a statistical criterion for integer-valuedness of physical data. The investigation will hint at both (...) the fruitfulness and the limits of several of von Mises' notions such as ``collective'', ``distribution'' and ``complex adjuncts'' (characteristic functions) for further developments in probability theory and in ``directional statistics''. By pointing to the selectiveness of Pólya's criticism, the historical analysis shows the differing expectations of the two men with respect to the further development of the theory of probability and its applications. The paper thus gives a glimpse of the provisional state of the theory around 1920, before others such as P. Lévy (1886–1971) and A. N. Kolmogorov (1903–1987) stepped in and created a new paradigm for probability theory. (shrink)

This paper examines Derrida's interpretation of Jean Cavaill s's critique of phenomenology in On Logic and the Theory of Science . Derrida's main claim is that Cavaill s's arguments, especially the argument based on G del's incompleteness theorems, need not lead to a total rejection of Husserl's phenomenology, but only its static version. Genetic phenomenology, on the other hand, not only is not undermined by Cavaill s's critique, but can even serve as a philosophical framework for Cavaill s's own position. (...) I will argue that Derrida's approach to Cavaill s is fruitful, facilitating the exposition of some central Cavaill sian ideas, including the notion of dialectics. Nevertheless, it is important to evaluate Derrida's own arguments against static phenomenology. I undertake such an assessment in the last section of the paper, showing that G del's theorems do not in themselves warrant rejection of static phenomenology. I base this conclusion in part on G del's own understanding of phenomenology as a philosophical basis for mathematics. (shrink)

I show that Dempster's Rule of combination can be represented in the theory of Markov chains and use this representation to derive limit theorems concerning the long term effect of updating belief with Dempster's rule.

Cognition in living entities—and their social groupings or institutional artifacts—is necessarily as complicated as their embedding environments, which, for humans, includes a particularly rich cultural milieu. The asymptotic limit theorems of information and control theories permit construction of a new class of empirical ‘regression-like’ statistical models for cognitive developmental processes, their dynamics, and modes of dysfunction. Such models may, as have their simpler analogs, prove useful in the study and re-mediation of cognitive failure at and across the scales and (...) levels of organization that constitute and drive the phenomena of life. These new models particularly focus on the roles of sociocultural environment and stress, in a large sense, as both trigger for the failure of the regulation of bio-cognition and as ‘riverbanks’ determining the channels of pathology, with implications across life-course developmental trajectories. We examine the effects of an embedding cultural milieu and its socioeconomic implementations using the ‘lenses’ of metabolic optimization, control system theory, and an extension of symmetry-breaking appropriate to information systems. A central implication is that most, if not all, human developmental disorders are fundamentally culture-bound syndromes. This has deep implications for both individual treatment and public health policy. (shrink)

L S Penrose’s Limit Theorem – which is implicit in Penrose [7, p. 72] and for which he gave no rigorous proof – says that, in simple weighted voting games, if the number of voters increases indefinitely and the relative quota is pegged, then – under certain conditions – the ratio between the voting powers of any two voters converges to the ratio between their weights. Lindner and Machover [4] prove some special cases of Penrose’s Limit (...) class='Hi'>Theorem. They give a simple counter-example showing that the theorem does not hold in general even under the conditions assumed by Penrose; but they conjecture, in effect, that under rather general conditions it holds ‘almost always’ – that is with probability 1 – for large classes of weighted voting games, for various values of the quota, and with respect to several measures of voting power. We use simulation to test this conjecture. It is corroborated with respect to the Penrose–Banzhaf index for a quota of 50% but not for other values; with respect to the Shapley–Shubik index the conjecture is corroborated for all values of the quota. (shrink)

LS Penrose was the first to propose a measure of voting power (which later came to be known as ‘the [absolute] Banzhaf index’). His limit theorem – which is implicit in Penrose (1952) and for which he gave no rigorous proof – says that, in simple weighted voting games, if the number of voters increases indefinitely while the quota is pegged at half the total weight, then – under certain conditions – the ratio between the voting powers (as (...) measured by him) of any two voters converges to the ratio between their weights. We conjecture that the theorem holds, under rather general conditions, for large classes of variously defined weighted voting games, other values of the quota, and other measures of voting power. We provide proofs for some special cases. (shrink)

Boolos's proof of incompleteness is extended straightforwardly to yield simple “diagonalization-free” proofs of some classical limitative theorems of logic.

About 35 years ago Wheeler introduced the motto “law without law” to highlight the possibility that Physics may be understood only following regularity principles and few relevant facts, rather than relying on a treatment in terms of fundamental theories. Such a proposal can be seen as part of a more general attempt summarized by the slogan “it from bit”, which privileges the information as the basic ingredient. Apparently it seems that it is possible to obtain, without the use of physical (...) laws, some important results in an easy way, for instance, the probability distribution of the canonical ensemble. In this paper we will present a general discussion on those ideas of Wheeler’s that originated the motto “law without law”. In particular we will show how the claimed simplicity is only apparent and it is rather easy to produce wrong results. We will show that it is possible to obtain some of the results treated by Wheeler in the realm of the statistical mechanics, using precise assumptions and nontrivial results of probability theory, mainly concerning ergodicity and limit theorems. (shrink)

The Bayesian theorem on convergence to the truth states that a rational inquirer believes with certainty that her degrees of belief capture the truth about a large swath of hypotheses with increasing evidence. This result has been criticized as showcasing a problematic kind of epistemic immodesty when applied to infinite hypotheses that can never be approximated by finite evidence. The central point at issue—that certain hypotheses may forever be beyond the reach of a finite investigation no matter how (...) large one’s reservoir of evidence—cannot be captured adequately within standard probability theory. As an alternative, I propose a nonstandard probabilistic framework that, by using arbitrarily small and large numbers, makes room for the type of fine-grained conceptual distinctions appropriate for a deeper analysis of convergence to the truth. This framework allows for the right kind of modesty about attaining truth in the limit. (shrink)

This paper is about the epistemology of quantum theory. We establish a new result about a limitation to knowledge of its central object---the quantum state of the universe. We show that, if the universal quantum state can be assumed to be a typical unit vector from a high-dimensional subspace of Hilbert space (such as the subspace defined by a low-entropy macro-state as prescribed by the Past Hypothesis), then no observation can determine (or even just narrow down significantly) which vector (...) it is. Typical state vectors, in other words, are observationally indistinguishable from each other. Our argument is based on a typicality theorem from quantum statistical mechanics. We also discuss how theoretical considerations that go beyond the empirical evidence might bear on this fact and on our knowledge of the universal quantum state. (shrink)

In general, analyses of voting power are performed through the notion of a simple voting game (SVG) in which every voter can choose between two options: ‘yes’ or ‘no’. Felsenthal and Machover [Felsenthal, D.S. and Machover, M. (1997), International Journal of Game Theory 26, 335–351.] introduced the concept of ternary voting games (TVGs) which recognizes abstention alongside. They derive appropriate generalizations of the Shapley–Shubik and Banzhaf indices in TVGs. Braham and Steffen [Braham, M. and Steffen, F. (2002), in Holler, et (...) al. (eds.), Power and Fairness, Jahrbuch für Neue Politische Ökonomie 20, Mohr Siebeck, pp. 333–348.] argued that the decision-making structure of a TVG may not be justified. They propose a sequential structure in which voters first decide between participation and abstention and then between ‘yes’ or ‘no’. The purpose of this paper is two-fold. First, we compare the two approaches and show how the probabilistic interpretation of power provides a unifying characterization of analogues of the Banzhaf (Bz) measure. Second, using the probabilistic approach we shall prove a special case of Penrose’s Limit Theorem (PLT). This theorem deals with an asymptotic property in weighted voting games with an increasing number of voters. It says that under certain conditions the ratio between the voting power of any two voters (according to various measures of voting power) approaches the ratio between their weights. We show that PLT holds in TVGs for analogues of Bz measures, irrespective of the particular nature of abstention. (shrink)

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of (...) truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. Key Features - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic -Useful bibliographies in every chapter - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter. (shrink)

Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Gödel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of (...) a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume’s elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic. (shrink)

The present paper shows how one might model Everettian quantum mechanics using hyperfinitely many worlds. A hyperfinite model allows one to consider idealized measurements of observables with continuous-valued spectra where different outcomes are associated with possibly infinitesimal probabilities. One can also prove hyperfinite formulations of Everett’s limiting relative-frequency and randomness properties, theorems he considered central to his formulation of quantum mechanics. Finally, this model provides an intuitive framework in which to consider no-collapse formulations of quantum mechanics more generally.

Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as today, (...) I felt the full weight of the moment of truth as it confronts the individual, the man or woman of action, with the imminent necessity to decide. Alongside, as I was climbing up the ladder of education, I found myself just as well captivated by the great intellectual stories of our times, in particular 20th century analytic philosophy and, at its core, the machinery of modern logic. How do then the cool contemplative modes of the philosophical and analytic outlooks, that are better fitting of the philosopher's armchair at the fireplace, hang together with the heat of the battlefield or the angst of the ticking clock of time left to the completion of a daring special operation? Growing up I was pondering exactly that. Not accidently, and in fact as consequence, I have chosen a course in life that challenged me to visit the poles of both theory and practice. I set myself on a mission to unravel the tension between the contemplative inquiry, supposedly theoretical, aiming at the logical structure of things, and the uncompromising test of life and action. The puzzle of the gap between theory and practice has become ever since the guiding question of my life. -/- Not long ago, I met two friends, Avner Shor, a veteran combat soldier of the special forces unit I eventually commanded, and Aviram Halevi, a fellow officer with whom I served. Why will we not put into writing the ideas that guided us during our years of military action, we wondered. At that time, I used to deliver the keynote lectures to the senior officers' course of Israel central intelligence organization, the Mossad. For this I already had to put some of these ideas in writing. Avner was quick to introduce me with a notable publisher and even helped me write the first chapter. With Aviram I sat to many meetings, where he would challenge me with key questions, and we followed them with memories of operations and battles, aiming to draw the required lessons. This served me well when I finally sat down to write the first draft of the book. The result was more extensive than me and my friends had expected. I had to add a particularly long chapter dealing with the story of modern philosophy and logic. This was required, I felt, as no decision-making process lives in an intellectual vacuum. Knowingly or subconsciously, the intellectual climate of the time guides us for better or worse with the decisions we finally take. The initial draft was naturally cumbersome and inaccessible. But here I had the privilege of meeting a particularly talented editor, Rami Rothholtz. I found in Rami both an editor and a critical reader. As an infantry combat soldier at youth and now a senior journalist and editor, Rami insisted on simplifying and refining my ideas. Had it not been for his work, this book would have been literally unreadable. *** I opened my book with a brief description of a single night of a special operation deep at the Lebanon Bekaa valley, far away from Israel northern border. The mission was to kidnap a senior terror leader known to be holding in captivity an Israeli pilot. This was also the last special operation I commanded in my military career. A single special operation night, but what had to precede it? For sure, many months of intense and skillful preparations. What is Planning? This is the question with which I open up chapter (2) of the book. I confront in this chapter two approaches to planning. The first is the one I saw as a mission to myself to cultivate in my many years of military service. The second is the one I saw as representing a deep-rooted fallacy that holds a firm grip on today's conventional wisdom about planning. To further examine the logic of the competing models, I was required in chapter (3) to analyze the concept of "The Standard". I argue that the false model of planning has its roots in an attitude of an uncompromising adherence to the power of literal obedience to standards and rules. The standard, or what is outlined by a rule as prescribing a future course of action, is seen as an answer to the fundamental tension between theory (planning) and practice (execution). I argue in contrast that the standard does not produce an answer but rather what I call: "A Well-Defined Question". In essence, it is a meticulously-well-planned invitation to exercise a fresh judgment. A judgement that has as an anchor the default answer that the standard produces but is open to extension as it confronts the new frame of reference of the test of reality. In chapter (4), I present a new tool for planning and execution: "The Polygon of Risks" or "The Polygon of Execution". The Polygon is a geometric illustration of the underlying tension that exists between all dimensions of the operational project. The construction and conceptualization of the trade-offs that exist between the various dimensions - segments of the polygon - is the first topic on the planner's agenda. I position the concepts of "Daring" and "Taking Proactive and Well-Informed Risks" as necessary logical constituents of the polygon and show how in contrast the false model of planning is responsible for an operational culture that is risk-averse. It encourages, in fact, the piling up of false securities at the segments' level that eventually lead to the collapse of the polygon. The necessary trade-offs relationships that exist between the segments of the polygon express the fundamental tension between partnership and competition: partnership in a joint goal and competition over resources, both material and abstract. When this tension is not managed well, that is, when the players' local optimizations overshadow the global optimization required for the success of the project, the execution polygon collapses. In this scenario, we may find the setting of the bar of "High Standards" in a players' spheres of responsibility to conceal a hidden agenda of personal insurances taken against a possible failure. Once the overall risk is not mitigated by way of collaborative joint executional dialogue, the process that leads to a collapse of the polygon is literally unstoppable. *** In chapter (5), I discuss "(Fateful) Decisions". I examine the way in which we should translate the polygon into sequential critical decisions on the timeline. The execution polygon is not a rigid scaffolding but a dynamic conceptual illustration of the -/- project. It will need now to be converted into successive decision junctions. We will find the content of a decision and its timing on the timeline to be inseparable. The right decision is the one that is taken at the right time. The moment of decision is in fact the last moment of deliberation, the first moment available for action, i.e. the first possible "Can" is also the latest possible "Must". Deciding too soon is analog to the "Jumping of the Gun". The decision maker is forcing a pre-conceived answer to a state of affairs not ripe for an answer, e.g. the target in the shooting range is not yet erected. Late to decide and the decision maker may envision what he or she should have done but reality is no longer available for them to harness it right, e.g. consider a tennis player's frustration when reviewing a too-late-to-react move in the video replay. I review in this chapter many fateful decisions, both historical, from Napoleon's Waterloo, to a Bridge Too Far of WWII, to the failed rescue attempt of American hostages at the time of the Iranian Revolution, as well as fateful decisions I had to take in the course of my military life, both in combat and in special operations, and show the sense in which they all answer to our analysis. The theme of chapter (6) is "The Moment of Truth". This is the moment when everything is on the line and from which there is no turning back. I discuss the formative repetitive structure of the schooling and simulation phase and contrast it with the "One Shot, One Opportunity" nature of the moment of truth. This is extremely helpful when we analyze the logical structure of failures as unwarranted repetitions of past lessons. The schooling curriculum indeed consists of important abstractions drawn from lessons of the past. However, it is when we project them in a fashion that is literal or mechanical that we cross path with the possibility of a failure. The paradox of education is that what we must repeat in school and simulation must be extended and not repeated in real life. What is required of us so we do not fall into the fallacy of repetition in face of the moment of truth is the core subject of the discussion of this chapter. In chapter (7), I took a lengthy philosophical detour surveying the intellectual drama of modern logic, and in general, the story of 20th century analytic philosophy. Readers who choose to bypass the somehow demanding narrative of this drama can do so and still keep the argumentative thread of the book. However, even by way of skipping the more technical parts, I would still urge the readers to delve into the discussion in this chapter as I believe this would grant them a deeper understanding of the overall conceptual framework. I explore here the work of two key figures: the logician Kurt Gödel and the philosopher Ludwig Wittgenstein, both were crowned in 2000 by TIME Magazine, as the leading Logician and Philosopher, respectively, of the 20th Century. I review the fascinating logical result of Gödel's Incompleteness Theorem and examine its relevance as setting a theoretical limit to the power of formalization. This amazing logical result - a result that shakes the logical foundations of 20th century thought in as much as the discovery of irrational numbers shook the foundations of the Pythagorean program of the ancient Greeks - bears significantly on the question of action and the blind trust we place in the power of formalization in the form of protocols and rules. It is here that Wittgenstein's philosophy enters in full force. We follow Wittgenstein as he dismantles our conception of rules as if there were "Railroads to Infinite", i.e. as prescribing for us in-advance their proper employments in all possible -/- future eventualities. Instead we propose that the dilemma of action demands of us an extension of rules rather than a mechanical or blind repetition of their literal imperative. In turn, this extension can serve as a new lesson added to the curriculum of school and simulation. The theme of chapter (8), the concluding chapter, is Strategy, Logic, and Ethics. The chapter comes to place the ethical dilemma in the conceptual map we presented in the book. I discuss here the tension between strategy as a process of setting goals and deriving backward as it were the steps that are necessary for achieving these goals, to the inescapable dictation of the ethical imperative. This unavoidable tension is particularly important against the backdrop of contemporary culture that is guided by a vision of personal success and achievement that may threaten our ability to do what is right. Most of all, I am troubled in this chapter, with the role logic may play, first as a liberating force enabling a change that is tuned to the ethical imperative, and second, as a force designed to justify on logical grounds, as it were, the existing power structure. It is in this junction that brave individuals will be called to challenge the governing logic of the zeitgeist - logic that operates now as an oppressive force that serves the vested interest of beneficials of the existing order. When success is favored over doing what is right, as we must admit is the prevailing cultural mood of our times, that the words of Emanuel Kant carry their full weight: "Do the Right thing and leave the Consequences to God". For this we need heroes and heroines that challenge the time by bearing the full weight of responsibility that comes with the doing of what is Right. *** This book was written more than anything from the perspective of the heroes and heroines of action. Sometimes they may be missing the exact words or the full insight into the solid logical complexity that stands between them and the doing of what is right. They feel what is right to do on the battlefield of life, whether in real battle, in political or economic life or whether in the life of creativity and the quest of the intellect. They do need, in analogy, proper logical and intellectual artillery. I hope they will find the logical cannons they require as they travel through the pages of this book. The rest is in their hands at the Moment of Truth. -/- Doron Avital, Tel Aviv 2011 -/- . (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Logos and Alogon: Thinkable and Unthinkable in Mathematics, from the Pythagoreans to the Moderns by Arkady PlotnitskyNoam CohenPLOTNITSKY, Arkady. Logos and Alogon: Thinkable and Unthinkable in Mathematics, from the Pythagoreans to the Moderns. Cham: Springer, 2023. xvi + 294 pp. Cloth, $109.99The limits of thought in its relations to reality have defined Western philosophical inquiry from its very beginnings. The shocking discovery of the incommensurables in Greek mathematics (...) not only reintroduced these limits with greater force but also instigated two different forms of coping with the unthinkable in Western philosophy, mathematics, and science. As Arkady Plotnitsky sets forth, in response to the incommensurability crisis in the ancient Greek intellectual world, there appeared two different attitudes toward the alogon, that is, the unthinkable or irrational. Plato and his followers sought to overcome the unthinkable, of which the incommensurables in mathematics are only an example, through philosophy. In contrast, the Pythagoreans continued to hold on to mathematics as the primary means of knowing the world, but put a larger emphasis on geometry. Plotnitsky [End Page 359] claims that by not putting aside the primacy of mathematics, the Pythagorean shift from arithmetic to geometry established in Western thought a certain tolerance toward the unthinkable within the realm of the thinkable, “a possibility of the alogon in the logos.” Until modern times this remained no more than a possibility. However, in modern mathematics and mathematical physics Plotnitsky identifies a certain fulfillment of this potential, a “radical Pythagorean mathematics.” In his comprehensive and thought-provoking study, Plotnitsky recounts the development of such radical modern Pythagoreanism, not only to tell its history but also to suggest that the unthinkable is a condition of possibility for thought, and that a proper recognition of this role it plays is crucial for the advancement of mathematical thinking and thinking in general.Plotnitsky begins by portraying in broad strokes the two defining characteristics of radical Pythagorean mathematics: the presence of the unthinkable within mathematical thought itself, and the interplay of algebra and geometry. Relying on an extensive knowledge of the history of modern mathematics and physics, in the first two chapters of the book Plotnitsky gradually demonstrates the key role that the alogon plays in some theories of modern mathematical thought, such as Gödel’s incompleteness theorems and quantum mechanics. He also presents and clarifies his own conception of the history of Western thought as a creative process of concept-forming. By creating rather than discovering concepts, great mathematicians break new ground for thinking. The book as a whole argues in length for these two main theses.In chapter 3, the author addresses the thought of Bernhard Riemann to make the case that Riemann’s mathematical thought puts an emphasis on creative conceptual thinking and is not defined merely by calculations or logic. Such thinking is problem-posing rather than axiomatic. Riemann’s central innovation in this respect is the concept of manifold (Mannigfaltigkeit), which enabled him to think anew space and geometry in a radical non-Euclidean fashion, implying an infinite number of possible geometries. Plotnitsky argues—borrowing Deleuze and Guattari’s terminology—that this opened up a “plane of immanence,” which is to say that Riemann created a concept-generating movement of thought. However, we cannot grasp the generation of concepts in modern mathematics without giving proper attention to the interplay of algebra and geometry that defines it. Chapter 4 demonstrates this interweaving of the two fields by recounting the history of the idea of the curve in modernity, from the analytic geometry and calculus of Fermat and Descartes to its modification in the concept of a Riemann surface, up to its more recent developments in the algebraic geometry of Weil and Grothendieck. It gives a historical account of the algebraization of the curve that at the same time brings into relief the irreducible geometrical aspect, continuity, of all modern mathematical conceptualizations of the curve.The next two chapters provide further case studies. Chapter 5 expands and solidifies the argument of chapter 2. It discusses three examples of mathematical practice, each displayed by a pair of important [End Page 360] mathematicians: Abel and Galois, Lobachevsky and Riemann, Weil and Grothendieck. Each case... (shrink)

The dissertation under comment is a contribution to the area of Set Theory concerned with the interactions between the method of Forcing and the so-called Large Cardinal axioms.The dissertation is divided into two thematic blocks. In Block I we analyze the large-cardinal hierarchy between the first supercompact cardinal and Vopěnka’s Principle. In turn, Block II is devoted to the investigation of some problems arising from Singular Cardinal Combinatorics.We commence Part I by investigating the Identity Crisis phenomenon in the region comprised (...) between the first supercompact cardinal and Vopěnka’s Principle. As a result, we generalize Magidor’s classical theorems [2] to this higher region of the large-cardinal hierarchy. Also, our analysis allows to settle all the questions that were left open in [1]. Finally, we conclude Part I by presenting a general theory of preservation of $C^{}$ -extendible cardinals under class forcing iterations. From this analysis we derive several applications. For instance, our arguments are used to show that an extendible cardinal is consistent with “ $^{\mathrm {HOD}}<\lambda ^+$, for every regular cardinal $\lambda $.” In particular, if Woodin’s HOD Conjecture holds, and therefore it is provable in ZFC + “There exists an extendible cardinal” that above the first extendible cardinal every singular cardinal $\lambda $ is singular in HOD and $^{\textrm {{HOD}}}=\lambda ^+$, there may still be no agreement at all between V and HOD about successors of regular cardinals.In Part II and Part III we analyse the relationship between the Singular Cardinal Hypothesis with other relevant combinatorial principles at the level of successors of singular cardinals. Two of these are the Tree Property and the Reflection of Stationary sets, which are central in Infinite Combinatorics.Specifically, Part II is devoted to prove the consistency of the Tree Property at both $\kappa ^+$ and $\kappa ^{++}$, whenever $\kappa $ is a strong limit singular cardinal witnessing an arbitrary failure of the SCH. This generalizes the main result of [3] in two senses: it allows arbitrary cofinalities for $\kappa $ and arbitrary failures for the SCH.In the last part of the dissertation we introduce the notion of $\Sigma $ -Prikry forcing. This new concept allows an abstract and uniform approach to the theory of Prikry-type forcings and encompasses several classical examples of Prikry-type forcing notions, such as the classical Prikry forcing, the Gitik-Sharon poset, or the Extender Based Prikry forcing, among many others.Our motivation in this part of the dissertation is to prove an iteration theorem at the level of the successor of a singular cardinal. Specifically, we aim for a theorem asserting that every $\kappa ^{++}$ -length iteration with support of size $\leq \kappa $ has the $\kappa ^{++}$ -cc, provided the iterates belong to a relevant class of $\kappa ^{++}$ -cc forcings. While there are a myriad of works on this vein for regular cardinals, this contrasts with the dearth of investigations in the parallel context of singular cardinals. Our main contribution is the proof that such a result is available whenever the class of forcings under consideration is the family of $\Sigma $ -Prikry forcings. Finally, and as an application, we prove that it is consistent—modulo large cardinals—the existence of a strong limit cardinal $\kappa $ with countable cofinality such that $\mathrm {SCH}_\kappa $ fails and every finite family of stationary subsets of $\kappa ^+$ reflects simultaneously. (shrink)

The articles in this volume represent a part of the philosophical literature on higher-order logic and the Skolem paradox. They ask the question what is second-order logic? and examine various interpretations of the Lowenheim-Skolem theorem.

The literature on algorithmic fairness has examined exogenous sources of biases such as shortcomings in the data and structural injustices in society. It has also examined internal sources of bias as evidenced by a number of impossibility theorems showing that no algorithm can concurrently satisfy multiple criteria of fairness. This paper contributes to the literature stemming from the impossibility theorems by examining how informational richness affects the accuracy and fairness of predictive algorithms. With the aid of a computer simulation, we (...) show that informational richness is the engine that drives improvements in the performance of a predictive algorithm, in terms of both accuracy and fairness. The centrality of informational richness suggests that classification parity, a popular criterion of algorithmic fairness, should be given relatively little weight. But we caution that the centrality of informational richness should be taken with a grain of salt in light of practical limitations, in particular, the so-called bias-variance trade off. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things (...) return. It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

The issues treated in this book derive a certain degree of unification from their relation to the general theme of the completeness of scientific theories. Unfortunately, when a philosopher addresses himself to the question of the completeness of an empirical theory, it is far from clear at the outset just what the problem is. Schlegel, to be sure, explicates three different notions of completeness which may be relevant here: the logical, physical, and pragmatic aspects. By the first, Schlegel means the (...) usual set of issues having to do with the deductive and semantic structure of formal theories, the second refers to "the problems that are to be answered in terms of what is discovered by science about the natural world," and the third refers to "the factors in the completeness of science that seem to be chiefly dependent on the interests of scientists." As these formulations suggest, the level of logical and philosophical rigor is hardly commensurate with the kind of investigation one would expect. An early chapter deals with an epistemology of physics in which a class of entities called "constructs" plays the central role. Unfortunately, it is never clear whether constructs denote objects, properties, facts, sentences, or something else. On the other hand, the materials in this chapter are largely irrelevant to the subsequent discussion. Schlegel does an admirable job of scientific exegesis on the present state of quantum physics and cosmology. With regard to the former, he is an advocate of the "Copenhagen view," and he argues that a sort of natural limit of description and explanation has been reached. As to cosmology, Schlegel looks forward to a narrowing of the range of alternate theories as more data become available. In the chapter on purely formal questions a number of oversights seem to have been committed. The exposition of Gödel's incompleteness theorem is inaccurate in that it is not shown that provability can be defined intra-systematically. Schlegel's discussion of how the theorem might apply to scientific theories is suggestive, but also confusing. The chapter on infinity treats the continuum hypothesis as a proven fact, thus ignoring the very important questions raised by the work of Paul Cohen and others. Finally, and most distressingly, the Hebrew letter aleph is printed upside down at all of its occurrences.--H. P. K. (shrink)

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of (...) truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. Key Features - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic -Useful bibliographies in every chapter - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter. (shrink)

This book concentrates on the properties of the stationary states in chaotic systems of particles or fluids, leaving aside the theory of the way they can be reached. The stationary states of particles or of fluids (understood as probability distributions on microscopic configurations or on the fields describing continua) have received important new ideas and data from numerical simulations and reviews are needed. The starting point is to find out which time invariant distributions come into play in physics. A special (...) feature of this book is the historical approach. To identify the problems the author analyzes the papers of the founding fathers Boltzmann, Clausius and Maxwell including translations of the relevant (parts of ) historical documents. He also establishes a close link between treatment of irreversible phenomena in statistical mechanics and the theory of chaotic systems at and beyond the onset of turbulence as developed by Sinai, Ruelle, Bowen (SRB) and others: the author gives arguments intending to support strongly the viewpoint that stationary states in or out of equilibrium can be described in a unified way. In this book it is the "chaotic hypothesis", which can be seen as an extension of the classical ergodic hypothesis to non equilibrium phenomena, that plays the central role. It is shown that SRB - often considered as a kind of mathematical playground with no impact on physical reality - has indeed a sound physical interpretation; an observation which to many might be new and a very welcome insight. Following this, many consequences of the chaotic hypothesis are analyzed in chapter 3 - 4, and in chapter 5 a few applications are proposed. Chapter 6 is historical: carefully analyzing the old literature on the subject, especially ergodic theory and its relevance for statistical mechanics; an approach which gives the book a very personal touch. The book contains an extensive coverage of current research (partly from the authors and his coauthors publications) presented in enough detail so that advanced students may get the flavor of a direction of research in a field which is still very much alive and progressing. Proofs of theorems are usually limited to heuristic sketches privileging the presentation of the ideas and providing references that the reader can follow, so that in this way an overload of this text with technical details could be avoided. (shrink)

The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection. Gödel himself remarked in the paper announcing his celebrated result :The analogy between this result and Richard's antinomy leaps to the (...) eye;there is also a close relationship with the ‘liar’ antinomy, since … we are… confronted with a proposition which asserts its own unprovability.In the light of the fact that the existence of this connection is commonplace it is all the more surprising that very little can be learnt about its exact nature except perhaps that it is some kind of similarity or analogy. There is, however, a lot more to it than that. Indeed, as we shall try to show below, the general ideas underlying the three central theorems concerning internal limitations of formal deductive systems can be taken as different ways to resolve the Liar paradox. More precisely, it will turn out that an abstract formal variant of the Liar paradox, which can almost straightforwardly inferred from its original ordinary language version, is a possible common generalization of Gödel's incompleteness theorem, the theorem of Tarski on the undefinability of truth, and that of Church concerning the undecidability of provability. (shrink)

In his pioneering work in the field of inductive inference, Gold (Inf Control 10:447–474, 1967) proved that a set containing all finite languages and at least one infinite language over the same fixed alphabet is not identifiable in the limit (learnable in the exact sense) from complete texts. Gold’s work paved the way for computational learning theories of language and has implications for two linguistically relevant classes in the Chomsky hierarchy (cf. Chomsky in Inf Control 2:137–167, 1959, Chomsky in (...) Knowledge of language: its nature, origin, and use, Praeger, 1986; Shieber in Linguist Philos 8:333–343, 1985; Heinz in Linguist Inq 41:623–661, 2010). Within that same framework, Angluin (Inf Control 45:117–135, 1980) provided a complete characterization for the learnability of language families. Mathematically, the concept of identification in the limit from that classical setting can be seen as the use of a particular type of metric for learning in the limit (Wharton in Inf Control 26:236–255, 1974). In this research note, I use Niyogi’s extended version of a theorem by Blum and Blum (Inf Control 28:125–155, 1975) on the existence of locking data sets to prove a necessary condition for learnability in the limit of any family of languages with the Gold property in any given metric. This recovers the most general version of Gold’s Theorem as a particular case. Moreover, when the language family is further assumed to contain all finite languages, the same condition also becomes sufficient for learnability in the limit. Finally, we discuss questions that are left open and outline a research program regarding language learnability in the limit from other input types and cognitive feasibility. (shrink)

The first chapters of Michalos’ book give an account of the controversy between Karl Popper and Rudolph Carnap following the former’s critique of Carnap in "Degree of Confirmation". Michalos very compactly summarizes the controversy and argues: 1) that Popper was mistaken when he tried to show that Carnap always identified the quantitative degree of confirmation with the acceptability of scientific theories; 2) that Popper is mistaken in accusing Carnap of confusing classificatory, comparative, and quantitative concepts; 3) that a conflict between (...) Popper and Carnap, apparently over the problem of unrestricted universals, was in fact over the everyday practical use of such universal sentences; 4) that Popper’s critique of Carnap’s theorem for the singular predictive inference is incorrect because Popper construes the theorem with respect to two different kinds of evidential statements. The final chapters of the book deal with some additional issues that have developed out of the central controversy. One chapter consists largely in a reply to Imre Lakatos in further defense of Carnap. A second presents a critique of the Hintikka-Hilpinen acceptance rule. The last chapter is a comparison of cost—benefit versus utility acceptance rules in which Michalos claims to show the superiority of the former. In general, the book is an attempt to defend an inductive logic against the criticisms offered by Popperian deductive methodologists. A great deal of this material already appeared in various forms. The book is useful insofar as it collects material in one place and provides references to the important contributions to the controversy. Unfortunately, the book is cramped, explicitly discussing only some of the narrow issues found in the journal literature, and some sections are so compact as to be incomprehensible without extensive knowledge of the source material. Michalos might have given himself wider scope so that he could develop the implications of these limited problems for the broader issues of the philosophy of science.—K. M. (shrink)

Much is asked of the concept of chance. It has been thought to play various roles, some in tension with or even incompatible with others. Chance has been characterized negatively, as the absence of causation; yet also positively—the ancient Greek τυχη´ reifies it—as a cause of events that are not governed by laws of nature, or as a feature of the laws themselves. Chance events have been understood epistemically as those whose causes are unknown; yet also objectively as a distinct (...) ontological kind, sometimes called ‘pure’ chance events. Chance gives rise to individual unpredictability and disorder; yet it yields collective predictability and order—stable long-run statistics, and in the limit, aggregate behavior susceptible to precise mathematical theorems. Some authors believe that to posit chances is to abjure explanation; yet others think that chances are themselves explanatory. During the Enlightenment, talk of ‘chance’ was regarded as unscientific, unphilosophical, the stuff of superstition or ignorance; yet today it is often taken to be a fundamental notion of our most successful scientific theory, quantum mechanics, and a central concept of contemporary metaphysics. Chance has both negative and positive associations in daily life. The old word in English for it, hazard, which derives from French and originally from Arabic, still has unwelcome connotations of risk; ‘chance’ evokes uncertainty, uncontrollability, and chaos. Yet chance is also allied with luck, fortune, freedom from constraint, and diversity. And it apparently has various practical uses and benefits. It forms the basis of randomized trials in statistics, and of mixed strategies in decision theory and game theory; it is appealed to in order to resolve problems of fair division and other ethical.. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper (...) bounds on I never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Easy to understand philosophy papers in all areas. Table of contents: Three Short Philosophy Papers on Human Freedom The Paradox of Religions Institutions Different Perspectives on Religious Belief: O’Reilly v. Dawkins. v. James v. Clifford Schopenhauer on Suicide Schopenhauer’s Fractal Conception of Reality Theodore Roszak’s Views on Bicameral Consciousness Philosophy Exam Questions and Answers Locke, Aristotle and Kant on Virtue Logic Lecture for Erika Kant’s Ethics Van Cleve on Epistemic Circularity Plato’s Theory of Forms Can we trust our senses? Yes (...) we can Descartes on What He Believes Himself to Be The Role of Values in Science Modern Science Kant’s Moral Philosophy Plato’s Republic as Pol Potist Bureaucracy Schopenhauer on Human Suffering Bertrand Russell on the Value of Philosophy The Philosophical Value of Uncertainty Logic Homework: Theorems and Models Searle vs. Turing on the Imitation Game Hume, Frankfurt, and Holbach on Personal Freedom Manifesto of the University of Wisconsin, Madison Secular Society Michael’s Analysis of the Limits of Civil Protections Bentham and Mill on Different Types of Pleasure Set Theory Homework Aristotle on Virtue Nagel On the Hard Problem Wittgenstein on Language and Thought Camus and Schopenhauer on the Meaning of Life Camus’ Hero as Rebel without a Cause My Little Finger: Camus’ Absurdism Illustrated Are Late-term Abortions Ethical? Does Mathematics Assume the Truth of Platonism? The Self-defeating Nature of Utilitarianism and Consequentialism Generally What is The Good Life? Bentham and Mill regarding types of pleasures Kant’s Moral Philosophy Five Short Papers on Mind-body Dualism Tracy Latimer’s Father had the Right to Kill Her: Towards a doctrine of generalized self-defense Arguments Concerning God and Morality Goldman, Rousseau and von Hayek on the Ideal State J.S Mill on Liberty and Personal Freedom A Kantian Analysis of a Borderline Date-rape Situation Living Well as Flourishing: Aristotle’s Conception of the Good Life Three Essays on Medical Ethics: Answers to Exam Questions on Elective Amputation, Vaccination, and Informed Consent Hobbes, Marx, Rousseau, Nietzsche: Their Central Themes De Tocqueville on Egoism Mill vs. Hobbes on Liberty Exam-Essays on the Moral Systems of Mill, Bentham, and Kant Kant’s Moral System Aristotle on Virtue Plato’s Cave Allegory An Ethical Quandary Superorganisms The Tuskegee Experiment A Rawlsian Analysis Why Moore’s Proof of an External World Fails A Defense of Nagel’s Argument Against Materialism A Utilitarian Analysis of a Case of Theft The Paradox of the Self-aware Wretch: An Analysis of Pascal’s Moral Philosophy Jean-Paul Sartre: Decline and Fall of a Marxist Sell-out A One Page Proof of Plato’s Theory of Forms Plato’s Republic as Pol Potist Bureaucracy The problem of the one and the many Four Short Essays on Truth and Knowledge What is ‘the Good Life?’ The Ontological Argument Different Political Philosophies: Plato, Locke, Madison, Rousseau, Hayek, and Mill on the State What do I know with certainty? Skepticism about skepticism Neuroscience and Freewill Operant Conditioning What makes us special? Are Late-term Abortions Ethical? No Two Papers on Epistemology: Gettier and Bostrom Examination Nietzsche on Punishment God’s Foreknowledge and Moral Responsibility . (shrink)