The purpose of the paper is to present a logical framework that allow to formalize a kind of prima facie duties, defeasible conditional duties, indefeasible conditional duties and actual (indefeasible) duties, as well as to show their logical interconnections.

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

1. EI dilema de Jørgensen. 2. La salución propuesta. 3. Breve historia de un prejudicio filosófico. 4. Normas sin lógica (o los precios ontológicos). 4.1. Imperativos sin lógica. 4.2. Normas y proposicienesnormativas. 4.3. Proposiciones normativas y normas verdaderas. 4.4. Mundos posibles. 4.5. Validez e invalidez. 4.6. La racionalidad del legislador. 5. La noción abstracta, sintáctica y semántica de consecuencia. 5.1. La noción abstracta de consecuencia. 5.2. La noción sintáctica de consecuencia. 5.3. La noción semántica de consecuencia. 5.4. EI sentido dado (...) por las reglas de uso en un contexto. 5.5. Qué operadores para la lógica. 5.6. Solo en un contexto la parte cobra sentido. 6. La lógica deóntica. 7. De donde la solución del dilema interesa a toda la lógica. 8. Consecuendas para la informática. (shrink)

This article elaborates on foundational issues in the social sciences and their impact on the contemporary theory of belief revision. Recent work in the foundations of economics has focused on the role external social norms play in choice. Amartya Sen has argued in [Sen93] that the traditional rationalizability approach used in the theory of rational choice has serious problems accommodating the role of social norms. Sen's more recent work [Sen96, Sen97] proposes how one might represent social norms in the theory (...) of choice, and in a very recent article [BS07] Walter Bossert and Kotaro Suzumura develop Sen's proposal, offering an extension of the classical theory of choice that is capable of dealing with social norms.The first part of this article offers an alternative functional characterization of the extended notion of rationality employed by Bossert and Suzumura in [BS07]. This characterization, unlike the one offered in [BS07], represents a norm-sensitive notion of rationality in terms of a pure functional constraint unmediated by a notion of revealed preference (something that is crucial for the application developed in the second part of this article). This functional characterization is formulated for general domains (as is Bossert and Suzumura's characterization) and is therefore empirically more applicable than usual characterizations of rationality. Interestingly, the functional constraint we propose is a variant of a condition first entertained in [AGM85] by Carlos Alchourrón, Peter Gärdenfors and David Makinson in the area of belief change.The second part of this article applies the theory developed in the first part to the realm of belief change. We first point out that social norms can be invoked to concoct counterexamples against some postulates of belief change (like postulate (*7)) that are necessary for belief change to be relational. These examples constitute the epistemological counterpart of Sen's counterexamples against condition α in rational choice (as a matter of fact, Rott has showed in [Rot01] that condition and postulate (*7) are mutually mappable). These examples are variants of examples Rott has recently presented in [Rot04]. One of our main goals in this article consists in applying the theory developed in the first part to develop a theory of norm-inclusive belief change that circumvents the counterexamples. We offer a new axiomatization for belief change and we furnish correspondence results relating constraints of rational choice to postulates of belief change. (shrink)

(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

Provability, Computability and Reflection.

Ask a philosopher what a proof is, and you’re likely to get an answer hii empaszng one or another regimentationl of that notion in terms of a finite sequence of formalized statements, each of which is either an axiom or is derived from an axiom by certain inference rules. (Wecan call this the formal conception of proof) Ask a mathematician what a proof is, and you will rbbl poay get a different-looking answer. Instead of stressing a partic- l uar regimented (...) notion of proof, the answer the mathematician will give ilikl.. (shrink)

Based on da Costa's and French's notions of partial structures and pragmatic truth, this paper examines two possible characterizations of the concept of empirical adequacy, one depending on the notion of partial isomorphism, the other on the hierarchy of partial models of phenomena, and both compatible with an empiricist view. These formulations can then be employed to illuminate certain aspects of scientific practice.

The blame for the semantic and set-theoretic paradoxes is often placed on self-reference and circularity. Some years ago, Yablo [1985; 1993] challenged this diagnosis, by producing a paradox that's liar-like but does not seem to involve circularity. But is Yablo's paradox really non-circular? In a recent paper, Beall [2001] has suggested that there are no means available to refer to Yablo's paradox without invoking descriptions, and since Priest [1997] has shown that any such description is circular, Beall concludes that Yablo's (...) paradox itself is circular. In this paper, we argue that Beall's conclusion is unwarranted, given that (i) descriptions are not the only way to refer to Yablo's paradox, and (ii) we have no reason to believe that because the description involves self-reference, the denotation of that description is also circular. As a result, for all that's been said so far, we have no reason to believe that Yablo's paradox is circular. (shrink)

Batterman ([2010]) raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan ([2011]). Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated (...) within the inferential conception. (shrink)

The aim of this paper is two-fold: (1) To contribute to a better knowledge of the method of the Argentinean mathematicians Lia Oubifia and Jorge Bosch to formulate category theory independently of set theory. This method suggests a new ontology of mathematical objects, and has a profound philosophical significance (the underlying logic of the resulting category theory is classical iirst—order predicate calculus with equality). (2) To show in outline how the Oubina-Bosch theory can be modified to give rise to a (...) strong paraconsistent category theory; strong enough to be taken as the basis for a paraconsistent mathematics which encompasses all classical mathematical results. (shrink)

Relativism and scepticism are often taken to be incompatible doctrines. After all, the relativist typically attempts to argue that there are no universal standards of assessment between different conceptual schemes – hence the slogan: everything is relative. The sceptic, in turn, is often portrayed as defending the view according to which knowledge is impossible – and thus we cannot even know that the relativist’s claim is true. Despite their incompatibility, both views are taken to be wrong, and for similar self-refuting (...) reasons: they undermine themselves. In his recent book, Relativism and the Foundations of Philosophy, Steven Hales argues that relativism can be defended – as long as it is suitably formulated and restricted to philosophical propositions (Hales, 2006). These propositions are relatively true: true in some contexts (or perspectives) and false in others. In this paper, I defend two main claims. First, Hales’ proposal is not restricted to philosophical propositions, but applies equally well to mathematical ones. Second, with a proper understanding of scepticism, Hales’ proposal would actually be welcomed by the sceptic. Some may take these two claims to amount to a sort of reductio of Hales’ project. Since mathematical claims are typically not taken to be relatively true, and given that scepticism is typically taken to be false, a proposal that leads to these results would be unacceptable. Rather than drawing this conclusion, I think these results show that we need to rethink deeply held assumptions about the nature of mathematics and of scepticism. Hales’ book is an excellent contribution to that. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

Nominalism and the application of mathematics Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-012-9653-6 Authors Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called “the mapping account”. According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation of that system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical (...) objects. In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Abstract: According to Luciano Floridi (2008) , informational structural realism provides a framework to reconcile the two main versions of realism about structure: the epistemic formulation (according to which all we can know is structure) and the ontic version (according to which structure is all there is). The reconciliation is achieved by introducing suitable levels of abstraction and by articulating a conception of structural objects in information-theoretic terms. In this essay, I argue that the proposed reconciliation works at the expense (...) of realism. I then propose an alternative framework, in terms of partial structures, that offers a way of combining information and structure in a realist setting while still preserving the distinctive features of the two formulations of structural realism. Suitably interpreted, the proposed framework also makes room for an empiricist form of informational structuralism (structural empiricism). Pluralism then emerges. (shrink)

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (shrink)

Abstract: Ernest Sosa has recently articulated an insightful response to skepticism and, in particular, to the dream argument. The response relies on two independent moves. First, Sosa offers the imagination model of dreaming according to which no assertions are ever made in dreams and no beliefs are involved there. As a result, it is possible to distinguish dreaming from being awake, and the dream argument is blocked. Second, Sosa develops a virtue epistemology according to which in appropriately normal conditions our (...) perceptual beliefs will be apt. Hence, in these conditions, we will have at least animal knowledge, and the conclusion of the dream argument is undermined. In this article, I examine various moves that the skeptic can make to resist Sosa's challenge, and I contrast the proposal to a neo-Pyrrhonian stance. In the end, there is surprisingly little disagreement about the status of ordinary perceptual beliefs in the two stances. (shrink)

Current versions of nominalism in the philosophy of mathematics face a significant problem to understand mathematical knowledge. They are unable to characterize mathematical knowledge as knowledge of the objects mathematical theories are taken to be about. Oswaldo Chateaubriand’s insightful reformulation of Platonism (Chateaubriand 2005) avoids this problem by advancing a broader conception of knowledge as justified truth beyond a reasonable doubt, and by introducing a suitable characterization of logical form in which the relevant mathematical facts play an important role in (...) the truth of the corresponding mathematical propositions. In this paper, I contrast Chateaubriand’s proposal with an agnostic form of nominalism that is able to accommodate mathematical knowledge without the commitment to mathematical facts. (shrink)

In this paper, I provide an account of scientific representation that makes sense of the notion both at the nanoscale and at the quantum level: the partial mappings account. The account offers an extension of a proposal developed by R. I. G. Hughes in terms of denotation, demonstration, and interpretation (DDI). I first argue that the DDI account needs some amendments to accommodate representation of nano and quantum phenomena. I then introduce a generalized framework with the notions of unsharp denotation, (...) unsharp interpretation, and partial mappings. I conclude by arguing that the resulting view not only accommodates nano and quantum representations but also makes sense of representation by imaging in (scanning tunneling) microscopy. (shrink)

In this paper, 1 examine the role of the delta function in Dirac’s formulation of quantum mechanics (QM), and I discuss, more generally, the role of mathematics in theory construction. It has been argued that mathematical theories play an indispensable role in physics, particularly in QM [Colyvan, M. (2001). The inrlispensability of mathematics. Oxford University Press: Oxford]. As I argue here, at least in the case of the delta function, Dirac was very clear about its rlispensability. I first discuss the (...) significance of the delta function in Dirac’s work, and explore the strategy that he devised to overcome its use. l then argue that even if mathematical theories turned out to be indispensable, this wouidn’t justify the commitment to the existence of mathematical entities. In fact, even in successful uses of mathematics, such as in Dirac’s discovery of antimatter, there’s no need to believe in the existence of the corresponding mathematical entities. An interesting picture about the application of mathematics emerges from a careful examination of Dirac’s work. (shrink)

Hartry Field (1980) has developed an interesting nominalization strategy for Newtonian gravitation theory—a strategy that reformulates the theory without quantification over abstract entities. According to David Malament (1982), Field's strategy cannot be extended to quantum mechanics (QM), and so it only has a limited scope. In a recent work, Mark Balaguer has responded to Malament's challenge by indicating how QM can be nominalized, and by “doing much of the work needed to provide the nominalization” (Balaguer 1998, 114). In this paper, (...) I critically assess Balaguer's proposal, and argue that it ultimately fails. Balaguer's strategy is incompatible with a number of interpretations of QM, in particular with Bas van Fraassen's version of the modal interpretation. And given that Balaguer's strategy invokes physically real propensities, it is unclear whether it is even compatible with nominalism. I conclude that the nominalization of QM remains a major problem for the nominalist. (shrink)

Hartry Field [1980] has developed an interesting nominalization strategy for Newtonian gravitation theory -- a strategy that reformulates the theory without quantification over abstract entities. According to David Malament [1982], Field’s strategy cannot be extended to quantum mechanics (QM), and so it only has a limited scope. In a recent work, Mark Balaguer has responded to Malament’s challenge, by indicating how QM can be nominalized, and by “doing much of the work needed to provide the nominalization” (Balaguer [1998], 114). In (...) this paper, I critically assess Balaguer’s proposal, and argue that it ultimately fails. Balaguer’s strategy is incompatible with a number of interpretations of QM, in particular with Bas van Fraassen’s version of the modal interpretation. And given that Balaguer’s strategy invokes physically real propensities, it is unclear whether it is even compatible with nominalism. I conclude that the nominalization of QM still remains a major problem for the nominalist. (shrink)

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein (...) statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model. (shrink)

In this paper, I shall discuss the heuristic role of symmetry in the mathematical formulation of quantum mechanics. I shall first set out the scene in terms of Bas van Fraassen’s elegant presentation of how symmetry principles can be used as problem-solving devices (see van Fraassen [1989] and [1991]). I will then examine in what ways Hermann Weyl and John von Neumann have used symmetry principles in their work as a crucial problem-solving tool. Finally, I shall explore one consequence of (...) this situation to recent debates about structural realism (SR) and empiricism in physics (Worrall [1989], Ladyman [1998], and French [1999]). (shrink)

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between these (...) two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics. (shrink)

A first step is taken towards articulating a constructive empiricist philosophy of mathematics, thus extending van Fraassen's account to this domain. In order to do so, I adapt Field's nominalization program, making it compatible with an empiricist stance. Two changes are introduced: (a) Instead of taking conservativeness as the norm of mathematics, the empiricist countenances the weaker notion of quasi-truth (as formulated by da Costa and French), from which the formal properties of conservativeness are derived; (b) Instead of quantifying over (...) spacetime regions, the empiricist only admits quantification over occupied regions, since this is enough for his or her needs. (shrink)

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)

In this paper, I shall provide a defence of second-order logic in the context of its use in the philosophy of mathematics. This shall be done by considering three problems that have been recently posed against this logic: (1) According to Resnik [1988], by adopting second-order quantifiers, we become ontologically committed to classes. (2) As opposed to what is claimed by defenders of second-order logic (such as Shapiro [1985]), the existence of non-standard models of first-order theories does not establish the (...) inadequacy of first—order axiomatisations (Melia [1995]). (3) In contrast with Shapiro’s suggestion (in his [1985]), second-order logic does not help us to establish referential access to mathematical objects (Azzouni [1994]). As I shall argue, each of these problems can be neatly solved by the second-order theorist. As a result, a case for second-order logic can be made. The first two problems will beconsidered rather briefly in the next section. The rest of the paper is dedicate to a discussion of the third. (shrink)

Ask a philosopher what a proof is, and you’re likely to get an answer hii empaszng one or another regimentationl of that notion in terms of a finite sequence of formalized statements, each of which is either an axiom or is derived from an axiom by certain inference rules. (Wecan call this the formal conception of proof) Ask a mathematician what a proof is, and you will rbbl poay get a different-looking answer. Instead of stressing a partic- l uar regimented (...) notion of proof, the answer the mathematician will give ilikl.. (shrink)

Yablo’s paradox is generated by the following (infinite) list of sentences (called the Yablo list): (s1) For all k > 1, sk is not true. (s2) For all k > 2, sk is not true. (s3) For all k > 3, sk is not true. . . . . . . . .

We argue that standard definitions of ‘vagueness’ prejudice the question of how best to deal with the phenomenon of vagueness. In particular, the usual understanding of ‘vagueness’ in terms of borderline cases, where the latter are thought of as truth-value gaps, begs the question against the subvaluational approach. According to this latter approach, borderline cases are inconsistent (i.e., glutty not gappy). We suggest that a definition of ‘vagueness’ should be general enough to accommodate any genuine contender in the debate over (...) how to best deal with the sorites paradox. Moreover, a definition of ‘vagueness’ must be able to accommodate the variety of forms sorites arguments can take. These include numerical, total-ordered sorites arguments, discrete versions, continuous versions, as well as others without any obvious metric structure at all. After considering the shortcomings of various definitions of ‘vagueness’, we propose a very general non-question-begging definition. (shrink)

Consider the following denumerably infinite sequence of sentences: (s1) For all k > 1, sk is not true. (s2) For all k > 2, sk is not true. (s3) For all k > 3, sk is not true.

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...) but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it's perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it's not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality. (shrink)

The authors first address two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan and show that these paradoxes don't affect the object-theoretic analysis of worlds and propositions. However, Kit Fine has formulated an object theoretic version of Kaplan's paradox that threatens to show that object theory is, after all, no better off. The initial, most straightforward version of the paradox is blocked by theoretical restrictions specific to object theory, but the paradox can be revised (...) so as to comport with these restrictions by redefining one of the terms in an essential premise. The authors then argue that the premise that results given the new definition is entirely implausible if propositions are understood, as they are in object theory, to be fine-grained intensional entities rather than sets of possible worlds. Object theory, therefore, can block the revised paradox as well. (shrink)

In this paper we examine Lewis's attempts to provide an epistemology of modality and we argue that he fails to provide an account that properly weds his metaphysics with an epistemology that explains the knowledge of modality that both he and his critics grant. We argue that neither the appeals to acceptable paraphrases of ordinary modal discourse nor parallels with Platonistic theories of mathematics suffice. We conclude that no proper epistemology for modal realism has been provided and that one is (...) needed. (shrink)

Current versions of nominalism in the philosophy of mathematics have the benefit of avoiding commitment to the existence of mathematical objects. But this comes with the cost of not taking mathematical theories literally. Jody Azzouni's Deflating Existential Consequence has recently challenged this conclusion by formulating a nominalist view that lacks this cost. In this paper, we argue that, as it stands, Azzouni's proposal does not yet succeed. It faces a dilemma to the effect that either the view is not nominalist (...) or it fails to take mathematics literally. After presenting the dilemma, we suggest a possible solution for the nominalist. (shrink)

(No abstract is available for this citation).

This article addresses the following problems: What is a mechanism, how can it be discovered, and what is the role of the knowledge of mechanisms in scientific explanation and technological control? The proposed answers are these. A mechanism is one of the processes in a concrete system that makes it what it is — for example, metabolism in cells, interneuronal connections in brains, work in factories and offices, research in laboratories, and litigation in courts of law. Because mechanisms are largely (...) or totally imperceptible, they must be conjectured. Once hypothesized they help explain, because a deep scientific explanation is an answer to a question of the form, "How does it work, that is, what makes it tick—what are its mechanisms?" Thus, by contrast with the subsumption of particulars under a generalization, an explanation proper consists in unveiling some lawful mechanism, as when political stability is explained by either coercion, public opinion manipulation, or democratic participation. Finding mechanisms satisfies not only the yearning for understanding, but also the need for control. Key Words: explanation • function • mechanism • process • system • systemism. (shrink)

The goal of this article is to answer some of the criticisms of my views on social science formulated by contributors to the symposium on my philosophy of social science. Key Words: emergence • mechanism • method • process • understanding.

Individualism comes in at least ten modes: ontological, logical, semantic, epistemological, methodological, axiological, praxiological, ethical, historical, and political. These modes are bound together. For example, ontological individualism motivates the thesis that relations are n-tuples of individuals, as well as radical reductionism and libertarianism. The flaws and merits of all ten sides of the individualist decagon are noted. So are those of its holist counterpart. It is argued that systemism has all the virtues and none of the defects of individualism and (...) holism. One such virtue is the ability to recognize that individualism is a system rather than an unstructured bag of opinions--which raises the question whether thorough and consistent individualism is at all possible. Key Words: holism • individualism • system • systemism. (shrink)

The aim of this article is to elucidate the notions of explanation and mechanism, in particular of the social kind. A mechanism is defined as what makes a concrete system tick, and it is argued that to propose an explanation proper is to exhibit a lawful mechanism. The so-called covering law model is shown to exhibit only the logical aspect of explanation: it just subsumes particulars under universals. A full or mechanismic explanation involves mechanismic law statements, not purely descriptive ones (...) such as functional relations and rate equations. Many examples from the natural, biosocial, and social sciences are examined. In particular, macro-micro-micro-macro social relations are shown to explain other wise puzzling macro-macro links. The last part of the article relates the author's progress, over half a century, toward understanding mechanism and explanation. (shrink)

The author submits that Popper's social philosophy rests on seven pillars: rationality (both conceptual and practical), individualism (ontological and methodological), libertarianism, the nonexistence of historical laws, negative utilitarianism ("Do no harm"), piecemeal social engineering, and a view on social order. The first six pillars are judged to be weak, and the seventh broken. In short, it is argued that Popper did not build a comprehensive, profound, or even consistent system of social philosophy on a par with his work in epistemology. (...) Still, he did make some important contributions to the field, such as unveiling the philosophical roots of totalitarianism and defending social engineering against both revolutionists and conservatives. (shrink)

Summary Opinion is divided as to whether chemistry is reducible to physics. The problem can be given a satisfactory solution provided three conditions are met: that a science not be identified with its theories; that several notions of theory dependence be distinguished; and that quantum chemistry, rather than classical chemistry, be compared with physics. This paper proposes to perform all three tasks. It does so by analyzing the methodological concepts concerned as well as by examining the way a chemical rate (...) constant is derivable with the help of the quantum atomic theory. The conclusion is that chemistry, and in particular quantum chemistry, is not a part of physics although it is certainly based on the latter. (shrink)

An objective and relational theory of local time is expounded and its philosophical implications are discussed in Sect. 2. In Sect. 3 certain physical and metaphysical questions concerning time are taken up in the light of that theory. The basic concepts of the theory are those of event, reference frame, chronometric scale, and time function. These are subject to four axioms: existence of events, frames and scales; time is a real valued function; the set of events is compact; and any (...) duration can be subdivided into two contiguous durations. Several theorems are derived, among them the one of the asymmetry of time. And a number of concepts are defined, such as those of time order, instant, and time coordinate. It is argued that the theory, though untestable, belongs to the background of a number of scientific theories. It is also shown that it includes all relational theories of time. The usual confusion between the asymmetry of time and the direction of irreversible processes is clarified. Time reversal is interpreted either as a purely formal operation or as a convenient way of describing motion reversed processes. Time orders are shown to be both relative and objective, apart from the choice of the positive direction, which is conventional. The various attempts to define the direction of time in terms of irreversible processes are shown to be logically untenable and methodologically undesirable. A number of metaphysical questions, such as the one of the reality and the fundamental character of time, are tackled. Finally the occasion is seized to extoll the advantages of systematization over both ordinary language discussions and open context analyses. (shrink)

A mathematical theory is proposed and exemplified, which covers an extended class of black boxes. Every kind of stimulus and response is pictured by a channel connecting the box with its environment. The input-output relation is given by a postulate schema according to which the response is, in general, a nonlinear functional of the input. Several examples are worked out: the perfectly transmitting box, the damping box, and the amplifying box. The theory is shown to be (a) an extension of (...) the S-matrix theory and the accompanying channel picture as developed in microphysics; (b) abstract and applicable to any problem involving the transactions of a system (physical, biological, social, etc.) with its milieu; (c) superficial, because unconcerned with either the structure of the box or the nature of the stimuli and responses. The motive for building the theory was to show the capabilities and limitations of the phenomenological approach. (shrink)