Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as (...) well as certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is (...) introduced in the interpretation of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, however, argues against the (...) proof in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen (...) to be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold has atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the (...) constraints. Therefore, a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...) as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

When it comes to evaluating reductive hypotheses in metaphysics, supervenience arguments are the tools of the trade. Jaegwon Kim and Frank Jackson have argued, respectively, that strong and global supervenience are sufficient for reduction, and others have argued that supervenience theses stand in need of the kind of explanation that reductive hypotheses are particularly suited to provide. Simon Blackburn's arguments about what he claims are the specifically problematic features of the supervenience of the moral on the natural have also been (...) influential. But most discussions of these arguments have proceeded under the strong and restrictive assumptions of the S5 modal logic. In this paper we aim to remedy that defect, by illustrating in an accessible way what happens to these arguments under relaxed assumptions and why. The occasion is recent work by Ralph Wedgwood, who seeks to defend non-reductive accounts of moral and mental properties together with strong supervenience, but to evade both the arguments of Kim and Jackson and the explanatory challenge by accepting only the weaker, B, modal logic. In addition to drawing general lessons about what happens to supervenience arguments under relaxed assumptions, our goal is therefore to shed some light on both the virtues and costs of Wedgwood's proposal. (shrink)

I argued against relationalism with four objections. One of those was that, under reasonable assumptions, relationalism's modal relation needs to be what I called an `extra order' relation. I recently came to notice that the objection could have been posed with much less substantive assumptions. In particular, I recently noticed that order-dissonant predications are not required for the objection; therefore, noncumulativism is not relevant for my argument.

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that (...) meets certain conditions that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

In his essay Tracy Lupher (henceforth, TL) is concerned with Robert Kane's (1984) version of the modal ontological argument (MOA). As he correctly points out, Kane's argument is valid only if the accessibility relation between possible worlds is assumed to be symmetric. TL's remarks pave the way to thinking that the MOA is intended to establish the existence of a perfect being as a matter of logical necessity. Moreover, given TL's undisputed supposition (even shared by Kane) that S5 - (...) in which the accessibility relation is symmetric - captures the notion of logical necessity, the real issue becomes whether the premise of the MOA is true. Contrary to TL's main claim, the discussion thus shifts back from technical arguments for why the appropriate modal logic must have a symmetric accessibility relation to metaphysical, theological, or conceptual considerations about the notion of a perfect being itself. I argue that it is only due to such considerations that we even start to ponder the question of what modal logic is the appropriate one to choose. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of (...) two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Conceivability arguments constitute a serious threat against reductive physicalism. Recently, a number of authors have proven and characterized a devastating logical truth centered on these arguments: namely, that their soundness entails the inconceivability of reductive physicalism. In this paper, I demonstrate that this is only a logical truth when reductive physicalism is interpreted in its stronger, intrinsic sense, as opposed to its weaker—yet considerably more popular—extrinsic sense. The basic idea generalizes: perhaps surprisingly, stronger forms of reduction are uniquely resistant to (...) the conceivability arguments opposing them. So far as the modal epistemology of reduction is concerned, therefore, it pays to go intrinsic. (shrink)

An important argument in favour of recognising the cultural relativism and against universality of dignity and human rights, is the claim that the concept of dignity is a genuinely modern one. An analysis of a passage from the Demiurge’s speech in Timaeus reveals that Plato devoted time to reflecting on the question of what determines the qualitative difference between certain beings (gods and human being) and the world of things, and what forms the basis for the special treatment of these (...) beings – issues that using the language of today can be described reasonably as dignity. The attributes of this form of dignity seem to overlap with the nature of dignity as we know it today. Moreover, Plato proposes a response both to the question of what dignity is like, as well as the question of what dignity is. It is existential perfection, rooted in a perfect manner of existence, based on a specific internal unity of being. Dignity is therefore primordial in regard to particular features and independent of their acquisition or loss. Plato’s approach allows him to postulate that people be treated as ends in themselves; an approach therefore that prohibits the treatment of people as objects. Both the state and law are ultimately subordinated to the good of the individual, rather than the individual to the good of the state. -/- Istotny argument na rzecz relatywizmu kulturowego i przeciwko powszechności godności i wynikających z niej praw człowieka, oparty jest na poglądzie, że godność uznana została dopiero w czasach nowożytnych. Analiza fragmentu mowy Demiurga z Platońskiego dialogu Timajos ujawnia, że Platon rozwinął refleksję nad czymś, co stanowi o jakościowej różnicy między pewnymi istotami (bogami i ludźmi) a światem rzeczy, i co jest podstawą szczególnego traktowania tych istot, a co językiem współczesnym zasadnie można określić jako godność. Zbieżna jest charakterystyka tej godności z charakterystyką przyjmowaną współcześnie. Co więcej, Platon daje propozycję odpowiedzi nie tylko na pytanie, jaka jest godność, ale także na pytanie, czym jest godność. Jest ona doskonałością egzystencjalną, ugruntowanym w szczególnie doskonałym sposobie istnienia, opartym na szczególnej wewnętrznej jedności bytu. Jako doskonałość istnienia ogarnia ona cały byt, wszystkie jego cechy; jest nieoddzielalna od bytu (jest przyrodzona i niezbywalna). Jako pierwotna wobec partykularnych cech, jest niezależna od ich nabywania lub utraty. Platońskie ujęcie pozwala w oparciu o ujęcie godności formułować postulaty zbieżne z formułowanymi dziś dyrektywami nakazującymi traktować osoby jako cele same w sobie i zakazującymi traktowania osób w sposób czysto instrumentalny, przedmiotowy. Okazuje się, że – zdaniem Platona – jednostki nie wolno traktować czysto instrumentalnie dla dobra państwa; zarówno państwo, jak i prawo są podporządkowane dobru jednostki. (shrink)

I argue that there are non-trivial objective chances (that is, objective chances other than 0 and 1) even in deterministic worlds. The argument is straightforward. I observe that there are probabilistic special scientific laws even in deterministic worlds. These laws project non-trivial probabilities for the events that they concern. And these probabilities play the chance role and so should be regarded as chances as opposed, for example, to epistemic probabilities or credences. The supposition of non-trivial deterministic chances might seem to (...) land us in contradiction. The fundamental laws of deterministic worlds project trivial probabilities for the very same events that are assigned non-trivial probabilities by the special scientific laws. I argue that any appearance of tension is dissolved by recognition of the level-relativity of chances. There is therefore no obstacle to accepting non-trivial chance-role-playing deterministic probabilities as genuine chances. (shrink)

In a recent paper, Stefan Wintein criticizes my responses to the objections he raised to my modal-epistemic argument (MEA) for the existence of God. In this paper, I continue our debate and respond to Wintein’s criticisms of my previous responses. I argue that Wintein’s criticisms are unsuccessful. As a result, the MEA still stands.

It is sometimes argued that ideal theories in political philosophy are a form of ideology. This article examines arguments building on the work of Charles Mills and Raymond Geuss for the claim that ideal theories are cognitively distorting belief systems that have the effect of stabilizing unjust social arrangements. I argue that Mills and Geuss neither succeed in establishing that the content of ideal theories is necessarily cognitively defective in the way characteristic for ideologies, nor can they make plausible which (...) mechanisms ensure the alleged negative effects of the widespread acceptance of ideal theorizing. This does not mean that all hope is lost for the ideology objection, however. By turning to a second Marxian model of ideology, I argue that the ideological character of ideal theories is not so much a matter of their content, but rather of their form. Ideal theories falsely present the normative concepts that they use as semantically practice-independent and thereby block potential challenges from subordinate groups to dominant ideologies. It is therefore not the normative content of ideal theories which proves to be objectionable, but the particular role their concepts play in wider political discourse. (shrink)

Fictionalists propose that some apparently fact-stating discourses do not aim to convey factual information about the world, but rather allow us to engage in a fiction or pretense without incurring ontological commitments. Some philosophers have suggested that using mathematical, modal, or moral discourse, for example, need not commit us to the existence of mathematical objects, possible worlds, or moral facts. The mental fictionalist applies this reasoning to our mental discourse, suggesting that we can use ‘belief’ and ‘desire’ talk without (...) committing to the existence of beliefs and desires as mental entities. Most arguments for mental fictionalism are based on two key suppositions: first, that there are ontological concerns about mental entities; and second, that these ontological concerns justify a fictionalist interpretation of mental discourse. This paper challenges both suppositions and argues that the standard arguments for mental fictionalism are substantially weaker than arguments for other forms of fictionalism in the philosophical literature. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual forms of imagery and nonmetaphysical (...) forms of possibility, are endorsed. (shrink)

This article aims to provide a new ontological argument for the existence of God. A specific ‘modal’ version of the ontological argument—termed the Modal Realist Ontological Argument—is formulated within the modal realist metaphysical framework of David K. Lewis, Kris McDaniel and Philip Bricker. Formulating this argument within this specific framework will enable the plausibility of its central premise (i.e., the ‘Possibility Premise’) to be established, and allow one to affirm the soundness of the argument—whilst warding off two (...) oft-raised objections against this type of natural theological argument. (shrink)

It has been argued that an advantage of the safety account over the sensitivity account is that the safety account preserves epistemic closure, while the sensitivity account implies epistemic closure failure. However, the argument fails to take the method-relativity of the modal conditions on knowledge, viz., sensitivity and safety, into account. In this paper, I argue that the sensitivity account and the safety account are on a par with respect to epistemic closure once the method-relativity of the modal (...) conditions is taken into account. Therefore, epistemic closure is no longer an arbiter in the debate. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper (...) fills this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

The modal argument against materialism, in its most standard form, relies on a compatibility thesis to the effect that the physical truths are compatible with the absence of consciousness. I propose an alternative modal argument that relies on an incompatibility thesis: The existence of consciousness is incompatible with the proposition that the physical truths provide a complete description of reality. I show that everyone who accepts the premises of the standard modal argument must accept the premises of (...) the revised modal argument, but not vice versa. (shrink)

This paper addresses a recent suggestion that moral particularists can extend their view to countenance default reasons (at a first stab, reasons that are pro tanto unless undermined) by relying on certain background expectations of normality. I first argue that normality must be understood non-extensionally. Thus if default reasons rest on normality claims, those claims won't bestow upon default reasons any definite degree of extensional generality. Their generality depends rather on the contingent distributional aspects of the world, which no theory (...) of reasons should purport to settle. Appeals to default reasons cannot therefore uniquely support particularism. But this argument also implies that if moral generalism entailed that moral reasons by necessity have invariant valence (in the natural extensional sense), it would be a non-starter. Since generalism is not a non-starter, my argument forces us to rethink the parameters of the generalism-particularism debate. Here I propose to clarify the debate by focusing on its modal rather than extensional aspects. In closing, I outline the sort of generalism that I think is motivated by my discussion, and then articulate some worries this view raises about the theoretical usefulness of the label ‘default reason’. -/- [Note: The outline of moral generalism provided in this paper is superseded by those in "Moral Generalism: Enjoy in Moderation" and "A Theory of Hedged Moral Principles".]. (shrink)

Sider (2011, 2013) proposes a reductive analysis of metaphysical modality—‘(modal) Humeanism’—and goes on to argue that it has interesting epistemological and methodological implications. In particular, Humeanism is supposed to undermine a class of ‘arguments from possibility’, which includes Sider's (1993) own argument against mereological nihilism and Chalmers's (1996) argument against physicalism. I argue that Sider's arguments do not go through, and moreover that we should instead expect Humeanism to be compatible with the practice of arguing from possibility in philosophy.

This paper discusses a range of modal ontological arguments. It is claimed that these modal ontological arguments fail because they depend upon controversial assumptions about the nature of modal space.

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP (...) entry on Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

Catharine MacKinnon argues that pornography is action, rather than speech. She argues further that the speech/action distinction is what delineates the scope of the First Amendment. It follows, she thinks, that pornography does not fall within the scope of the First Amendment. I argue that the legal distinction between speech and action on which MacKinnon relies is unstable and therefore cannot determine which utterances fall within the scope of the First Amendment. Indeed, attempting to sort utterances by means of the (...) speech/action distinction in order to make this determination can lead to a paradox, which I call the “viewpoint paradox”. That an utterance expresses a particular viewpoint is typically sufficient for its qualifying as speech; yet MacKinnon’s argument that pornography is not speech pivots are her claim that it is an act of subordination because it expresses a particular viewpoint about women. (shrink)

Motivated by examples, many philosophers believe that there is a significant distinction between states of affairs that are striking and therefore call for explanation and states of affairs that are not striking. This idea underlies several influential debates in metaphysics, philosophy of mathematics, normative theory, philosophy of modality, and philosophy of science but is not fully elaborated or explored. This paper aims to address this lack of clear explanation first by clarifying the epistemological issue at hand. Then it introduces an (...) initially attractive account for strikingness that is inspired by the work of Paul Horwich and adopted by a number of philosophers. The paper identifies two logically distinct accounts that have both been attributed to Horwich and then argues that, when properly interpreted, they can withstand former criticisms. The final two sections present a new set of considerations against both Horwichian accounts that avoid the shortcomings of former critiques. It remains to be seen whether an adequate account of strikingness exists. (shrink)

Peter Van Inwagen argues that The Principle of Sufficient Reason (PSR) either leads to contradiction or it leads to necessitarianism. Although I agree with Van Inwagen that the relationship between the PSR and necessitarianism is close, I argue that the PSR is compatible with innocent versions of necessitarianism. In this project my main argument is that modal realism can account for the PSR and integrate it within an innocent version of necessitarianism. My main claim will be that each fact (...) in each possible world is grounded in the principle of plenitude. Also, while each fact is grounded in plenitude, it avoids rigid necessitarianism because (i) actuality is not captured by the PSR, (ii) things could be otherwise because there are other worlds, and due to the principle of recombination (iii) cardinality of possible worlds is maximized and (iv) there are no necessary connections between distinct individuals. As a result, the relationship between modal realism and the PSR is symbiotic. Through modal realism, the PSR also results as: having its scope extended to the realm of all possibilia rather than being confined to mere actuality; it solves indeterminacy problems like Leibniz’s problem of space or the hard problem of consciousness; it accounts for facts in lawless worlds etc. On the other hand, through the PSR, modal realism gets one more benefit in its inventory because it accounts for the PSR. Thus, modal realism still continues on Lewis’ paradoxical path of proving to be highly pragmatic but counterintuitive at the same time. Ultimately, even if we reject modal realism, we can use it as a model for future defenses of the PSR against rigid necessitarianism. (shrink)

This article proposes a way of blocking the zombie argument against materialism. The central idea—which can be motivated in various ways, but which I will motivate by drawing on recent work by Wolfgang Schwarz—is that sentences reporting conscious experience are modally inert, roughly in the sense that adding them to a description of a metaphysically possible scenario always results in a description of a metaphysically possible scenario. This is notable in that it leads to a way of blocking the zombie (...) argument which is perfectly compatible with modal rationalism and with the view that conceivability entails possibility. (shrink)

Philosophy is experiencing a resurgence of property (PD) and generic substance dualism (SD). One important argument for SD that has played a role in this resurgence is some version of a modal argument. Until recently, premise (3) of the argument (Possibly, I exist, and no wholly physical objects exist.) has garnered most of the attention by critics. However, more recently, the focus has also been on (2) (Wholly physical objects are essentially, wholly, and intrinsically physical and wholly spiritual substances (...) are essentially, wholly, and intrinsically immaterial.). Andrew Bailey has provided one of the best criticisms of (2) on offer. In what follows, I present and clarify one form of the argument and defend premise (2) by responding to important defeaters proffered by Andrew Bailey and his contingent physicalism. (shrink)

Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...) a collaboration between Jacques Derrida and a group of architects interested in his concepts is commenced, and the third one, in which completed or only designed objects or new concepts of deconstruction created by architects gain their supremacy over philosophy. The following book analyses these three possible ways, first of all with the reference to Peter Eisenman and Bernard Tschumi. -/- Peter Eisenman -/- Misreading… and Other Errors -/- The issue of relations between Peter Eisenman’s work and philosophy of deconstruction may be referred to his activity more than ten years preceding his direct collaboration with Jacques Derrida (in 1985) and organisation of the exhibition Deconstructivist Architecture at Museum of Modern Art in New York (in 1988). As soon as at the stage of designing the first houses (House I-III, 1967-1970), which almost entirely inscribed in formalistic aesthetics of Modernism, the architect analysed the problem of architecture dependence on its assumptions. All his later designs may be treated as consequence of this initial interest in relations between practice and theory, and at the same time as an introduction to manipulations later on led at the level of metaphysics of architecture. Beginning with the issue of presence, considered in comments to House VI (1972), the number of ideas having their analogies in philosophy of deconstruction increased. The text entitled The End of the Classical: The End of the Beginning, The End of the End (1984), in which Eisenman criticised questions of representation in architecture, its delusive strive for truth and comparably unattainable attempts at ultimate definition of elementary rules, should be acclaimed the breaking point. This attitude was extended by numerous strategies disturbing architecture rules defined at metaphysical level in an essay Moving Arrows, Eros, and Other Errors: an Architecture of Absence (1986). The issue of Eisenman’s passage from formalism to deconstruction has already been much discussed in the literature (Rosalind Krauss, Thomas Patin among others), still it should be mentioned that the threads similar to Derrida’s concept included in Eisenman’s writing reveal untranslatability of architecture and philosophy. -/- Choral Works or Separate tricks -/- In 1985-1986 a series of seven disputes between Jacques Derrida and Peter Eisenman took place. The pretext for them were designs concerning Parc de la Villette in Paris. The situation of many months of collaboration between a notable philosopher of the second half of the 20th c. and an architect that already had a huge theoretical oeuvre, ended up with a publication of a large volume entitled Chora L Works and it became at the same time a vast study area for historians of contemporary architecture and philosophers. Derrida’s contribution to concept works were his considerations over the idea of chôra, the properties related to this concept were about to be reflected in shapes of the park. Therefore, Chora L Works became an example of the abilities of contemporary art, both in its capability of translation from philosophical ideas to artistic forms and its resistance to tradition of representing in architecture some phenomena and values originating outside this discipline. In the final period of their collaboration both interlocutors started to polemicise with each other more decidedly, what became a separate part of their thought exchange. The exchange of letters between Derrida and Eisenman at the turn of 1989 ended up the period of their direct contacts, nevertheless, at this time precisely a large group of experts in issues of deconstruction joined the discussion and extended the revealed in the former dispute problems into more than ten years of further considerations and publications. Except for a long text by Jeffrey Kipnis, who had participated in the meetings of the philosopher and the architect, there appeared also comments of researchers of artistic theories (K. Michael Hays, Thomas Patin), philosophers (Andrew Benjamin), and even experts in Greek literature (Maria Theodorou or Ann Bergren). Following these debates a contemporary reflection on architecture has saturated with indeed numerous concepts originating in philosophy of deconstruction. -/- Architecture which imitates mute philosophy -/- The series of Jacques Derrida and Peter Eisenman meetings, which took place in the period of 1985-1987, induced many authors to make comments. Some of them (Jeffrey Kipnis, Ann Bergren, Maria Theodorou) developed the subject of chôra which was introduced to the discussion by Derrida. The problem that was about to be solved was the question of tying up the concept of chôra with architecture, including Eisenman’s architecture and the series of meetings within frames of Chora L Works project. Kipnis on this occasion paid attention to chôra and its character of anachronia which infects any being created within chôra. In other words any event has its counterpart (analogon) in another, earlier event. He demonstrated the similarity of structure of many events and statements from the times of Derrida and Eisenman’s meetings to the almost identical behaviour of figures in Plato’s dialogue Timaeus. The loss of beginning present in this phenomenon was appropriate to both features of chôra and the effects of typical analyses of philosophy of deconstruction. Bergren’s analyses focused on accentuating gender of chôra, which, according to this author, had been neglected hitherto in discussions. She collated chôra descriptions with characteristics of women in myths, early Greek epic and philosophy and she arrived at a conclusion that chôra has features of a single woman and a married one at the same time. And yet Theodorou’s studies showed that in the Homeric epics chôra is not treated as an idea but is related with single things and events. The other part of the comments (represented by Andrew Benjamin and K. Michael Hays’ utterances) concerns Eisenman’s attitude to tradition which was treated as a variety of iteration understood philosophically. Benjamin commenced his considerations at the point of closeness between a definition of tradition and a concept of chôra understood as perpetuation (placement). A problematic issue was for him Eisenman’s complex relation to tradition based on its contest and affirmation at the same time. Overcoming the simple subordination to tradition – according to Benjamin – was based on awareness of the role of repetition in culture not known before. Hays made an attempt to explain the pleasure and torment of repetition with the support of Sigmund Freud and Roland Barthes’ concepts. According to Hays repetitions are attempts of a single being to a certain primal state perceived as free of any tension. In a similar way Rosalind Krauss explained a motif of a grate present in Modernistic art and also exceptionally frequent in Eisenman’s work. -/- Annex Architecture is still writing Balzac novels. Peter Eisenman and literature -/- Architecture’s approach to writing, script or literature, present within Peter Eisenman’s work, is an exceptional phenomenon, furthermore a complex one. The article considers four possible relations. The first one relates to Eisenman’s characteristics as a person extremely gifted with the ability to wordplay, which very ‘play’ reveals skills to create architectural images. In the second approach the attention has been paid to Eisenman’s interests – in the first period of his oeuvre – in linguistic works by Noam Chomsky and his transformational-generative grammar. The third kind of relations applied to overcoming the need for autonomy of architecture (and of modernist aesthetics at the same time) and renew interests in questions of meaning in architecture. The fourth sort of relations occurred when Eisenman started to create reflections of historic or literary narrations in architecture – ‘stone stories’ and architectural fictions of their kind. -/- Bernard Tschumi -/- From perversion to deconstruction In Bernard Tschumi’s writings from the 1970s and 1980s we can find a transposition of important threads of post-structuralist ideas deriving from Georges Bataille, Roland Barthes and Jacques Derrida’s works. The analysis of the architect’s writings also shows roots in Phillippe Sollers, Michel Foucault and Denis Hollier’s works. The analysis of borrowed elements from the beginnings of Tschumi’s theoretical activity may be helpful in explaining the contents of his later writings motre inspired by philosophy of deconstruction. The set of his earliest views was inspired by Marxism, Neo Marxism and French Structuralism, mainly by the writings of Henri Levebre and Guy Debord. From the thought of Levebre Tschumi took interest for city as not only a question of urbanistics but also a political issue. From Debord’s concepts he borrowed a conviction about the role of situational violation for changes in the society structure. Some of these beliefs were preserved in his own concepts of architecture as an event. From this period derived also his will to change conservative elements of social structure not by means of political revolution but of theoretical and creative activity. Tschumi acknowledged that the effective way of the proceedings towards achieving his aims would be accepting the role of both a critical intellectualist and architecture expert who would not hide away his left-wing orientation. The speculations defined by the architect as ‘revolting analyses’ were about to characterise contradictions which tear the society apart, penetrate architecture and constitute the basis of culture. Spreading away of the conscience of false assumptions hidden away in various disciplines could have weakened cohesion of a conservative society and influence the will to change among the elites. This way the beginnings of political revolution were rooted in philosophy of architecture. In 1977 Tschumi published his text entitled The Pleasure of Architecture inspired by Roland Barthes’s The Pleasure of the Text, it also included some concepts derived from Georges Bataille and Jacques Derrida. First of all the author used Barthes’s concept which made an assumption that literary activity is pervaded by the spirit of resistance towards social rules, and Tschudi transferred this remark onto architecture. From the ideas of Bataille, acquainted via Holier’s work, he derived his belief that two concepts of space, a conceptual one (defined as Pyramid) and a sensual one (defined as Labirynth), not losing their distinct features, they join in the concept of experienced space which exceeds contradictions. The exceeding itself was defined as the basic rule of architecture and it was referred to situations in which architecture not only negates social needs, but also disavows its own tradition. Crossing the borders applies not only to political issues or permanent rules of the very discipline but also interfering with other fields (especially literature and film). The fact that architecture is associated with organising events turned Tschumi’s attention to questions of violence that result from upsetting architectural order of a given building by its users and the one hand, and on the other from forcing the users to specific acts imposed by this very order. The analysis of the concepts used by Tschumi in his early writings indicates that they are close to definitions that would occur in his reflection in the following years influenced by philosophy of deconstruction. -/- Approaching deconstruction Tschumi in his theories developed in the 1980s presumed that the current social world had undergone a deep process of decay, and the reaction against which ought to be based on ordering-up actions, and also preserving the main outline of disintegration of the whole and its elements in the state of conflict. The statements concerning the nature of the contemporary to Tschumi social relations were applied by him to the world of architecture, this led him to coming up with designing strategies that took into consideration the destabilised character of conditions in which works of architecture were created. New ways of conduct invented by Tschumi drew their inspiration from literature and research on literature, psychoanalysis, structural linguistics, structuralism and post structuralism, and eventually also deconstruction philosophy. The proposed methods were opposed by their author both to functionalism continuity trends and postmodern architecture. Tschumi’s proposals contradicted any forms of conservatism or traditionalism in political sphere as well as in reference to tendencies in architecture. They were not simple contradictions of social or architectural rules, they intrude them from the inside, weaken or escalate the already existing incongruities, they move the boundaries between the areas. Revolutionary illusions about the possibility of radical changes were replaced with strategies which completed, tainted or test former rules in the series of formal games of permutation and combination. Quite different from avant-garde formalism Tschumi’s games were not about maintaining the autonomy of a given area, but on the contrary – polluting it with other areas’ influences. Tschumi enjoyed demonstrating illusions of architecture concerning simple relations between form and function, or between form and meaning. Making use of Freud, Lacan and Foucault’s research he introduced a category of “madness” into architecture allowing an observation that the recognised norms are nothing but merely ones of many possible principles of behaviour, and their recognised status resulted from unjustified hindering innovativeness which is crucial for architecture. To reborn architecture’s capability of changing Tschumi also made use of Barthes’s discoveries concerning rules of narration and works by writers who applied in their writing knowledge on linguistics. Making a work’s author unclear by various mechanical transformations of its elements was however apparent only, and formal rigours imposed on the process of designing liberated possibilities difficult to obtain in more traditional creative action. Another mode of acting introduced by Tschumi was combining his work of elements deriving from outside architecture; joining space records with notation of motion and events accompanying architectural objects among others. These architectural and extra-architectural elements were not unified, on the contrary their heterogenous and conflictual character was stressed. This is how shock, anxiety and instability, typical for live in great metropolises, infiltrated architecture. Taking some ideas of deconstruction philosophy as a pattern Tschumi also took into critical consideration in his essays traditional in architecture oppositions between form and figuration, or theory and practice. By combining various inspirations he eventually worked out an idea of architectural event, which he understood as a series of actions contesting its own field, redefining its sources, principles and elements. An event, understood in this way, was not so much producing works as rather creating conditions of their production and at the same time designing the society different from a hierarchic one. -/- Park of deconstruction Among numerous philosophical strategies of deconstruction most frequently used was questioning the practice of strong opposition of two reasons. In many cases Bernard Tschumi’s writings just consider functioning of the conflict juxtaposition of the ideas of structure and ornament or theory and practice in history of architecture. Violation of traditional relations between terms of this kind, both old and modern, raised Jacques Derrida’s objections, when he was induced for the first time to co-operate with architects’ milieu. During this long lasting thought exchange the philosopher eventually acknowledged Bernard Tschumi’s arguments for reasoning the encroachment of architecture’s fundamental rules. Deconstruction applied in architecture was not a simple transposition or analogy of practices that had been applied by philosophy of deconstruction. We may even say that considering architectural terms became an important formula of deconstruction. Architecture understood in philosophical way became something beyond the practice and theory of its own discipline, a sort of metaphysics of both philosophy and architecture. The deliberate encroachment of simplicity of dividing architecture into theory and practice, for the first time became a clear aim for Tschumi in his drawings and texts entitled The Manhattan Transcripts. The contents of this series of works was a record of characteristic features of this New York district in such a way that not only objects were the subject of the record but also relations between objects, people and events. The record was about to take into consideration a conflict character of elements of this representation and at the same time to avoid applying to them the rule of mimetism. The record became a form of reflection over the very record by an increased control over the ways of representation. Architecture which was considered in the The Manhattan Transcripts was not directed to fulfill the needs of inhabitation or production, it was rather related with hitherto usually marginalised liminal situations: building ostentatiously big monuments, religious cult, war etc. Architecture operating in these relations focused also the attention on the included in it continuous tendency to overpass its own restrictions, the role of violence as its not recognised factor, or the meaning of excess and shock in its operation. Architecture moving from reason towards madness became even more visible in the design of Parisian Parc de la Villette, whose pavilions were defined as folies (in French it means both small park buildings and follies). The park was supposed to be on the one hand a reflection of traditional society disintegration while on the other it questioned basic rules of producing a work of architecture. The traditional rules of designing, based on ordering up, were replaced with the strategies of dysfunction and dissociation. In Tschumi’s opinion methods of this kind may be equivalent of what Derrida named différance. Instead of aiming at mergence, any diversity, plays or variations were strengthen. Tschumi’s texts, in which he explained his attitude, were completed by Derrida’s extent statement entitled Point de folie – Maintenant l’architecture. Derrida’s article is the most significant of all his statements on architecture as a form of thinking and activity. According to the philosopher, architecture should divide space (in French defined as espacement), what enables both thinking and action – it arranges the space of an event. Tschumi’s buildings, defined as folies, in an essential way destabilise any created order, and at the same time they refresh it. Derrida’s statement suggests that architecture may become both metaphor of an order merging a language or a society but also of inner forces which deconstruct and reconstruct it. Therefore architecture is at the same time a construction, a deconstruction and a reconstruction. Parc de la Villette stands out in this system with its attempt to step beyond the scheme of an easy repetition and its heading for chances of achieving more radical otherness. -/- Conclusion Destruction as construction. Paradoxes of deconstruction in architecture -/- Scepticism about persistence and common importance of fundamental values of human culture evinced in philosophers and writers’ works as early as in Greek antiquity, nevertheless it was not expressed so strongly as in the second half of the 20th century. Especially in Heidegger’s work Being and Time (although originated in 1927, still influential in all later philosophy) the following states were characterised: the state of losing the ground (Abgrund), of being out of sight (Unheimlichkeit) and of being out of dwelling (Un-zuhause-sein) – as the basis of self-confidence of conscious being there (Dasein). The entire criticism of philosophy of home and dwelling draws the inspiration from this early writing of the German philosopher, it combines crisis of basic terms of metaphysics with social conditions which are dictated by living in large metropolis. The crisis of both metaphysical foundation and home appears to be similar to the situation of weakening the relations between a man and his dwelling in extensively expanding cities. Whereas philosophy, as well as many disciplines of social sciences, have diagnosed for a long time the destabilisation of fundamental ideas of Western culture and crucial changes in the ways of dwelling, architecture itself occurred to be “the last fortress of metaphysics” (J. Derrida). Among contemporary architects, Peter Eisenman and Bernard Tschumi were the ones who engaged most decidedly in the issues of critical analysis of architecture foundation and its social role. Both the architects noticed new formulas of contemporary social and individual existence, tremendously different from the entire history, and at the same time they affirmed lack of adequacy of architecture concepts to new situations. Both Eisenman and Tschumi used to describe the existing architecture as a tool for consolidation of highly integrated and hierarchised societies, and also as a discipline extremely uncoincidental with the current character of social life based on ideas of freedom and diversity. The means to transform architecture and make a factor of further social changes out of it, was a concept that accentuated revealing the inner contradictions of this discipline, and considering them in designing strategies. Eisenman’s activity, in regard of what has just been noticed, was focused on questioning the basic rules of traditionally comprehended architecture, especially the rule of purpose. The American architect noticed that the concept of architecture as fulfilment the need of location, hides away the fact that the location has to be constantly reconsidered, and hence it is overtaken by change (dislocation). Therefore new concept of architecture propounded architectural activity to translocate the concept of location – more than before – but also to change its status perpetually. Such comprehended architecture should claim, as its main purpose, the constant revision of this purpose and create itself anew permanently. Even Eisenman’s earliest designs of houses nos. I-IV broke with such values as the sense of safety, closeness and familiarity, and just on the contrary they accentuated senses of strangeness, homelessness and loss of confidence. The contradictions within architecture noticed by Tschumi referred to combination of intellectual and sensual values in architecture, when their non-appropriation was defeated by an additional condition, namely the way of experience based on pleasure of excess, marked by insanity. The features of folly were especially visible in his designs of gardens, where the order of planning was mixed with sensual experience introduced by particular elements (both the ones created by nature, and the buildings defined as folies). Parc de la Villette designed by the French architect in Paris put in question not only the common understanding of purpose in architecture but also the ideas of order and integrity, as its plan was based on the combination of independent layers with records of grids of points, various lines and planes. The architecture that collides inadequate elements with each other was supposed to be a kind of an event with no beginning and no end. The architecture treated as an event became a form of a space weakened articulation that maintains its diversity and lack of accordance of the elements building it up. The analyses of Eisenman and Tschumi’s theoretical writings indicate how much the aims of architecture have actually changed; instead of supporting social persistence, the architecture is rather intensifying contradictions, and instead of providing people with the sense of safety, it sublimes danger. From simple acts of defamiliarisation, increasing the distance to itself and enhancing the role of theory, through discomfort, anxiety, not feeling someone at home, weirdness, excess, shock and violence, architecture reached the edge of stability and uncertainty, only to make an attempt at penetrating what is impossible and unutterable, and recording what cannot become the subject of any records. -/- . (shrink)

I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct reason (...) to doubt that our F-beliefs are modally secure. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

Bourdieu argues that political inclination is dependent upon one's position in the academic field, and not vice versa. Distinguishing between three hierarchically arranged fields of power, he places the academic field in a middling position between the political and social fields. He posits a hierarchy of the faculties, in which those at the top are closer to political power. Bourdieu supports his argument using empirical data gathered through publicly available sources, presented in tabular form. University professors, Bourdieu argues, are subordinate (...) in the field of power to managers of industry and business, but are nonetheless "holders of an institutionalized form of cultural capital," and therefore culturally dominant with respect to writers and artists (36). These academics, especially those at the top of the social hierarchy, present higher percentages of "indices of social integration and respectability" (36-37). According to Bourdieu, two antagonistic principles of hierarchization are at play in the university field: "the social hierarchy, corresponding to capital inherited and economic and political capital . (shrink)

There are at least two discussions about Pythagoreans in Aristotle’s works that can be related to paradigm, both in Book A of Metaphysics. In the first, Aristotle says that for Pythagoreans all the things are modeled after numbers (τὰ μὲν ἄλλα τοῖς ἀριθμοῖς ἐφαίνετο τὴν φύσιν ἀφωμοιῶσθαι πᾶσιν). (Met., A, 985b32-33) In the second, Aristotle tells us that Pythagoreans take ‘the first subject of which a given term would be predicable (ᾧ πρώτῳ ὑπάρξειεν ὁ λεχθεὶς ὃρος)’ as the substance of (...) the thing. His example is double and two: since two is the first thing of which double is predicated, double will be the substance of two. (Met., A, 987a22-25) 1) Forms as paradigms Some of the critiques of platonic Forms in Aristotle’s works are paradigm-oriented: they attack Plato’s theory on the basis that Platonians considered Forms as paradigms. The core of all Aristotle’s objections is that calling Forms paradigms is a mere poetical strategy and does not have any real effect. (Met., 991a20-22; M, 1079b24-26) We can recognize four reasons for Aristotle’s objections of forms as paradigms: a) To consider something as the paradigm of another thing to which it is like does not have any ontological effect: ‘For what it is that works, looking to the ideas? Anything can either be, or become, like another without being copied from it, so that whether Socrates exists or not a man might come to be like Socrates.’ (Met., A, 991a22-26; M, 1079b26-29) Therefore, paradigms are ontologically unnecessary: ‘It is quite unnecessary to set up a form as a paradigm … the begetter is adequate to the making of the product and the causing of the form in the matter.’ (Met., Z, 1034a2-5) Don’t these cases imply that Aristotle did have more the ontological necessity of paradigm in thought instead of its epistemological necessity? b) To consider Forms as paradigms means that a thing must have several paradigms; e.g. animal and too-footed and man will be paradigms of the same thing. (Met., A, 991a27-29; M, 1079b31-33) c) The theory that Forms are paradigms not only of sensible things but also of themselves makes the same thing both a paradigm and a copy (ἐικών). (Met., A, 991a29-b1; M, 1079b33-35) 2) Reasoning by paradigm Aristotle compares the arguments using paradigms to his own theory of syllogism: ‘We have an ‘example’ (παράδειγμα) when the major term is proved to belong to the middle by means of a term which resembles the third. It ought to be known that the middle belongs to the third term, and that the first belongs to that which resembles the third. For example, let A be evil, B making war against neighbors, C Athenians against Thebians, D Thebians against Phocians. If then we wish to prove that to fight against Thebians is an evil, we must assume that to fight against neighbors is an evil. Evidence of this is obtained from similar cases, e.g. that the war against the Phocians was an evil to Thebians. …Now it is clear that B belongs to C and to D (for both are cases of making war upon one’s neighbors) and that A belongs to D (for the war against the Phocians did not turn out well for the Thebians); but that A belongs to B will be proved through D.’ (PsA., B, 24, 66b38-69a11) An ‘example’ can also be made by several similar cases. (PrA., B, 24, 69a11-13) Aristotle notes (PrA., B, 24, 69a13-24) that reasoning by paradigm is ‘neither like reasoning from part to whole nor like reasoning from whole to part but is rather a reasoning from part to part, when both particulars are subordinate to the same term, and one of them is known.’ And it differs from induction in two ways: a) While induction uses all the particular cases to prove that the major term belongs to the middle, reasoning by paradigm does not draw its proof from all the particular cases. b) While induction does not apply the syllogistic conclusion to the minor term, reasoning by paradigm does make this application. (PrA., B, 24, 69a13-24) . (shrink)

It is commonly believed that intrinsically bad possible worlds are inconsistent with the perfect goodness of God. A perfectly good being could not exist in possible worlds that are intrinsically bad. Indeed it is widely believed that possible worlds that are insufficiently good are inconsistent with a perfectly good God. Modal atheological arguments aim to show that, since the pluriverse includes intrinsically bad worlds and insufficiently good worlds, there necessarily does not exist a perfectly good God. I show that (...) modal atheological arguments are in general invalid. Modal atheological arguments fail to show that there exists no perfectly good God even on the assumption that there are extremely bad worlds in the pluriverse. Modal atheological arguments depend entirely on the logic of modality in S5. But the logic of S5 ensures that a perfectly good God is consistent with extremely bad possible worlds and so guarantees that a perfectly good God is consistent with a plenitudinous pluriverse. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when (...) it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being informed in the rest (...) of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)

There is a tradition perhaps as old as philosophy itself which sees the rationality of man – and in particular, the rationality of the philosopher - as both his essential and his redeeming characteristic; it can not unfairly be said that the discipline of philosophy at least is characterised by its dependence on reason. In this context, the philosophy of David Hume presents something of a stark challenge: Although interpretations vary as to the extent and nature of his scepticism, one (...) of the themes of his work is the limits and imperfections of human reason and the sceptical concerns this engenders. On Hume's system, reason is not the overlord of the imagination but at least in part subordinate to it, and can discover little or nothing without recourse to experience. -/- My aim here is to pinpoint the true nature of Hume's scepticism regarding reason, drawing chiefly on the Treatise but also to a lesser extent the Enquiry. After a brief overview of his project in the Treatise in section 1, I go on to give an account of Hume's conception of reason or the understanding, and the epistemological distinction between demonstrative and probable reasoning, in section 2. In section 3 I examine Hume's famous argument concerning induction, arguing that to read Hume as a sceptic regarding inference is a mistake and that to say induction is grounded in principles of the imagination is not to say that it is therefore irrational. In section 4 I examine the argument of Treatise 1.4.1, 'Of scepticism with regard to reason', and in section 5 the 'dangerous dilemma' to which it leads Hume in 1.4.7, arguing that whilst his treatment of the issues it raises is somewhat unsatisfactory in this section of the Treatise a better solution can be fashioned by appealing to a distinction between the general and the trivial properties of the imagination drawn elsewhere in both the Treatise and the Enquiry. Then in section 6 I conclude by offering my own attempt at characterising the extent of Hume's scepticism regarding reason, arguing that his “mitigated” scepticism is a scepticism about knowledge but not about belief, and that its chief aim is to ensure that we philosophise only on those subjects which are suitable for enquiry given the limits and frailties of our faculties; the “reflections of common life, methodized and corrected” (Enquiry 12.25, p.208) rather than “divinity” or “school metaphysics” (Enquiry 12.34, p.211). (shrink)

This paper provides a pragmatic framework for the analysis of argumentation and written interaction in computer-mediated communication (e.g. in forums or blogs). Grice's maxims are supplemented with a theory of linguistic politeness derived from Leech, which is in turn subordinated to a strategic theory of interaction and finally to a theory of aims and action, as defined in ideology and philosophy. Netiquette, politeness, strategy and wisdom are therefore structurally subordinated to each other in the overall theory of human action which (...) includes computer-mediated communication. (shrink)

On one classical conception of God, God has no parts, not even metaphysical parts. God is not composed of form and matter, act and potency, and he is not composed of existence and essence. God is absolutely simple. This is the doctrine of Absolute Divine Simplicity. It is claimed that ADS implies a modal collapse, i.e. that God’s creation is absolutely necessary. I argue that a proper way of understanding the modal collapse argument naturally leads the proponent of (...) ADS to reject a particular premise of the argument: namely, “the same identical cause brings about the same effect.” However, I argue that the rejection of that premise leads to a deeper problem for ADS. It leads to an explanatory gap: how can we explain the relevant type of indeterminism in an absolutely simple God? (shrink)

We review existing strategies for bringing modal intuitions to bear against materialist theories of consciousness, and then propose a new strategy. Unlike existing strategies, which assume that imagination (suitably constrained) is a good guide to modal truth, the strategy proposed here makes no assumptions about the probative value of imagination. However, unlike traditional modal arguments, the argument developed here delivers only the conclusion that we should not believe that materialism is true, not that we should believe that (...) it is false. (shrink)

Modal collapse arguments are all the rage in certain philosophical circles as of late. The arguments purport to show that classical theism entails the absurdly fatalistic conclusion that everything exists necessarily. My first aim in this paper is bold: to put an end to action-based modal collapse arguments against classical theism. To accomplish this, I first articulate the ‘Simple Modal Collapse Argument’ and then characterize and defend Tomaszewski’s criticism thereof. Second, I critically examine Mullins’ new modal (...) collapse argument formulated in response to the aforementioned criticism. I argue that Mullins’ new argument does not succeed. Third, I critically examine a powers-based modal collapse argument against classical theism that has received much less attention in the literature. Fourth, I show why God’s being purely actual, as well God’s being identical to each of God’s acts, simply cannot entail modal collapse given indeterministic causation. This, I take it, signals the death of modal collapse arguments. But not all hope is lost for proponents of modal collapse arguments—for the death is a fruitful one insofar as it paves the way for new inquiry into at least two new potential problems for classical theism. Showing this is my paper’s second aim. (shrink)