Sorensen (1992) has provided two modal-logical schemas to reconstruct the logical structure of two types of destructive thought experiments: the Necessity Refuter and the Possibility Refuter. The schemas consist of five propositions which Sorensen claims but does not prove to be inconsistent.We show that the five propositions, as presented by Sorensen, are not inconsistent, but by adding a premise (and a logical truth), we prove that the resulting sextet of premises is inconsistent. Häggqvist (2009) has provided a (...) different modal-logical schema (Counterfactual Refuter), which is equivalent to four premises, again claimed to be inconsistent. We show that this schema also is not inconsistent, for similar reasons. Again, we add another premise to achieve inconsistency. The conclusion is that all three modal-logical reconstructions of the arguments that accompany thought experiments, two by Sorensen and one by Häggqvist, have now been made rigorously correct. This may inaugurate new avenues to respond to destructive thought experiments. (shrink)

Logical reconstruction is a fundamental philosophical method for achieving clarity concerning the prerequisites, presuppositions and the logical structure of natural language arguments. The scope and limits of this method have become visible not least through its intense application to Anselm of Canterbury’s notorious proofs for the existence of God. This volume collects, on the one hand, reconstructions of Anselmian arguments that take account of the problems of reconstruction and, on the other hand, theoretical reflections on (...) class='Hi'>reconstruction with a view to Anselm. We hope that this will allow the reader to critically assess the merits of the theoretical accounts in the light of the reconstructions and the merits of the reconstructions in the light of the theoretical accounts. In general, by considering the example of an outstanding thinker in one or the other way, this volume aims at advancing the methodology and the practice of logical reconstruction. The following remarks explain and motivate this undertaking: What purposes does logical reconstruction serve? What purposes does the reflection on logical reconstruction serve? In which ways can the practice and theory of reconstruction profit particularly from studying Anselm’s reasoning? How can the resulting problems be addressed? – Finally, a short overview over the contributions to this volume is offered. (shrink)

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...) contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

This paper develops a valid reconstruction in first-order predicate logic of Leibniz’s argument for his complete concept definition of substance in §8 of the Discours de Métaphysique. Following G. Rodriguez-Pereyra, it construes the argument as resting on two substantial premises, the “merely verbal” Aristotelian definition and Leibniz’s concept containment theory of truth, and it understands the resulting “real” definition as saying not that an entity is a substance iff its complete concept contains every predicate of that entity, but iff (...) its complete concept contains every predicate of any subject to which that concept is truly attributable. An account is suggested of why Leibniz criticises the Aristotelian definition as merely nominal and how he takes his own definition to overcome this shortcoming: while on the Aristotelian basis the predication relation could generate endless chains, so that substances as endpoints of predication would be impossible, Leibniz’s definition reveals lowest species as such endpoints, which he therefore identifies with individual substances. Since duplicate lowest species make no sense, the Identity of Indiscernibles for substances follows. The reading suggests a Platonist interpretation according to which substances do not so much have but are individual essences, natures or forms. (shrink)

This paper advances the thesis that the raw version of the butterfly dream story in the Chuang-tzu is logically untenable and should thus be replaced by a logically coherent altered version. First, it sets out the positive meaning of the butterfly dream. Second, it examines the raw version of the butterfly dream so as to point up its inherent illogicality. Third, it sets out a modified version of the butterfly dream and demonstrates its superior logicality. Fourth, it shows how conventional (...) interpretations of the butterfly dream story—the ‘confusion hypothesis’ and the ‘external endless transformation’ hypothesis—arise from the raw version and identifies basic weaknesses in the conventional interpretation options. Fifth and last, it returns to an in-depth consideration of the interpretation which arises from a re-ordering of the butterfly dream story fragments. The raw version of the story makes little sense, which is why, I propose, it has lacked a satisfactory interpretation. This thesis stands on three presuppositions. The butterfly dream story is an analogy of the enlightenment experience. The enlightenment experience, or the experience of illumination, is the phenomenological correlate of the central objective of the Chuang-tzu, that of self-transformation. And the enlightenment experience is not only the phenomenological correlate, but the essential pre-condition for self-transformation. By refashioning our (mis)interpretations of the butterfly dream story, we can more fully appreciate its transformative message. (shrink)

In this rejoinder to the critical comments elicited by my essay “Existential Hypotheses,” I propose to deal first with the challenge coming from the avowedly different philosophical outlook of Professor Churchman. My other critics, Professors Frank, Hempel, Nagel and Ramsperger, on the whole, share my basic conception of the tasks of philosophy of science and epistemology, even if they dissent in one important respect or another from the special solution I suggested. But since I discern even in Professor Nagel's remarks (...) a pragmatist or instrumentalist strain akin to the major contentions of Professor Churchman, it will be well to begin with a defense and further clarification of my underlying point of view. Only after this restatement of my platform will I undertake to defend semantic realism against the specific criticisms advanced by the last four authors. (shrink)

Michael V. Wedin presents a rigorous reconstruction of the deductions in Parmenides' Way of Truth: the most important philosophical treatise before Plato and Aristotle. He answers criticisms which claim that Parmenides' arguments are shot through with logical fallacies, and argues against natural explanations of Parmenides in the Ionian tradition.

Backward induction has been the standard method of solving finite extensive-form games with perfect information, notwithstanding the fact that this procedure leads to counter-intuitive results in various games. However, beginning in the late eighties, the method of backward induction became an object of criticism. It is claimed that the assumptions needed for its defence are quite implausible, if not incoherent. It is therefore natural to ask for the justification of backward induction: Can one show that rational players who know the (...) structure of the game, have trust in each other's practical rationality and reason correctly, will act in accordance in backward induction? Several researchers have tried a justification of this kind, but the argument presented in Robert Aumann's paper from 1995 is perhaps the most well-known and influential attempt to provide such a justification. Clausing provides a sustained discussion of the justification problem for backward induction. It is an excellent work and the criticism I will present below does not detract from this evaluation: the issues discussed by the author are complex and it is difficult to get everything right. Furthermore, I hope that the criticism to be presented may be instructive; Even though it has not been Clausing's intention, his logical reconstruction of Aumann's defence of backward induction allows us to see very clearly what is wrong with that argument. It also provides us with * This paper was presented at workshops in Lund and in Uppsala, in the Fall of 1999. I am indebted to the participants for their useful comments. The work on the paper was supported by a generous research grant from The Bank of Sweden Tercentenary Foundation. (shrink)

Backward induction has been the standard method of solving finite extensive-form games with perfect information, notwithstanding the fact that this procedure leads to counter-intuitive results in various games. However, beginning in the late eighties, the method of backward induction became an object of criticism. It is claimed that the assumptions needed for its defence are quite implausible, if not incoherent. It is therefore natural to ask for the justification of backward induction: Can one show that rational players who know the (...) structure of the game, have trust in each other's practical rationality and reason correctly, will act in accordance in backward induction? Several researchers have tried a justification of this kind, but the argument presented in Robert Aumann's paper from 1995 is perhaps the most well-known and influential attempt to provide such a justification. Clausing provides a sustained discussion of the justification problem for backward induction. It is an excellent work and the criticism I will present below does not detract from this evaluation: the issues discussed by the author are complex and it is difficult to get everything right. Furthermore, I hope that the criticism to be presented may be instructive; Even though it has not been Clausing's intention, his logical reconstruction of Aumann's defence of backward induction allows us to see very clearly what is wrong with that argument. It also provides us with * This paper was presented at workshops in Lund and in Uppsala, in the Fall of 1999. I am indebted to the participants for their useful comments. The work on the paper was supported by a generous research grant from The Bank of Sweden Tercentenary Foundation. (shrink)

Using a short excerpt from Anselm's Responsio as an example, this paper tries to present logical reconstruction as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. As such, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. (...) Yet, even though logical reconstruction is dependent on methods of formalization, it allows us to use formal methods for the analysis and assessment of natural language texts that are not readily formalizable and is thus an important tool when it comes to applying the concepts and methods of formal logic to such texts. (shrink)

Over the past few decades there has been a rebellion brewing in the world of Parmenides scholarship. Most of the things you probably think you know about the man have come under serious and sustained attack. No longer is it safe to accept on trust the view—which G. E. L. Owen so forcefully defended in his 1960 paper “Eleatic Questions”—that according to Parmenides there exists only one thing, ungenerated, indestructible, unchanging, indivisible, and spherical. Nor is it safe to assume that (...) he had no real commitment to empirical theorizing, and sought only to demolish the cosmological tradition that was initiated and developed by his Ionian predecessors Thales, Anaximander, and Anaximenes. All of.. (shrink)

Russell's criticisms force Meinong to adopt a distinction between two types of negation. Logical expositions of Meinong's theory show the distinction is easily drawn in formal terms, but that alone does not justify the distinction intuitively.I criticise Routley'streatment of the distinction and argue that only Terence Parsons'theory retains and preserves the tight network of conceptual connections between the notions of negation, contradiction and impossibility. Hence, Parsons' approach best expresses the Meinongian perspective.

The article recapitulates what logic is about traditionally and works out two roles it has been playing in philosophy: the role of an instrument and of a philosophical discipline in its own right. Using Tarski’s philosophical-logical work as case study, it develops a logical reconstructionist methodology of philosophical logic that extends and refines Rudolf Carnap’s account of explication and rational reconstruction. The methodology overlaps with, but also partially diverges from, contemporary anti-exceptionalism about logic.

Does the most common response given by participants presented with Tversky and Kahneman’s famous taxi cab problem amount to a violation of Bayes’ theorem? In other words, do they fall victim to so-called base-rate fallacy? In the present paper, following an earlier suggestion by Crupi and Girotto, we will identify the logical arguments underlying both the original diagnosis of irrationality in this reasoning task under uncertainty and a number of objections that have been raised against such a diagnosis. This (...) will enable us to show firstly that, contrary to the dismissive arguments recently put forward by Elqayam and Evans, empirical evidence turns out to be quite useful in addressing questions of this kind. Therefore, it can make a significant contribution to moving the base-rate fallacy controversy forward. Secondly, the available empirical evidence (though limited and sometimes inconclusive) seems to support the charge of irrationality levelled against the majority of participants presented with the taxi cab problem, and hence suggests that base-rate neglect is a real fallacy − that is the conclusion of our analysis. (shrink)

Should philosophers of science offer methodological prescriptions about how science ought to be practiced, or should they rest content with describing ways it has actually been practiced over time? Do the standards by which good science is assessed remain stable over time? How should rival philosophies of science be evaluated, and what role ought history of science play in such assessments? This book engages such questions while introducing a range of key ideas and debates by examining the four positions named (...) in its subtitle: Logical Reconstructionism, Descriptivism, Normative Naturalism, and Foundationalism. Why 1945 to 2000? After World War II, as graduate programs and journals were established, philosophy of... (shrink)

This paper aims to reconstruct Kant’s derivation of the formula of the categorical imperative from its mere concept with the help of the resources of Searle’s and Vanderveken’s illocutionary logic. The main exegetical hypothesis is that the derivation envisaged by Kant consists in deriving the formula from the success conditions of categorical imperatives. These conditions, which are analogous to the success conditions of ordinary orders, contain restrictions for the successful construction of a system of moral laws that determine what the (...) content of the categorical imperative must be. (shrink)

The most recent restatements of stakeholder theory formulate that approach in terms of the distribution of value: “A stakeholder approach to business is about creating as much value as possible for stakeholders, without resorting to tradeoffs” (Freeman et al. 2010: 28). This formulation marks a shift from earlier work, which included a procedural dimension—a requirement that stakeholders participate in organization decision making. The present paper pushes back against this shift: it argues that orienting the stakeholder approach around the participation requirement (...) provides for a different moral logic, one not available to (now) conventional stakeholder theorizing (without that requirement), and one that may be more compelling to many. This argument requires critical re-examination of the moral arguments offered in the most recent restatements of the stakeholder approach. (shrink)

It is and has been widely assumed, e.g., in Hintikka and Hintikka, that the logical theory available from Wittgenstein’s Tractatus Logico-Philosophicus affords a foundation for the conventional logic represented in standard formulations of classical propositional, first-order predicate, and perhaps higher-order formal systems. The present article is a detailed attempt at a mathematical demonstration, or as much demonstration as the sources will allow, that this assumption is false by contemporary lights and according to a preferred account of argument validity. When (...) Wittgenstein’s description of the forms of propositions or Sätze in the 5-numbered remarks and Remark 6 is given a close reconstruction, one sees that no Tractarian proposition is logically equivalent to a simple universally or existentially quantified formula of first-order predicate logic. Therefore, although Wittgenstein employs the sign ∀—or, in his notation—occasionally in explanations and illustrations, e.g., 4.0411 and 5.1311, when it comes to logic, the sign ∀ should receive in Tractatus a semantical treatment that is nonstandard. En route to that result, we show that the hierarchy of variables–and, hence, of propositions–defined at 5.501 incorporates the expressive power of finitary classical propositional logic. Also, when constructed over a first-order language for arithmetic, formulae corresponding to the specification of 5.501 pick out all and only arithmetic sets of numbers. Consequently, Wittgenstein’s hierarchy of iterated N-propositions–as described in vide Remark 6–does not collapse: at any level k, one finds propositions at k + 1 or above that are not logically equivalent to any proposition formed at k or below. (shrink)

In this article I explain three puzzling features of Simplicius’ use of syllogistic reconstructions in his commentary on Aristotle’s Physics: (1) Why does he reconstruct Aristotle’s non-argumentative remarks? (2) Why does he identify the syllogistic figure of an argument but does not explicitly present its reconstruction? (3) Why in certain lemmata does he present several reconstructions of the same argument? Addressing these questions, I argue that these puzzling features are an expression of Simplicius’ assumption that formal reasoning underlies Aristotle’s (...) prose, hence they reflect his attempt to capture as faithfully as possible Aristotle’s actual mode of reasoning. I show further that, as a consequence of this seemingly descriptive use of syllogistic reconstructions, logic serves Simplicius not only as an expository and clarificatory tool of certain interpretations or philosophical views, but also motivates and shapes his exegetical stances and approach. (shrink)

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

In his logical papers, Leo Esakia studied corresponding ordered topological spaces and order-preserving mappings. Similar spaces and mappings appear in many other application areas such the analysis of causality in space-time. It is known that under reasonable conditions, both the topology and the original order relation $${\preccurlyeq}$$ can be uniquely reconstructed if we know the “interior” $${\prec}$$ of the order relation. It is also known that in some cases, we can uniquely reconstruct $${\prec}$$ (and hence, topology) from $${\preccurlyeq}$$. In (...) this paper, we show that, in general, under reasonable conditions, the open order $${\prec}$$ (and hence, the corresponding topology) can be uniquely determined from its closure $${\preccurlyeq}$$. (shrink)

An assessment in historical context of how and what filmmakers, logicians and philosophers could have learned from one another about the rudiments of their crafts.

Charitable Reconstruction and Logical Neutrality.

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

In this paper we examine Prior's reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic $K_t 4$ plus a new axiom $:p \wedge Gp \supset PGp'$. This formula was used by Prior in his original analysis of Master Argument. is usually added as an extra axiom to an axiomatization of (...) the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a ‘mad’ project (...) within a generalized logic of judgments. Four main issues raised by Woleński will be considered to test the insightfulness of such generalized truth-values, namely: the principle of bivalence, the logic of scepticism, the coherence theory of truth, and nothingness. (shrink)

This volume brings together papers on the theory of reconstruction that pay attention to the humdrum exercise of everyday reconstruction and papers that develop reconstructions of Anselmian arguments with a view to the theoretical problems of reconstruction. We hope that this will provide the readers with an opportunity to assess the merits of the theoretical accounts in the light of the reconstructions and the merits of the latter in the light of the former.

Based on the evidence of the likely near-contemporary mathematical practice of diagrams, this article proposes a possible reconstruction of Aristotle’s three figures as introduced in Prior Analytics 1.4–6.

Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid (...) inference and adequate formalization. This paper explores how the method of reflective equilibrium can be used for modelling the complexity of such reconstructions and for justifying the various steps involved. The proposed approach is illustrated and tested in a detailed reconstruction of the beginning of Anselm’s De casu diaboli. (shrink)

Before engaging with intentionality, the philosopher of mind must consider the intrinsic nature of psychological elements. Conscious states, contrary to ordinary and scientific objects, seem to penetrate each another in such a way that it becomes impossible to enumerate, class or organize through laws the various experiences at stake. In this context, how is a science of consciousness conceivable? How is it possible to apply the epistemological requirements of any science to a domain whose ontological nature contradicts such demands? The (...) paper reconstructs Husserl’s solution to this issue in the Fifth Logical Investigation. I show how his appeal to the mereological framework of the Third Investigation gives him the tools to rationalize the domain of the mind and to establish phenomenology as an authentic science of consciousness. I first demonstrate that the very task of phenomenological investigations is defined in mereological terms. I then reconstruct the issue regarding the inclusion of the intentional object within the act, by exposing the nuances of the Husserlian position in this famous controversy. In a last part, I show how mereological concepts are at the core of the Husserlian reinterpretation of the Brentanian thesis according to which all acts are presentations or based on presentations. (shrink)