ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by (...) example, varies in different authors. For instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" (...) or suppositions differ from propositions in that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

ABSTRACT: Galen’s Institutio Logica is the only introduction to logic in Greek that has survived from antiquity. In it we find a theory that bears some resemblance to propositional logic. The theory is commonly understood as being essentially Stoic. However, this understanding of the text leaves us with a large number of inconsistencies and oddities. In this paper I offer an comprehensive alternative interpretation of the theory. I suggest that it is Peripatetic at base, and has drawn on Stoic elements, (...) but adapted them to an overall decidedly non-Stoic conception of logic and language, a conception indebted to Aristotelian logic in many respects. This interpretation makes it possible to reduce the seeming inconsistencies dramatically. The Peripatetic theory on which Galen draws was possibly developed in the first century BCE. Importantly, it differs from Stoic logic in that it shuns the latter’s syntactic approach, and considers certain linguistic assumptions and language conventions as part of the logical theory itself. My reconstruction of the theory results in a logic of propositions which differs wildly both from Stoic logic and from the ‘classical’ propositional logic of the 20th century. Interestingly, though, the theory in Galen shows that the ancients grappled with a number of logico-linguistic problems that over the last two decades have again become a matter of debate among contemporary logicians and linguists. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he (...) call any arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified (...) notations. The author's model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

An argument for the eponymous conclusion is given through a series of hypothetical syllogisms, the most basic of which is as follows: morality is necessary for self-respect; self-respect is necessary for happiness; therefore, morality is necessary for happiness. Some of the most obvious objections are entertained and rejected.

Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but totally ignored. (...) As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated. (shrink)

Hájek (Erkenntnis 70(2):211–235, 2009) argues that probabilities cannot be the limits of relative frequencies in counterfactual infinite sequences. I argue for a different understanding of these limits, drawing on Norton’s (Philos Sci 79(2):207–232, 2012) distinction between approximations (inexact descriptions of a target) and idealizations (separate models that bear analogies to the target). Then, I adapt Hájek’s arguments to this new context. These arguments provide excellent reasons not to use hypothetical frequencies as idealizations, but no reason not to use them (...) as approximations. (shrink)

One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

Hypothetical contracts have been said to be not worth the paper they are not written on. This paper defends hypothetical consent theories of justice, such as Rawls's, against the view that they lack justificatory power. I argue that while hypothetical consent cannot generate political obligation, it can generate political legitimacy.

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are (...) given for claiming that syllogistic validity is relevant validity. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of (...) class='Hi'>Hypothetical Syllogism. The improved proof relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

In this paper, I consider an argument of Harvey Siegel's according to which there can be no hypothetical normativity anywhere unless there is categorical normativity in epistemology. The argument fails because it falsely assumes people must be bound by epistemic norms in order to have justified beliefs.

The last few decades have given rise to the study of practical reason as a legitimate subfield of philosophy in its own right, concerned with the nature of practical rationality, its relationship to theoretical rationality, and the explanatory relationship between reasons, rationality, and agency in general. Among the most central of the topics whose blossoming study has shaped this field, is the nature and structure of instrumental rationality, the topic to which Kant has to date made perhaps the largest contribution, (...) under the heading of his treatment of hypothetical imperatives. (shrink)

In this paper I examine how Aristotle thinks syllogisms establish existence. I argue against the traditional "Instantiation" reading and in favor of an alternative "causal" or "structural" account of existential syllogisms. On my interpretation, syllogisms establish the existence of kinds by revealing that they are per se unities whose features are causally underwritten by a single cause/essence. They do so by tracing correlations between propria--peculiar, coextensive features--of the kind in question.

A basic conviction in moral non-cognitivism is: only hypothetical norms may be justified. Hartmut Kliemt argues for a moderate variant: there are only hypothetical justifications of norms whether the norms are hypothetical or categorical in kind. In this paper the con- cept of ‘hypothetical justification’ is analyzed. It is argued that hypothetical justifications are not of the kind that we should look for in normative ethics.

How was the hypothetical character of theories of experience thought about throughout the history of science? The essays cover periods from the middle ages to the 19th and 20th centuries. It is fascinating to see how natural scientists and philosophers were increasingly forced to realize that a natural science without hypotheses is not possible.

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.

This document diagrams the forms OOA, OOE, OOI, and OOO, including all four figures. Each form and figure has the following information: (1) Premises as stated: Venn diagram showing what the premises say; (2) Purported conclusion: diagram showing what the premises claim to say; (3) Relation of premises to conclusion: intended to describe how the premises and conclusion relate to each other, such as validity or contradiction. Used in only a few examples; (4) Distribution: intended to create a system in (...) which each syllogism has a unique code. In each premise and conclusion, the terms are each assigned a one or a zero, based on whether the term is distributed; (5) Rules: lists the rules of the syllogism and shows whether that particular syllogism follows, violates, or is unaffected by, each rule. (shrink)

In this paper I argue against readings of Hertz that overly assimilate him into the thought of late 20th century anti-realists and pluralists. Firstly, as is well-known, various images of the same objects are possible according to Hertz. However, I will argue that this envisaged pluralism concerns the situation before all the evidence is considered i. e. before we can decide whether the images are correct and appropriate. Hertz believes in final and decisive battles of the kind he participated in (...) while doing experiments in electrodynamics. Secondly, I will argue that the concept of representation is still quite appropriately applied to important aspects of images, namely when it comes to fundamental physical equations. In this context Hertz explicitly allows that “characteristics of our image, which claim to represent observable relations of things, do really and correctly correspond to them” (Hertz [1894] 1956, 9). A final consideration is Hertz’s consistent appeal to the concept of the hypothesis. I will argue that his use of the concept does not indicate that he contributed to an increasing hypothetization of science, if this trend is understood in a strong sense, i. e. as the belief that the correctness of scientific theories cannot be established for principled reasons. As mentioned, when it comes to experimental evidence Hertz believes in decisive battles. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

What level of government subsidy of higher education is justified, in what form, and for what reasons? We answer these questions by applying the hypothetical insurance approach, originally developed by Ronald Dworkin in his work on distributive justice. On this approach, when asking how to fund and deliver public services in a particular domain, we should seek to model what would be the outcome of a hypothetical insurance market: we stipulate that participants lack knowledge about their specific resources (...) and risks, and ask what insurance contracts they would take out to secure different types of benefit and protection in the domain in question. The great benefit of the hypothetical insurance approach is that it allows us to take apparently intractable questions about interpersonal distribution and transform them into questions about intrapersonal distributions: that is, questions about how an individual would choose to distribute risks and resources across the various lives that they might end up living, in light of their individual ambitions and preferences. Applying this approach to higher education, we argue that the UK model of higher education funding in which the costs of an individual's higher education are shared between general taxation and the individual herself, with the latter element to be paid retrospectively through an income-contingent state-backed loan, is vindicated as just. In particular, we argue that it is more just than alternatives such as a graduate tax, full funding through general taxation, and full privatisation. (shrink)

Discussion of the Aristotelian syllogistic over the last sixty years has arguably centered on the question whether syllogisms are inferences or implications. But the significance of this debate at times has been taken to concern whether the syllogistic is a logic or a theory, and how it ought to be represented by modern systems. Largely missing from this discussion has been a study of the few passages in the Prior Analytics where Aristotle provides explicit guidance on how to individuate (...) syllogisms. I argue that syllogisms are individuated by unordered premise pairs and so may be fruitfully thought of as multi-succedent sequents. I conclude by drawing a few consequences for the representation of the syllogistic. (shrink)

Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.

Although written in Japanese, 実践的三段論法について（On Practical Syllogisms）pursues a logical form of the practical syllogism.

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account (...) of the epistemology of hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositions and a number of controversial metaphysical theses, and also by confining his theory to alethic modality, (...) Suhrawardi makes his modal syllogism simple in a way that is without precedent. (shrink)

In his work on Gender and Salvation, Jaini delves into the intricacies of Digambara arguments and Śvētāmbara objections regarding the possibility of women attaining moksha. At the heart of this debate lies the contentious issue of attire. Both Jain sects acknowledge that Mahāvīra and his early adherent mendicants practiced nudity. However, their perspectives diverge significantly. For Digambaras, the act of going naked is considered fundamental and indispensable in the pursuit of liberation. According to their beliefs, one cannot achieve moksha without (...) embracing this practice, which is seen as a manifestation of perfection in one of the three jewels of Jainism: right conduct. (shrink)

ABSTRACT: This paper traces the evidence in Galen's Introduction to Logic (Institutio Logica) for a hypothetical syllogistic which predates Stoic propositional logic. It emerges that Galen is one of our main witnesses for such a theory, whose authors are most likely Theophrastus and Eudemus. A reconstruction of this theory is offered which - among other things - allows to solve some apparent textual difficulties in the Institutio Logica.

Recently, several philosophers have defended an explanatory argument that supposedly provides novel empirical grounds for accepting the type identity theory of phenomenal consciousness. They claim that we are justified in believing that the type identity thesis is true because it provides the best explanation for the correlations between physical properties and phenomenal properties. In this paper, I examine the actual role identities play in science and point out crucial shortcomings in the explanatory argument. I show that the supporters of the (...) argument have failed to show that the identity thesis provides a satisfactory explanation for the correlations between physical and phenomenal properties. Hence, the explanatory argument, as it stands, does not provide new grounds for accepting the type identity theory. (shrink)

My aim in this paper is to assess the viability of a perceptual epistemology based on what Anil Gupta calls the “hypothetical given”. On this account, experience alone yields no unconditional entitlement to perceptual beliefs. Experience functions instead to establish relations of rational support between what Gupta calls “views” and perceptual beliefs. I argue that the hypothetical given is a genuine alternative to the prevailing theories of perceptual justification but that the account faces a dilemma: on a natural (...) assumption about the epistemic significance of support relations, any perceptual epistemology based on the hypothetical given results in either rationalism or skepticism. I conclude by examining the prospects for avoiding the dilemma. One option is to combine the hypothetical given with a form of holism. Another is to combine the view with a form of hinge epistemology. But neither offers a simple fix. (shrink)

Werner Heisenberg made an important – and as yet insufficiently researched – contribution to the transformation of the modern conception of science. This transformation involved a reassessment of the status of scientific knowledge from certain to merely hypothetical – an assessment that is widely recognized today. I examine Heisenberg’s contribution in particular by taking his conception of “closed theories” as an example according to which the established physical theories have no universal and exclusive, but only a restricted validity. Firstly, (...) I characterize the historical process of hypothetization of claims to validity. Then, secondly, I reconstruct Heisenberg’s conception, as far as it can be derived from his popular writings, relating it to the process of hypothetization. Finally, I touch on the history of its reception and compare it with conceptions of science that emphasize the significance of the hypothetical for the modern theories of natural sciences. Compared to these conceptions, Heisenberg’s contribution turns out to be rather independent. (shrink)

This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options (...) to attain a conclusion of a given form within a given figure. I also argue that this picture sheds some light on Aristotle’s clarifications of the final clause in his definition of syllogism. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

Although the commentary on Aristotle’s problematic discussion of slavery is vast, his discussion of nobility receives little attention. The fragments of his dialogue On Noble Birth constitute his most extensive examination of nobility, and while their similarity to the παμβασιλεύς of the Politics has recently been recognized, their relevance to natural slavery has hitherto gone unnoticed. Yet by declaring that true nobles – particularly the god-like ἀρχηγός – preternaturally possess superhuman characteristics, Aristotle precludes their easy inclusion in the kind “human” (...) in a manner inversely mirroring the preternatural subhumanity of natural slaves. Building on recent scholarship which argues that Aristotle’s “defense” of natural slaves is better understood as an indictment, On Noble Birth becomes most coherent if read as a hypothetical investigation into what would be required for “nobility” to name something true rather than equivocal, with the conclusion that “true nobility” is an empty set. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

This paper argues that the hypothesis proposed in the Meno is the proposition ‘virtue is good’ alone, and that its epistemic nature is essentially insecure. It has been an object of huge scholarly debate which other hypothesis Socrates posited with regard to the relationship between virtue and knowledge. This debate is, however, misleading in the sense of making us believe that the hypothesis that virtue is good is regarded as a truism in the light of the process of positing a (...) higher hypothesis described in the Phaedo and the Republic. I argue that the hypothesis in question is presented as a result of the earlier discussion of Meno's third definition of virtue, which implies the consequence that morally correct actions are beneficial whether or not accompanied by conventional goods such as wealth and honour. The underlying role of presenting it as a hypothesis is therefore to postpone demonstrating the truth of a controversial thesis which needs a substantial justification. In conclusion, I s... (shrink)

In economics, thought experiments are frequently justified by the difficulty of conducting controlled experiments. They serve several functions, such as establishing causal facts, isolating tendencies, and allowing inferences from models to reality. In this paper, I argue that thought experiments served a further function in economics: facilitating the quantitative definition and measurement of the theoretical concept of utility, thereby bridging the gap between theory and statistical data. I support my argument by a case study, the “hypothetical experiments” of the (...) Norwegian economist Ragnar Frisch (1895-1973). Frisch aimed to eliminate introspection and a subjective concept of utility from economic reasoning. At the same time, he sought behavioral foundations for economic theory that enabled quantitative reasoning. By using thought experiments to justify his set of choice axioms and facilitating the operationalization of utility, Frisch circumvented the problem of observing utility via actual experiments without eliminating the concept of utility from economic theory altogether. As such, these experiments helped Frisch to empirically support the theory’s most important results, such as the laws of demand and supply, without the input of new empirical findings. I suggest that Frisch’s experiments fulfill the main characteristics of thought experiments. (shrink)

The debate over the objects of episodic memory has for some time been stalled, with few alternatives to familiar forms of direct and indirect realism being advanced. This paper moves the debate forward by building on insights from the recent psychological literature on memory as a form of episodic hypothetical thought (or mental time travel) and the recent philosophical literature on relationalist and representationalist approaches to perception. The former suggests that an adequate account of the objects of episodic memory (...) will have to be a special case of an account of the objects of episodic hypothetical thought more generally. The latter suggests that an adequate account of the objects of episodic hypothetical thought will have to combine features of direct realism and representationalism. We develop a novel pragmatist-inspired account of the objects of episodic hypothetical thought that has the requisite features. (shrink)

Ernst Mach’s defense of relativist theories of motion in Die Mechanik involves a well-known criticism of Newton’s theory appealing to absolute space, and of Newton’s “bucket” experiment. Sympathetic readers (Norton 1995) and critics (Stein 1967, 1977) agree that there’s a tension in Mach’s view: he allows for some constructed scientific concepts, but not others, and some kinds of reasoning about unobserved phenomena, but not others. Following Banks (2003), I argue that this tension can be interpreted as a constructive one, springing (...) from Mach’s approach to scientific reasoning. Mach’s “economy of science” allows for a principled distinction to be made, between natural and artificial hypothetical reasoning, and Mach defends a division of labor between the sciences in a 1903 paper for The Monist, “Space and Geometry from the Point of View of Physical Inquiry”. That division supports counterfactual reasoning in Mach’s system, something that’s long been denied is possible for him. (shrink)

The Parmenides has been unduly overlooked in discussions of hypothesis in Plato. It contains a unique method for testing first principles, a method I call ‘exploring both sides’. The dialogue recommends exploring the consequences of both a hypothesis and its contradictory and thematizes this structure throughout. I challenge the view of Plato’s so-called ‘method of hypothesis’ as an isolated stage in Plato’s development; instead, the evidence of the Parmenides suggests a family of distinct hypothetical methods, each with its own (...) peculiar aim. Exploring both sides is unique both in its structure and in its aim of testing candidate principles. (shrink)

Trolley problems have been used in the development of moral theory and the psychological study of moral judgments and behavior. Most of this research has focused on people from the West, with implicit assumptions that moral intuitions should generalize and that moral psychology is universal. However, cultural differences may be associated with differences in moral judgments and behavior. We operationalized a trolley problem in the laboratory, with economic incentives and real-life consequences, and compared British and Chinese samples on moral behavior (...) and judgment. We found that Chinese participants were less willing to sacrifice one person to save five others, and less likely to consider such an action to be right. In a second study using three scenarios, including the standard scenario where lives are threatened by an on-coming train, fewer Chinese than British participants were willing to take action and sacrifice one to save five, and this cultural difference was more pronounced when the consequences were less severe than death. (shrink)

My main objective in this paper is to formulate a view of pictorial realism I call ‘hypothetical verity’. It owes much to John Kulvicki but diverges from his view in an important respect: rather than thinking that realistic pictures are true to our conceptions of things, I hold that they are true to what things would be like if they existed. In addition, I agree with Dominic Lopes that different realisms reflect different aspects of reality, but restate the case (...) without recourse to symbol systems. Together, the twin principles of hypothetical verity and aspectival absolutism constitute a theory of realism able to account for realistic fictional entities, the problem of revelatory realism and images that teach new information. (shrink)

This article argues that the hypothetical 'I Can' position of Sir David Ross is incompatible with his determinism.