Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Comparative valuation of different policy interventions often requires interpersonal comparability of benefit. In the field of health economics, the metric commonly used for such comparison, quality adjusted life years (QALYs) gained, has been criticized for failing to respect the equality of all persons’ intrinsic worth, including particularly those with disabilities. A methodology is proposed that interprets ‘full quality of life’ as the best health prospect that is achievable for the particular individual within the relevant budget constraint. This calibration is challenging (...) both conceptually and operationally as it shifts dramatically when technology or budget developments alter what can be achieved for incapacitated individuals. The proposal nevertheless ensures that the maximal achievable satisfaction of one person’s preferences can carry no more intrinsic value than that of another. This approach, which can be applied to other domains of social valuation, thus prevents implicit discrimination against the elderly and those with irremediable incapacities. (shrink)

Explains Aristotle's views on the possibility of continuous variation between biological species. While the Porphyrean/Linnean classification of species by a tree suggests species are distributed discretely, Aristotle admitted continuous variation between species among lower life forms.

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

• It would be a moral disgrace for God (if he existed) to allow the many evils in the world, in the same way it would be for a parent to allow a nursery to be infested with criminals who abused the children. • There is a contradiction in asserting all three of the propositions: God is perfectly good; God is perfectly powerful; evil exists (since if God wanted to remove the evils and could, he would). • The religious believer (...) has no hope of getting away with excuses that evil is not as bad as it seems, or that it is all a result of free will, and so on. Piper avoids mentioning the best solution so far put forward to the problem of evil. It is Leibniz’s theory that God does not create a better world because there isn’t one — that is, that (contrary to appearances) if one part of the world were improved, the ramifications would result in it being worse elsewhere, and worse overall. It is a “bump in the carpet” theory: push evil down here, and it pops up over there. Leibniz put it by saying this is the “Best of All Possible Worlds”. That phrase was a public relations disaster for his theory, suggesting as it does that everything is perfectly fine as it is. He does not mean that, but only that designing worlds is a lot harder than it looks, and determining the amount of evil in the best one is no easy matter. Though humour is hardly appropriate to the subject matter, the point of Leibniz’s idea is contained in the old joke, “An optimist is someone who thinks this is the best of all possible worlds, and a pessimist thinks.. (shrink)

Among the factors necessary for the occurrence of some event, which of these are selectively highlighted in its explanation and labeled as causes — and which are explanatorily omitted, or relegated to the status of background conditions? Following J. S. Mill, most have thought that only a pragmatic answer to this question was possible. In this paper I suggest we understand this ‘causal selection problem’ in causal-explanatory terms, and propose that explanatory trade-offs between abstraction and stability can provide a principled (...) solution to it. After sketching that solution, it is applied to a few biological examples, including to a debate concerning the ‘causal democracy’ of organismal development, with an anti-democratic (though not a gene-centric) moral. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

What is it about a person's becoming an adult that makes it generally inappropriate to treat that person paternalistically any longer? The Standard View holds that a mere difference in age or stage of life cannot in itself be morally relevant, but only matters insofar as it is correlated with the development of capacities for mature practical reasoning. This paper defends the contrary view: two people can have all the same general psychological attributes and yet the mere fact that one (...) person is at the beginning of a life and another in the middle of one can justify treating the younger person more paternalistically than the older one. Recognising the moral relevance of age, moreover, is crucial if one is to accommodate both the liberal moral ideal of respect for autonomy and our demanding educational aims, given that these otherwise come into conflict with one another. (shrink)

Pascal’s Wager does not exist in a Platonic world of possible gods, abstract probabilities and arbitrary payoffs. Real decision-makers, such as Pascal’s “man of the world” of 1660, face a range of religious options they take to be serious, with fixed probabilities grounded in their evidence, and with utilities that are fixed quantities in actual minds. The many ingenious objections to the Wager dreamed up by philosophers do not apply in such a real decision matrix. In the situation Pascal addresses, (...) the Wager is a good bet. In the situation of a modern Western intellectual, the reasoning of the Wager is still powerful, though the range of options and the actions indicated are not the same as in Pascal’s day. (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

The winning entry in David Stove's Competition to Find the Worst Argument in the World was: “We can know things only as they are related to us/insofar as they fall under our conceptual schemes, etc., so, we cannot know things as they are in themselves.” That argument underpins many recent relativisms, including postmodernism, post-Kuhnian sociological philosophy of science, cultural relativism, sociobiological versions of ethical relativism, and so on. All such arguments have the same form as ‘We have eyes, therefore we (...) cannot see’, and are equally invalid. (shrink)

This paper critiques the new mechanistic explanatory program on grounds that, even when applied to the kinds of examples that it was originally designed to treat, it does not distinguish correct explanations from those that blunder. First, I offer a systematization of the explanatory account, one according to which explanations are mechanistic models that satisfy three desiderata: they must 1) represent causal relations, 2) describe the proper parts, and 3) depict the system at the right ‘level.’ Second, I argue that (...) even the most developed attempts to fulfill these desiderata fall short by failing to appropriately constrain explanatorily apt mechanistic models. -/- *This paper used to be called "The Emperor's New Mechanisms". (shrink)

Effective quantum field theories are effective insofar as they apply within a prescribed range of length-scales, but within that range they predict and describe with extremely high accuracy and precision. The effectiveness of EFTs is explained by identifying the features—the scaling behaviour of the parameters—that lead to effectiveness. The explanation relies on distinguishing autonomy with respect to changes in microstates, from autonomy with respect to changes in microlaws, and relating these, respectively, to renormalizability and naturalness. It is claimed that the (...) effectiveness of EFTs is a consequence of each theory’s autonomyms rather than its autonomyml.1Introduction2Renormalizability2.1Explaining renormalizability3Naturalness3.1An unnatural but renormalizable theory4Two Kinds of Autonomy5The Effectiveness of Effective Quantum Field Theories6Conclusion. (shrink)

Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, for example, is (...) a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree,a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity. (shrink)

John Locke occupies a central place in the contemporary philosophical literature on parental authority, and his child-centered approach has inspired a number of recognizably Lockean theories of parenthood.2 But unlike the best historically informed scholarship on other aspects of Locke's thought, those interested in his account of parental rights have not yet tried to understand its connection to debates of the period or to Locke's broader theory of natural law. In particular, Locke's relation to the seventeenth-century conversation about the role (...) of generation in grounding 'paternal power' is not well-known. Understanding this background is interesting in itself, but more importantly, it can provide us with a .. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments for (...) the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

Leibniz's best-of-all-possible worlds solution to the problem of evil is defended. Enlightenment misrepresentations are removed. The apparent obviousness of the possibility of better worlds is undermined by the much better understanding achieved in modern mathematical sciences of how global structure constrains local possibilities. It is argued that alternative views, especially standard materialism, fail to make sense of the problem ofevil, by implying that evil does not matter, absolutely speaking. Finally, itis shown how ordinary religious thinking incorporates the essentials of Leibniz's (...) view. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Pascal’s wager and Leibniz’s theory that this is the best of all possible worlds are latecomers in the Faith-and-Reason tradition. They have remained interlopers; they have never been taken as seriously as the older arguments for the existence of God and other themes related to faith and reason.

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem of lineage identity, (...) or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

Antitheodicy objects to all attempts to solve the problem of evil. Its objections are almost all on moral grounds—it argues that the whole project of theodicy is morally offensive. Trying to excuse God’s permission of evil is said to deny the reality of evil, to exhibit gross insensitivity to suffering, and to insult the victims of grave evils. Since antitheodicists urge the avoidance of theodicies for moral reasons, it is desirable to evaluate the moral reasons against theodicies in abstraction from (...) the intellectual reasons for and against them. It is argued that the best known theodicies such as those based on soul-making and free will are guilty of moral faults as alleged. But Leibniz’s best of all possible worlds theory, often thought to be the most morally offensive ‘Panglossian’ theodicy, is morally blameless because it excuses God by the absolute impossibility of his choosing any world better than the present one. Theodicy should not be conceived of as a search for greater goods which may excuse God’s permitting evils. From the divine point of view, creation is an upfront choice between scenarios—in modern parlance, a Trolley problem rather than a Transplant problem. In cases of forced choice among scenarios, it is morally improper to criticize one who chooses the best. (shrink)

David Armstrong (1926-2014) was much the most internationally successful philosopher to come from Sydney. His life moved from a privileged Empire childhood and student of John Anderson to acclaimed elder statesman of realist philosophy. His philosophy developed from an Andersonian realist inheritance to major contributions on materialist theory of mind and the theory of universals. His views on several other topics such as religion and ethics are surveyed briefly.

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

This paper sketches a causal account of scientific explanation designed to sustain the judgment that high-level, detail-sparse explanations—particularly those offered in biology—can be at least as explanatorily valuable as lower-level counterparts. The motivating idea is that complete explanations maximize causal economy: they cite those aspects of an event’s causal run-up that offer the biggest-bang-for-your-buck, by costing less (in virtue of being abstract) and delivering more (in virtue making the event stable or robust).

The meaning of Lorentz contraction in special relativity and its connection with Bell’s spaceships parable is discussed. The motion of Bell’s spaceships is then compared with the accelerated motion of a rigid body. We have tried to write this in a simple form that could be used to correct students’ misconceptions due to conflicting earlier treatments.

Stove's article, 'So you think you are a Darwinian?'[ 1] was essentially an advertisement for his book, Darwinian Fairytales.[ 2] The central argument of the book is that Darwin's theory, in both Darwin's and recent sociobiological versions, asserts many things about the human and other species that are known to be false, but protects itself from refutation by its logical complexity. A great number of ad hoc devices, he claims, are used to protect the theory. If co operation is observed (...) where the theory predicts competition, then competition is referred to the time of the cavemen, or is reinterpreted as competition between some hidden entities like genes or abstract entities like populations. In a characteristic sally, Stove writes of the sociobiologists' oscillation on the meaning of kin altruism: Any discussion of altruism with an inclusive fitness theorist is, in fact, exactly like dealing with a pair of balloons connected by a tube, one balloon being the belief that kin altruism is an illusion, the other being the belief that kin altruism is caused by shared genes. If a critic puts pressure on the illusion balloon - perhaps by ridiculing the selfish theory of human nature - air is forced into the causal balloon. There is then an increased production of earnest causal explanations of why we love our children, why hymenopteran workers look after their sisters, etc., etc. Then, if the critic puts pressure on the causal balloon - perhaps about the weakness of sibling altruism compared with parental, or the absence of sibling altruism in bacteria - then the illusion balloon is forced to expand. There will now be an increased production of cynical scurrilities about parents manipulating their babies for their own advantage, and vice versa, and in general, about the Hobbesian bad times that are had by all. In this way critical pressure, applied to the theory of inclusive fitness at one point, can always be easily absorbed at another point, and the theory as a whole is never endangered.[ 3] Now, it is uncontroversial to assert that Darwinism is a logically complex theory, and that its relation to empirical evidence is distant and multi faceted. One does not directly observe chance genetic variations leading to the development of new species, or even continuous variations in the fossil record, but must rely on subtle arguments to the best explanation, scaling up from varieties to species, and so on.. (shrink)

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

The essential idea of Leibniz’s Theodicy was little understood in his time but has become one of the organizing themes of modern mathematics. There are many phenomena that are possible locally but for purely mathematical reasons impossible globally. For example, it is possible to build a spiral staircase that is rising at any given point, but it is impossible to build one that is rising at all points and comes back to where it started. The necessity is mathematically provable, so (...) not subject to exception by divine power. Leibniz’s Theodicy argues that God could improve the universe locally in many ways, but not globally. This paper defends Leibniz, giving positive reasons for believing that there are so many necessary interconnections between goods and evils that God is faced with a choice like the classic Trolley case, where all of the scenarios that could be chosen upfront contain evils, but some more than others. Local changes for the better seem easy to imagine, but a proper understanding of global constraints undermines the initial impression that they can be done without global cost. The paper concludes by explaining how the context of the Leibnizian argument makes it reasonable to pursue the issue of whether there are no worlds better than this one. (shrink)

If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..

A point charge accelerating under the influence of an external force emits electromagnetic radiation that reduces the increase in its mechanical energy. This causes a reduction in the particle's acceleration. We derive the decrease in acceleration due to radiation reaction for a particle accelerating parallel to its velocity, and show that it has a negligible effect.

The leaders of the Scientific Revolution were not Baconian in temperament, in trying to build up theories from data. Their project was that same as in Aristotle's Posterior Analytics: they hoped to find necessary principles that would show why the observations must be as they are. Their use of mathematics to do so expanded the Aristotelian project beyond the qualitative methods used by Aristotle and the scholastics. In many cases they succeeded.

We first survey the Catholic social justice tradition, the foundation on which Caritas in Veritate builds. Then we discuss Benedict’s addition of love to the philosophical virtues (as applied to economics), and how radical a change that makes to an ethical perspective on economics. We emphasise the reality of the interpersonal aspects of present-day economic exchanges, using insights from two disciplines that have recognized that reality, human resources and marketing. Personal encounter really is a major factor in economic exchanges in (...) professional services, such as law and medicine. Finally, we examine the prospects for an economics of gratuitousness at a level higher than the individual, that is, for businesses devoted to social ends more than profit. -/- . (shrink)

Debate about the nature of time has been dominated by discussion of two issues: the reality of absolute time and the reality of A-series. We argue that Aristotle adopts a form of the A-theory entailing a denial of the reality of absolute time. Furthermore, Aristotle's denial of absolute time is linked to a denial of the reality of pure temporal becoming, namely, the idea that the now moves through a fixed continuum along which events are arranged in chronological order. We (...) show that the puzzles discussed by Aristotle in IV:10 of the Physics are generated by this view of time and that Aristotle's own theory of time, according to which changes are used to measure one another, avoids these problems. (shrink)

Two things are often said about Aristotle's treatment of time in the Physics. First, that Aristotle's considered view of time is intrinsically tied to a language of temporal passage heavily dependent on the A-series. As such Aristotle's understanding of time is plagued with the perplexities that the A-series generates. Second, that the series of puzzles that Aristotle treats in IV.10, leading to the conclusion that time is non-existent, are left unanswered by Aristotle. Instead after presenting the puzzles having to do (...) with whether time is, Aristotle cannot move fast enough to his treatment of what time is, leaving the puzzles unresolved. This paper looks at these two issues together. The thesis is that the puzzles about the existence of time discussed by Aristotle at IV.10 are generated by a particularly naive version of the A-theory. Further, although Aristotle's answer to what time is incorporates elements of an A-theory of time, it manages to avoid just those particular puzzles discussed in IV.10 leading to the conclusion of time's non-existence. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...) the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (shrink)

This article’s objetive is to present four application examples of Herbrand’s theorem to decide the validity of reasoning on first order language, in accordance whit Church’s Undecidability’s theorem. Also, to tell which is the principal problem around it. The logical resolution calculus will be worked on this article, which is a method used in artificial intelligence.

Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...) de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

The late twentieth century saw two long-term trends in popular thinking about ethics. One was an increase in relativist opinions, with the “generation of the Sixties” spearheading a general libertarianism, an insistence on toleration of diverse moral views (for “Who is to say what is right? – it’s only your opinion.”) The other trend was an increasing insistence on rights – the gross violations of rights in the killing fields of the mid-century prompted immense efforts in defence of the “inalienable” (...) rights of the victims of dictators, of oppressed peoples, of refugees. The obvious incompatibility of those ethical stances, one anti-objectivist, the other objectivist in the extreme, proved no obstacle to their both being held passionately, often by the same people. (shrink)

Many liberals assume that, while children should not be rigidly indoctrinated, parents may raise them according to their own comprehensive values. Matthew Clayton, however, argues that the reasons for embracing antiperfectionism in politics also apply to parental authority. In this paper, I defend the perfectionist conception of childrearing. I claim that we cannot realistically foster a child’s sense of justice without embedding it in a comprehensive doctrine. Furthermore, I argue that since parents cannot avoid bearing some responsibility for their children’s (...) intial orientation to comprehensive doctrines, they are justified in parenting according to their own views of the valuable and true. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

The teaching of the Aquinas Academy in its first thirty years was based on the scholastic philosophy of Thomas Aquinas, then regarded as the official philosophy of the Catholic Church. That philosophy has not been so much heard of in the last thirty years, but it has a strong presence below the surface. Its natural law theory of ethics, especially, still informs Vatican pronouncements on moral topics such as contraception and euthanasia. It has also been important in Australia in the (...) High Court’s deliberations on the Mabo case. It is argued that some officially-sanctioned deductions on particular cases have not been correct, but that any attempt to do without a natural law foundation of ethics would throw out the baby with the bathwater. The sense of the basic objective worth of persons that is the centre of natural law ethics is essential to any ethics better than a simple “might is right” approach. (shrink)

A collection of articles on the the principles of social justice from an Australian Catholic perspective. Contents: Forward (Archbishop Philip Wilson), Introduction (James Franklin), The right to life (James Franklin), The right to serve and worship God in public and private (John Sharpe), The right to religious formation (Richard Rymarz), The right to personal liberty under just law (Michael Casey), The right to equal protection of just law regardless of sex, nationality, colour or creed (Sam Gregg), The right (...) to freedom of expression (Damian Grace), The right to choose and freely maintain a state of life, married or single, lay or religious (Marita Winters), The right to education (Anthony Cleary), The right to petition government for the redress of grievances (Paul Russell), The right to a nationality (Andrew Hamilton), The right to have access to the means of livelihood, by migration when necessary (Brenda Hubber), The right of association and peaceful assembly (Michael Hogan), The right to work and choose one's occupation (Ian Blandthorn), The right to personal ownership, use and disposal of property subject to the right of others (Brian Coman), The right to a living wage (Garrick Small), The right to collective bargaining (Keith Harvey), The right to associate by industries and professions to obtain economic justice (Henrik Jurisevic), The right to assistance from society, if necessary from the State, in distress of persons and family (Catherine Althaus), Afterword (James Franklin). (shrink)

Though there is no international government, there are many international regimes that enact binding regulations on particular matters. They include the Basel II regime in banking, IFRS in accountancy, the FIRST computer incident response system, the WHO’s system for containing global epidemics and many others. They form in effect a very powerful international public sector based on technical expertise. Unlike the public services of nation states, they are almost free of accountability to any democratically elected body or to any legal (...) system. Although by and large they have acted for good, the dangers of long-term unaccountability are illustrated by the travesties of justice perpetrated by the International Labour Organisation Administrative Tribunal. (shrink)

"Does life have a meaning, and if so what is it? What can I be certain of, and how should I act when I am not certain? Why are the established truths of my tribe better than the primitive superstitions of your tribe? Why should I do as I'm told? Those are questions it is easy to avoid, in the rush to acquire goods and prestige. Even for many of a more serious outlook, they are questions easy to dismiss with (...) excuses like 'it's all a matter of opinion' or 'let's get on with practical matters' or 'they're too hard.' They are questions that may be ignored, but they do not go away." The article develops some of the themes of the author's 2003 book, Corrupting the Youth: A History of Philosophy in Australia, as they relate to the realist currents of Sydney philosophy. (shrink)