This is a short introduction to a book symposium on Paul Gowder's recent book, _The Rule of Law in thee Real World_ (Cambridge University Press, 2016). The book symposium will appear in the St. Luis University Law Journal, 62 St. Louis U. L.J., -- (2018), with commentaries on Gowder's book by colleen Murphy, Robin West, Chad Flanders, and Matthew Lister, along with replies by Paul Gowder.

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and (...) that deductions in normal form have the subformula property. (shrink)

This is an introduction to an edited volume of critical reactions to Derek Parfit's book On What Matters. It outlines Parfit's key ideas on reasons and rationality, his revisionary interpretations of Kantian ethics, his versions of Kantian Contractualism and Rule Consequentialism, and his master argument that attempts to show how the best versions of these ethical theories converge. The introduction also intoruces the essays of the volume.

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general (...) class='Hi'>introduction rule for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

The legal progression in China is portrayed negatively by western scholars who often argue that the state institutions in China are subordinate to the control of Chinese Communist Party’s leadership which makes these institutions politically insignificant. We consider that the legal progression in China has an instrumental role in achieving “Harmonious Socialist Society.” The purpose of this thesis is to provide an analytical literature review of scholastic work to explain the legality of rule of law in China and to elaborate (...) the outcomes of China’s recent legal developments. This paper has two main subjects. First, it examines the nature of law and rule of law in China through the prism of different legal theories. Secondly, by arguing from different political theories, it explains the necessity of customized legal system in China for establishing a Harmonious Socialist Society. By giving different examples from contemporary China, this thesis argues that the legality of the rule of law in China ought to be understood in the context of China’s economic and social progression rather than the western legal scholarship. China’s economic progress demands a customized legal system. In our thesis, we claim that the regular upgradation of laws and introduction of constitutional amendments in China, should be recognized as important achievement which is required for the institutional innovation. Legal progression in China during last decade perfectly fit into the framework of “Socialism with Chinese Characteristics” and is very crucial for building a harmonious socialist society. It is vivid from China’s economic growth and developed international relations. Finally, this paper suggests that the Chinese legal progression can be taken as successful example of legal experimentalism. (shrink)

In their Introduction to Logic, Copi and Cohen suggest that students construct a formal proof by "working backwards from the conclusion by looking for some statement or statements from which it can be deduced and then trying to deduce those intermediate statements from the premises. What follows is an elaboration of this suggestion. I describe an almost mechanical procedure for determining from which statement(s) the conclusion can be deduced and the rules by which the required inferences can be (...) made. This method is designed to forestall the quandary in which many beginners find themselves: not knowing how to get started. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known (...) as reduction and expansion . We propose a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

Learning from Arguments advances accessible versions of key philosophical arguments, in a form that students can emulate in their own writing, and with the primary aim of cultivating an understanding of the dynamics of philosophical argumentation. -/- The book contains ten core chapters, covering the problem of evil, Pascal’s wager, personal identity, the irrationality of fearing death, free will and determinism, Cartesian skepticism, the problem of induction, the problem of political authority, the violinist argument, the future-like-ours argument, the ethics of (...) eating meat, utilitarianism (both act and rule), and the trolley problem. Additionally, there is an introductory chapter explaining what arguments are and surveying some common argumentative strategies, an appendix on logic explaining the mechanics and varieties of valid arguments, and an appendix providing detailed advice for writing philosophy papers. -/- Each of the ten core chapters offers a sustained argument for some controversial thesis, specifically written for an audience of beginners. The aim is to introduce newcomers to the dynamics of philosophical argumentation, using some of the arguments standardly covered in an introductory philosophy course, but without the additional hurdles one encounters when reading the primary sources of the arguments: challenging writing, specialized jargon, and references to unfamiliar books, philosophers, or schools of thought. (shrink)

Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked (...) to predict future locations. The sequences vary in complexity according to a well-defined language comprising elementary primitives and recursive rules. A detailed analysis of error patterns indicates that primitives of symmetry and rotation are spontaneously detected and used by adults, preschoolers, and adult members of an indigene group in the Amazon, the Munduruku, who have a restricted numerical and geometrical lexicon and limited access to schooling. Furthermore, subjects readily combine these geometrical primitives into hierarchically organized expressions. By evaluating a large set of such combinations, we obtained a first view of the language needed to account for the representation of visuospatial sequences in humans, and conclude that they encode visuospatial sequences by minimizing the complexity of the structured expressions that capture them. (shrink)

If a theory addressing problems that are global in scope aims to be convincing outside its own tradition, it should be robust-enough to deal with the simple observation that, around the world, there are multiple systems of norms, rules and institutionalized normative orders.

The tenth proposition of Spinoza’s Ethics reads: ‘Each attribute of substance must be conceived through itself.’ Developing and defending the argument for this single proposition, it turns out, is vital to Spinoza’s philosophical project. Indeed, it’s virtually impossible to overstate its importance. Spinoza and his interpreters have used EIp10 to prove central claims in his metaphysics and philosophy of mind (i.e., substance monism, mind-body parallelism, mind-body identity, and finite subject individuation). It’s crucial for making sense of his epistemology (i.e., Spinoza’s (...) account of knowledge and response to skepticism) and in resolving puzzles within the Ethics (i.e., explaining human ignorance of all but two attributes). Even those who do not attribute some of the above claims to Spinoza need EIp10 to defend much of what they believe about Spinoza’s system. This paper locates a previously unnoticed argument for this proposition in Spinoza’s Short Treatise on God, Man, and His Well Being. There, Spinoza shows himself concerned with a powerful and underappreciated form of philosophical skepticism, one with surprising echoes in the work of his contemporary Leibniz as well as in the later Wittgenstein. Spinoza’s introduction of E1p10 in the Ethics circumvents this form of skepticism, solving the problem the Short Treatise envisions while also explaining that text’s argument’s absence from the explicit justificatory structure of the Ethics. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction (...) class='Hi'>rules for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and (...) rejective elimination rules from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ (...) project of providing a logical basis for metaphysics only relies on the restricted assumption. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules (...) that are validated by an assertability conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...) measure sensitivity and fails to justify the use of MI in giving definitive answers to questions of information. We propose a fourth interpretation of MI by reduction in expected inaccuracy, where inaccuracy is measured by a strictly proper monotonic scoring rule. It is shown that the answers to questions of information given by MI are definitive whenever this interpretation is appropriate, and that it is appropriate in a wide range of applications with epistemic implications. _1_ Introduction _2_ Formal Analyses of the Three Interpretations _2.1_ Reduction in doubt _2.2_ Reduction in uncertainty _2.3_ Divergence _3_ Inconsistency with Epistemic Value of Information _4_ Problem of Measure Sensitivity _5_ Reduction in Expected Inaccuracy _6_ Resolution of the Problem of Measure Sensitivity _6.1_ Alternative measures of inaccuracy _6.2_ Resolution by strict propriety _6.3_ Range of applications _7_ Global Scoring Rules _8_ Conclusion. (shrink)

There is a growing sense that many liberal states are in the midst of a shift in legal and political norms—a shift that is happening slowly and for a variety of reasons relating to security. The internet and tech booms—paving the way for new forms of electronic surveillance—predated the 9/11 attacks by several years, while the police’s vast use of secret informants and deceptive operations began well before that. On the other hand, the recent uptick in reactionary movements—movements in which (...) the rule of law seems expendable—began many years after 9/11 and continues to this day. One way to describe this book is an examination of the moral limits on modern police practices that flow from the basic legal and political tenets of the liberal tradition. The central argument is that policing in liberal states is constrained by a liberal conception of persons coupled with particular rule of law principles. Part I consists of three chapters that constitute the book’s theoretical foundation, including an overview of the police’s law enforcement role in the liberal polity and a methodology for evaluating that role. Part II consists of three chapters that address applications of the theory, including the police’s use of informants, deceptive operations, and surveillance. The upshot is that policing in liberal societies has become illiberal in light of its response to both internal and external threats to security. The book provides an account of what it might mean to retrieve policing that is consistent with the basic tenets of liberalism and the limits imposed by those tenets. [This is an uncorrected draft of the book's preface and introduction, forthcoming from Oxford University Press.]. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are (...) parameterized with formal grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

The prospective introduction of autonomous cars into public traffic raises the question of how such systems should behave when an accident is inevitable. Due to concerns with self-interest and liberal legitimacy that have become paramount in the emerging debate, a contractarian framework seems to provide a particularly attractive means of approaching this problem. We examine one such attempt, which derives a harm minimisation rule from the assumptions of rational self-interest and ignorance of one’s position in a future accident. We (...) contend, however, that both contractarian approaches and harm minimisation standards are flawed, due to a failure to account for the fundamental difference between those ‘involved’ and ‘uninvolved’ in an impending crash. Drawing from classical works on the trolley problem, we show how this notion can be substantiated by reference to either the distinction between negative and positive rights, or to differences in people’s claims. By supplementing harm minimisation with corresponding constraints, we can develop crash algorithms for autonomous cars which are both ethically adequate and promise to overcome certain significant practical barriers to implementation. (shrink)

It is beyond doubt that the legal system established by the Nazi government in Germany between 1933-1945 represented a gross departure from the rule of law: the Nazis eradicated legal security and certainty; allowed for judicial and state arbitrariness; blocked epistemic access to what the law requires; issued unpredictable legal requirements; and so on. This introduction outlines the distorted nature of the Nazi legal system and looks at the main factors that contributed to this grave divergence.

Introduction to the Scientific Proof of the Natural Moral Law This paper proves that Aquinas has a means of demonstrating and deriving both moral goodness and the natural moral law from human nature alone. Aquinas scientifically proves the existence of the natural moral law as the natural rule of human operations from human nature alone. The distinction between moral goodness and transcendental goodness is affirmed. This provides the intellectual tools to refute the G.E. Moore (Principles of Ethics) attack against (...) the natural law as committing a "naturalistic fallacy". This article proves that instead Moore commits the fallacy of equivocation between moral goodness and transcendental goodness in his very assertion of a "naturalistic fallacy" by the proponents of the natural moral law. In the process the new deontological/kantian theory of natural law as articulated by John Finnis, Robert George, and Germain Grisez is false historically and philosophically. Ethical naturalism is affirmed as a result. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; (...) 4. Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

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

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- (...) factive grounding claims, if true, are zero-grounded in the sense of Fine. (shrink)

Matthew Adler's Measuring Social Welfare is an introduction to the social welfare function (SWF) methodology. This essay questions some ideas at the core of the SWF methodology having to do with the relation between the SWF and the measure of well-being. The facts about individual well-being do not single out a particular scale on which well-being must be measured. As with physical quantities, there are multiple scales that can be used to represent the same information about well-being; no one (...) scale is special. Like physical laws, the SWF and its ranking of distributions cannot depend on exactly which of these scales we use. Adler and other theorists in the SWF tradition have used this idea to derive highly restrictive constraints on the shape of the SWF. These constraints rule out seemingly plausible views about distributive justice and population ethics. I argue, however, that these constraints stem from a simple but instructive mistake. The SWF should not be applied to vectors of numbers such as 1 and 2, but rather to vectors of dimensioned quantities such as 1 util and 2 utils. This seemingly pedantic suggestion turns out to have far-reaching consequences. Unlike the orthodox SWF approach, treating welfare levels as dimensioned quantities lets us distinguish between real changes in well-being and mere changes in the unit of measurement. It does this without making the SWF depend on the scale on which welfare is measured, and in a way that avoids the restrictive constraints on the shape of the SWF. (shrink)

From mitochondria to meerkats, the natural world is full of spectacular examples of social behaviour. In the early 1960s W. D. Hamilton changed the way we think about how such behaviour evolves. He introduced three key innovations - now known as Hamilton's rule, kin selection, and inclusive fitness - and his pioneering work kick-started a research program now known as social evolution theory. This is a book about the philosophical foundations and future prospects of that program. [Note: only the (...) class='Hi'>Introduction is available to download.]. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (...) (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

In the introduction I argue that the basic element (or primitive) for constructing the physical universe is "displacement from a prior level", and the basic structure is "a sequence of such displacements" (summarized as postulates 1 and 2). The displacements are then defined as one-dimensional objects with a direction (postulate 3). The relations between these displacements are stated in postulate 4. In section 2 we discuss basic consequences of the postulates, and in section 3 we use the postulates to (...) derive a (3+1)-dimensional structure, interpreted as ordinary space and time. We then derive further properties of space --- isotropy, homogeneity, and a rapid early expansion (i.e. inflation). Time, comporting with experience, is shown to be a one-dimensional stream --- with a direction. In section 4 we associate energy with the displacements, and find that the same factors that construct ordinary space (and make it isotropic and homogeneous) also smear the locations of entities/particles across that space --- thereby providing a mechanism/explanation for that iconic and enigmatic aspect of quantum mechanics. We also determine that there must be a continual, uniformly-distributed stream of (non-zero-point) energy coming into the system that constructs new space (i.e. dark energy). The streaming natures of both time and dark energy are shown to have the same basic cause: the processes that input dark energy into the system, and that construct time, are themselves independent of time --- and so they are continual processes. Further consequences follow from the model, including an explanation for why the presence of energy affects space and time, and why quantum vacuum energy is an exception to this rule (i.e. does not gravitate) --- thereby eliminating the cosmological constant problem. A key benefit of the model is that it liberates us from always having to think about the construction of the universe in terms of spatio-temporal relations and evolution (e.g. the big bang model), which is problematic because presumably (and as we will indeed see) space and time are products of the fundamental construction process, not things that govern it. (shrink)

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet his (...) preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical (...) and intuitionist logic can be characterised as a difference of the conditions under which discharge is allowed. Harmony, as ordinarily understood, has nothing to say about discharge. This raises the question whether the notion of harmony can be suitably extended. This requires there to be a suitable fourth way of manipulating formulas that discharge can stand in harmony to. The question is whether there is such a notion: what might it be that stands to discharge of formulas as introduction stands to elimination? One that immediately comes to mind is the making of assumptions. I leave it as an open question for further research whether the notion of harmony can be fruitfully extended in the way suggested here. In the second part, I discuss bilateralism, which proposes a wholesale revision of what it is that is assumed and manipulated by rules of inference in deductions: rules apply to speech acts – assertions and denials – rather than propositions. I point out two problems for bilateralism. First, bilaterlists cannot, contrary to what they claim to be able to do, draw a distinction between the truth and assertibility of a proposition. Secondly, it is not clear what it means to assume an expression such as '+ A' that is supposed to stand for an assertion. Worse than that, it is plausible that making an assumption is a particular speech act, as argued by Dummett (Frege: Philosophy of Language, p.309ff). Bilaterlists accept that speech acts cannot be embedded in other speech acts. But then it is meaningless to assume + A or − A. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

An overview (about 8,000 words) of act utilitarianism, covering the basic idea of the theory, historical examples, how it differs from rule utilitarianism and motive utilitarianism, supporting arguments, and standard objections. A closing section provides a brief introduction to indirect utilitarianism (i.e., a Hare- or Railton-style view distinguishing between a decision procedure and a criterion of rightness).

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time (...) evolution of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The probability bounds (...) imposed by the premises on the conclusion are derived on the basis of a few trivial principles such as "a part of the tank cannot contain more liquid than its capacity allows", or "if a part is empty, the other part contains all the liquid". This stems from the equivalence between the physical constraints imposed by the capacity of the tank and its subdivisions on the volumes of liquid, and the axioms and rules of probability. The device materializes de Finetti's coherence approach to probability. It also suggests a physical counterpart of Dutch book arguments to assess individuals' rationality in probability judgments in the sense that individuals whose degrees of belief in a conclusion are out of the bounds of coherence intervals would commit themselves to executing physically impossible tasks. (shrink)

Fictional names present unique challenges for semantic theories of proper names, challenges strong enough to warrant an account of names different from the standard treatment. The theory developed in this paper is motivated by a puzzle that depends on four assumptions: our intuitive assessment of the truth values of certain sentences, the most straightforward treatment of their syntactic structure, semantic compositionality, and metaphysical scruples strong enough to rule out fictional entities, at least. It is shown that these four assumptions, taken (...) together, are inconsistent with referentialism, the common view that names are uniformly associated with ordinary individuals as their semantic value. Instead, the view presented here interprets names as context-sensitive expressions, associated in a context of utterance with a particular act of introduction, or dubbing, which is then used to determine their semantic value. Some dubbings are referential, which associate names with ordinary individuals as their semantic values; others are fictional, which associate names, instead, with sets of properties. Since the semantic values of names can be of different sorts, the semantic rule interpreting predication must be complex as well. In the body of the paper, I show how this new treatment of names allows us to solve our original puzzle. I defend the complexity of the semantic predication rule, and address additional worries about ontological commitment. (shrink)

El 27 de septiembre de 1943, Hans-Georg Gadamer publicó un breve pero significativo ensayo en el periódico conservador Leipziger Neueste Nachrichten und Handels-Zeitung, titulado “Wissenschaft als Beruf. Über den Ruf und Beruf der Wissenschaft in unserer Zeit”. El artículo, que recuperaba en medio de la Segunda Guerra Mundial el problema del valor y posición de la ciencia y la filosofía, nunca fue reimpreso en su obra completa, ni en los diez tomos editados por la editorial Mohr Siebeck ni tampoco por (...) separado en libros o revistas. Debido a su relevancia filosófica, política e histórica, se ofrece aquí, en primer lugar, una introducción crítica al contexto y principales contenidos de este texto, especialmente por medio del análisis de su confrontación con la actualidad a través de referencias explícitas e implícitas a la conferencia Wissenschaft als Beruf de Max Weber de 1917. En segundo lugar, se ofrece aquí su primera traducción del alemán al castellano.// This article introduces the first Spanish translation of Hans-Georg Gadamer’s overlooked 1943 essay Wissenschaft als Beruf. Über den Ruf und Beruf der Wissenschaft in unserer Zeit. Engaging Max Weber’s seminal 1917 lecture Wissenschaft als Beruf, Gadamer criticizes the bureaucratization and instrumentalization of modern science, recovering the question of research’s value amidst World War II’s catastrophes and National Socialism’s totalitarian rule. Never reprinted in Gadamer’s complete works, the text articulates an early critique of technocratic rationalization, affirming science’s need to reclaim its originary mission. By analyzing Gadamer’s confrontation with the present through overt and covert references to Weber, the introduction situates the essay’s historical and intellectual backdrop, develops its core arguments and traces echoes in Gadamer’s later works addressing contemporary challenges. This first Spanish translation unveils a forgotten text where Gadamer confronts modern science’s distortion, calling for the recovery of its existential and cultural meaning. (shrink)

I will open the first part of this paper by trying to elucidate the frequentist foundations of RCTs. I will then present a number of methodological objections against the viability of these inferential principles in the conduct of actual clinical trials. In the following section, I will explore the main ethical issues in frequentist trials, namely those related to randomisation and the use of stopping rules. In the final section of the first part, I will analyse why RCTs were (...) accepted for regulatory purposes. I contend that their main virtue, from a regulatory viewpoint, is their impartiality, which is grounded in randomisation and fixed rules for the interpretation of the experiment. Thus the question will be whether Bayesian trials can match or exceed the achievements of frequentist RCTs in all these respects. In the second part of the paper, I will first present a quick glimpse of the introduction of Bayesianism in the field of medical experiments, followed by a summary presentation of the basic tenets of a Bayesian trial. The point here is to show that there is no such thing as “a” Bayesian trial. Bayesianism can ground many different approaches to medical experiments and we should assess their respective virtues separately. Thus I present two actual trials, planned with different goals in mind, and assess their respective epistemic, ethical and regulatory merits. In a tentative conclusion, I contend that, given the constraints imposed by our current regulatory framework, impartiality should preside over the design of clinical trials, even at the expense of many of their inferential and ethical virtues. (shrink)

The paper examines Kant’s self-criticism to the account of hypothetical imperatives given in the "Groundwork for the Metaphysics of Morals". Following his corrections in the introductions to the third "Critique", the paper traces the consequences of that change in his later writings, specifically with regard to the status of prudence. I argue that the revision of the account of hypothetical imperatives leads to differentiate, and ultimately separate, two functions in prudence: the setting of ends through maxims, and the pragmatic (...) class='Hi'>rules establishing means to reach those ends. Accordingly, I furthermore argue, there is ultimately no genuine structural distinction between the rules of prudence and skill. The only difference lies in the domain in which prudence unfolds, that is, the field of human relations, and in the relevant cognitions. (shrink)