This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in (...) this paper), and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

This paper is a contribution to the general study of consequence relations which contain (definable) connective of “disjunction”. Our work is centered around the “proof by cases property”, we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones.

This paper investigates some delicate tradeoffs between the generality of an algorithmic learning device and the quality of the programs it learns successfully. There are results to the effect that, thanks to small increases in generality of a learning device, the computational complexity of some successfully learned programs is provably unalterably suboptimal. There are also results in which the complexity of successfully learned programs is asymptotically optimal and the learning device is general, but, still thanks to the generality, some of (...) those optimal, learned programs are provably unalterably information deficient—in some cases, deficient as to safe, algorithmic extractability/provability of the fact that they are even approximately optimal. For these results, the safe, algorithmic methods of information extraction will be by proofs in arbitrary, true, computably axiomatizable extensions of Peano Arithmetic. (shrink)

Background: SNOMED CT is a large terminology system designed to represent all aspects of healthcare. Its current form and content result from decades of bottom-up evolution. Due to SNOMED CT’s formal descriptions, it can be considered an ontology. The Basic Formal Ontology (BFO) is a foundational ontology that proposes a small set of disjoint, hierarchically ordered classes, supported by relations and axioms. In contrast, as a typical top-down endeavor, BFO was designed as a foundational framework for domain ontologies in the (...) natural sciences and related disciplines. Whereas it is mostly assumed that domain ontologies should be created as extensions of foundational ontologies, a post-hoc harmonization of consolidated domain ontologies in use, such as SNOMED CT, is known to be challenging. Methods: We explored the feasibility of harmonizing SNOMED CT with BFO, with a focus on the SNOMED CT Clinical Finding hierarchy. With more than 100,000 classes, it accounts for about one third of SNOMED CT’s content. In particular, we represented typical SNOMED CT finding/disorder concepts using description logics under BFO. Three representational patterns were created and the logical entailments analyzed. Results: Under a first scrutiny, the clinical intuition that diseases, disorders, signs and symptoms form a homogeneous ontological upper-level class appeared incompatible with BFO’s upper-level distinction into continuants and occurrents. The Clinical finding class seemed to be an umbrella for all kinds of entities of clinical interest, such as material entities, processes, states, dispositions, and qualities. This suggests the conclusion that Clinical finding would not be a suitable upper-level class from an BFO perspective. On closer inspection of the taxonomic links within this hierarchy and the implicit meaning derived thereof, it became clear that Clinical finding classes do not characterize the entity (e.g. a fracture, allergy, tumor, pain, hemorrhage, seizure, fever) in a literal sense but rather the condition of a patient having that fracture, allergy, pain etc. This gives sense to the current characteristic of the Clinical Finding hierarchy, in which complex classes are modeled as subclasses of their constituents. Most of these taxonomic links are inferred, as the consequence of the ‘role group’ design pattern, which is ubiquitous in SNOMED CT and has often been subject of controversy regarding its semantics. Conclusion: Our analyses resulted in the proposal of (i) equating SNOMED CT’s ‘role group’ property with the reflexive and transitive BFO relation ‘has occurrent part’; and (ii) reinterpreting Clinical Findings as Clinical Occurrents, i.e. temporally extended entities in an organism, having one or more occurrents as temporal parts that occur in continuants. This re-interpretation was corroborated by a manual analysis of classes under Clinical Finding, as well as the identification of similar modeling patterns in other ontologies. As a result, SNOMED CT does not require any content redesign to establish compatibility with BFO, apart from this re-interpretation, and a suggested re-labeling. Regarding the feasibility of harmonizing terminologies with principled foundational ontologies post-hoc, our results provide support to the assumption that this does not necessarily require major redesign efforts, but rather a careful analysis of the implicit assumptions of terminology curators and users. (shrink)

This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of (...) symbolic logic, deductive reasoning, and quantifiers. Inductive reasoning and making conjectures are examined next, and once there are some statements to prove, techniques for proving conditional statements, disjunctions, biconditional statements, and quantified predicates are investigated. Terminology and proof techniques in set theory follow with discussions of the pick-a-point method and the algebra of sets. Cartesian products, equivalence relations, orders, and functions are all incorporated. Particular attention is given to injectivity, surjectivity, and cardinality. The text includes an introduction to topology and abstract algebra, with a comparison of topological properties to algebraic properties. This book can be used by itself for an introduction to proofs course or as a supplemental text for students in proof-based mathematics classes. The contents have been rigorously reviewed and tested by instructors and students in classroom settings. (shrink)

A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of generator programs for computable functions is studied. To motivate these studies partially, it is shown that, in some cases, interesting global properties for computable functions can be proved from suitable generator programs which cannot be proved from any ordinary programs for them. The power (for variants of various learning criteria from the (...) literature) of learning generator programs is compared with the power of learning ordinary programs. The learning power in these cases is also compared to that of learning limiting programs, i.e., programs allowed finitely many mind changes about their correct outputs. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called ' proof by verbosity (PVB)'. PVB is a favorite device among conspiracy theorists who utilize it to obfuscate the weakness of their case. By supporting their theories with so much random information (and misinformation), it gives the impression that their position is superficially well researched and supported by an avalanche of evidence. Sometimes PVB takes the form of a proof by intimidation, especially when an argument (...) is made using sophisticated insider jargon, or when a complex and long‐winded argument is made by an eminent scholar in the field. In the spirit of overwhelming the opposition, a PVB can be committed by employing a litany of numbers and statistics. Articulating your arguments in a clear and concise fashion and substantiating the position with well‐founded and mutually intelligible premises is the key to avoiding a proof by verbosity. (shrink)

In the recent literature on proof theory, there seems to be a new raising topic which consists in identifying those properties that characterise a good sequent calculus. The property that has received by far the most attention is the analyticity property. In this paper we propose a new argument in support of the analyticity property. We will do it by means of the example of the logic of proofs, a logic recently introduced by Artemov [1]. Indeed a detailed (...) proof analysis of this logic sheds new light on the logic itself and perfectly exemplifies our argument in favour of the analiticity. (shrink)

The proofs of universally quantified statements, in mathematics, are given as “schemata” or as “prototypes” which may be applied to each specific instance of the quantified variable. Type Theory allows to turn into a rigorous notion this informal intuition described by many, including Herbrand. In this constructive approach where propositions are types, proofs are viewed as terms of λ-calculus and act as “proof-schemata”, as for universally quantified types. We examine here the critical case of Impredicative Type Theory, i. e. (...) Girard's system F, where type-quantification ranges over all types. Coherence and decidability properties are proved for prototype proofs in this impredicative context. (shrink)

We present a proof for a conjecture previously formulated by Dzhafarov et al.. The conjecture specifies a measure for the degree of contextuality and a criterion for contextuality in a broad class of quantum systems. This class includes Leggett–Garg, EPR/Bell, and Klyachko–Can–Binicioglu–Shumovsky type systems as special cases. In a system of this class certain physical properties \ are measured in pairs \ \); every property enters in precisely two such pairs; and each measurement outcome is a binary (...) random variable. Denoting the measurement outcomes for a property \ in the two pairs it enters by \ and \, the pair of measurement outcomes for \ \) is \ \). Contextuality is defined as follows: one computes the minimal possible value \ for the sum of \ ) that is allowed by the individual distributions of \ and \; one computes the minimal possible value \ for the sum of \ across all possible couplings of the entire set of random variables \ in the system; and the system is considered contextual if \ ). This definition has its justification in the general approach dubbed Contextuality-by-Default, and it allows for measurement errors and signaling among the measured properties. The conjecture proved in this paper specifies the value of \ in terms of the distributions of the measurement outcomes \ \). (shrink)

The axioms of projective and affine plane geometry are turned into rules of proof by which formal derivations are constructed. The rules act only on atomic formulas. It is shown that proof search for the derivability of atomic cases from atomic assumptions by these rules terminates . This decision method is based on the central result of the combinatorial analysis of derivations by the geometric rules: The geometric objects that occur in derivations by the rules can be (...) restricted to those known from the assumptions and cases. This “subterm property” is proved by permuting suitably the order of application of the geometric rules. As an example of the decision method, it is shown that there cannot exist a derivation of Euclid’s fifth postulate if the rule that corresponds to the uniqueness of the parallel line construction is taken away from the system of plane affine geometry. (shrink)

We give a uniform proof of the theorems of Yao and Beigel–Tarui representing ACC predicates as constant depth circuits with MODm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MOD}_{m}$$\end{document} gates and a symmetric gate. The proof is based on a relativized, generalized form of Toda’s theorem expressed in terms of closure properties of formulas under bounded universal, existential and modular counting quantifiers. This allows the main proofs to be expressed in terms of formula classes instead (...) of Boolean circuits. The uniform version of the Beigel–Tarui theorem is then obtained automatically via the Furst–Saxe–Sipser and Paris–Wilkie translations. As a special case, we obtain a uniform version of Razborov and Smolensky’s representation of AC0[p]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {AC}^{0}[p]$$\end{document} circuits. The paper is partly expository, but is also motivated by the desire to recast Toda’s theorem, the Beigel–Tarui theorem, and their proofs into the language of bounded arithmetic. However, no knowledge of bounded arithmetic is needed. (shrink)

Mathematical investigation, when done well, can confer understanding. This bare observation shouldn’t be controversial; where obstacles appear is rather in the effort to engage this observation with epistemology. The complexity of the issue of course precludes addressing it tout court in one paper, and I’ll just be laying some early foundations here. To this end I’ll narrow the field in two ways. First, I’ll address a specific account of explanation and understanding that applies naturally to mathematical reasoning: the view proposed (...) by Philip Kitcher and Michael Friedman of explanation or understanding as involving the unification of theories that had antecedently appeared heterogeneous. For the second narrowing, I’ll take up one specific feature (among many) of theories and their basic concepts that is sometimes taken to make the theories and concepts preferred: in some fields, for some problems, what is counted as understanding a problem may involve finding a way to represent the problem so that it (or some aspect of it) can be visualized. The final section develops a case study which exemplifies the way that this consideration – the potential for visualizability – can rationally inform decisions as to what the proper framework and axioms should be. The discussion of unification (in sections 3 and 4) leads to a mathematical analogue of Goodman’s problem of identifying a principled basis for distinguishing grue and green. Just as there is a philosophical issue about how we arrive at the predicates we should use when making empirical predictions, so too there is an issue about what properties best support many kinds of mathematical reasoning that are especially valuable to us. The issue becomes pressing via an examination of some physical and mathematical cases that make it seem unlikely that treatments of unification can be as straightforward as the philosophical literature has hoped. Though unification accounts have a grain of truth (since a phenomenon (or cluster of phenomena) called “unification” is in fact important in many cases) we are far from an analysis of what “unification” is.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Proof and Persuasion in the Philosophical Debate about AbortionChris KaposyPhilosophers involved in debating the abortion issue often assume that the arguments they provide can offer decisive resolution.1 Arguments on the prolife side of the debate, for example, usually imply that it is rationally mandatory to view the fetus as having a right to life, or full moral standing.2 Such an account assumes that philosophical argument can compel the (...) reader to see the fetus in a certain way and that dissent risks irrationality.I wish to question this image of the use of philosophical argument in the abortion debate. I focus on the question of fetal moral standing, which is one of the subproblems in the debate. I am especially concerned with prolife arguments for fetal moral standing, since the prolife side must argue for a position that is compulsory. The prochoice side, in contrast, typically holds that people are entitled to believe what they want about the fetus’s moral standing.My position is that philosophical arguments should be understood as tools for persuasion in the abortion debate rather than as a method for discovering decisive proofs about the morality of abortion. I argue that because any one position on the moral standing of fetuses cannot be established decisively, law and policy should favour the prochoice position. In support of these conclusions, I present two common argumentative strategies used to suggest that the prolife view of the fetus is rationally [End Page 139] mandatory, and I illustrate why arguments involving these strategies do not compel us to view the fetus as having full moral standing.Framing the IssueIn order to show that abortion is wrong (in cases in which it is considered wrong), one must first establish that fetuses have full moral standing.3 It is a serious moral wrong to take the life of someone with full moral standing—this is part of what it means to have this status. The possessor of full moral standing is entitled to have his or her life protected. If abortion is wrong, then the fetus must have full moral standing, because without such standing, killing a fetus could be justified by the pregnant woman’s strong interest in ending an unwanted pregnancy. Those arguing against the moral permissibility of abortion must show that it is mandatory (in some way) to view the fetus as having full moral standing. There are a range of positions one could take with regard to the fetus’s status, from viewing the fetus as an incipient organism with no moral standing to seeing the fetus as gaining moral standing as the pregnancy progresses. But if it is mandatory to view the fetus as having full moral standing, all other positions must then be mistaken, incorrect, or somehow unjustified.This paper analyzes why philosophers opposed to abortion think it is mandatory to attribute full moral standing to fetuses. There are two popular argumentative strategies offering different accounts of the source of this obligation. The first strategy suggests that fetal full moral standing derives from morally relevant facts about the fetus. According to this line of argument, we are rationally obligated to view the fetus as having full moral standing because we cannot deny (without courting irrationality) that there are properties, characteristics, or attributes of the fetus that entitle it to this status.The second strategy is to claim that the fetus has full moral standing because this position is most consistent with our intuitions in cases unrelated to abortion. Philosophers taking this approach are fond of analogies comparing fetuses to comatose adults or to people at the end of life, for example. This strategy of appealing to your interlocutor’s sense of consistency I call the “shared-value” strategy.The two strategies map very well onto the distinction some have made between argumentum ad rem and argumentum ad hominem. The philosopher of rhetoric Henry Johnstone Jr. draws this distinction in very clear terms, and others in the history of philosophy make note of the difference [End Page 140] between these two types of arguments as well.4 The appeal to the facts (or argumentum ad rem) seeks to establish the truth of its... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Proof and Persuasion in the Philosophical Debate about AbortionChris KaposyPhilosophers involved in debating the abortion issue often assume that the arguments they provide can offer decisive resolution.1 Arguments on the prolife side of the debate, for example, usually imply that it is rationally mandatory to view the fetus as having a right to life, or full moral standing.2 Such an account assumes that philosophical argument can compel the (...) reader to see the fetus in a certain way and that dissent risks irrationality.I wish to question this image of the use of philosophical argument in the abortion debate. I focus on the question of fetal moral standing, which is one of the subproblems in the debate. I am especially concerned with prolife arguments for fetal moral standing, since the prolife side must argue for a position that is compulsory. The prochoice side, in contrast, typically holds that people are entitled to believe what they want about the fetus’s moral standing.My position is that philosophical arguments should be understood as tools for persuasion in the abortion debate rather than as a method for discovering decisive proofs about the morality of abortion. I argue that because any one position on the moral standing of fetuses cannot be established decisively, law and policy should favour the prochoice position. In support of these conclusions, I present two common argumentative strategies used to suggest that the prolife view of the fetus is rationally [End Page 139] mandatory, and I illustrate why arguments involving these strategies do not compel us to view the fetus as having full moral standing.Framing the IssueIn order to show that abortion is wrong (in cases in which it is considered wrong), one must first establish that fetuses have full moral standing.3 It is a serious moral wrong to take the life of someone with full moral standing—this is part of what it means to have this status. The possessor of full moral standing is entitled to have his or her life protected. If abortion is wrong, then the fetus must have full moral standing, because without such standing, killing a fetus could be justified by the pregnant woman’s strong interest in ending an unwanted pregnancy. Those arguing against the moral permissibility of abortion must show that it is mandatory (in some way) to view the fetus as having full moral standing. There are a range of positions one could take with regard to the fetus’s status, from viewing the fetus as an incipient organism with no moral standing to seeing the fetus as gaining moral standing as the pregnancy progresses. But if it is mandatory to view the fetus as having full moral standing, all other positions must then be mistaken, incorrect, or somehow unjustified.This paper analyzes why philosophers opposed to abortion think it is mandatory to attribute full moral standing to fetuses. There are two popular argumentative strategies offering different accounts of the source of this obligation. The first strategy suggests that fetal full moral standing derives from morally relevant facts about the fetus. According to this line of argument, we are rationally obligated to view the fetus as having full moral standing because we cannot deny (without courting irrationality) that there are properties, characteristics, or attributes of the fetus that entitle it to this status.The second strategy is to claim that the fetus has full moral standing because this position is most consistent with our intuitions in cases unrelated to abortion. Philosophers taking this approach are fond of analogies comparing fetuses to comatose adults or to people at the end of life, for example. This strategy of appealing to your interlocutor’s sense of consistency I call the “shared-value” strategy.The two strategies map very well onto the distinction some have made between argumentum ad rem and argumentum ad hominem. The philosopher of rhetoric Henry Johnstone Jr. draws this distinction in very clear terms, and others in the history of philosophy make note of the difference [End Page 140] between these two types of arguments as well.4 The appeal to the facts (or argumentum ad rem) seeks to establish the truth of its... (shrink)

In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. (...) We then show that for most of the systems under consideration the labelling mechanism can be avoided by choosing an appropriate way of structuring theories. One peculiar feature of our proof systems is the use of restart rules which allow to re-ask the original goal of a deduction. In case of K, K4, S4 and G, we can eliminate such a rule, without loosing completeness. In all the other cases, by dropping such a rule, we get an intuitionistic variant of each system. The present results are part of a larger project of a goal directed proof theory for non-classical logics; the purpose of this project is to show that most implicational logics stem from slight variations of a unique deduction method, and from different ways of structuring theories. Moreover, the proof systems we present follow the logic programming style of deduction and seem promising for proof search [Gabbay and Reyle 84, Miller et al. 91]. (shrink)

The initial motivating question for this thesis is what the standard of rigour in modern mathematics amounts to: what makes a proof rigorous, or fail to be rigorous? How is this judged? A new account of rigour is put forward, aiming to go some way to answering these questions. Some benefits of the norm of rigour on this account are discussed. The account is contrasted with other remarks that have been made about mathematical proof and its workings, and (...) is tested and illustrated by considering a case study discussed in the literature. On the view put forward here one can obtain a manner of informal, rigorous mathematics founded on any of a variety of proof systems. The latter part of the thesis is concerned with the question of how we should decide which of these competing proof systems we should base our mathematics on: i.e., the question of which proof system we should take as a foundation for our mathematics. A novel answer to this question is proposed, in which the key property we should require of a proof system is that for as many different kinds of structures as possible, when the proof system allows a generalization about that kind of structure to be proved, the generalization actually holds of all real examples of that kind of structure which exist. This is the requirement of soundness of the proof system. It is argued that the best way to establish the soundness of a proof system may be by giving an interpretation of its axioms on which they are established as true. As preparation for this discussion, the thesis first investigates the logical and conceptual basis of various arithmetic concepts, with the results obtained used in the final discussion of soundness. (shrink)

Elekes proved that any infinite-fold cover of a σ-finite measure space by a sequence of measurable sets has a subsequence with the same property such that the set of indices of this subsequence has density zero. Applying this theorem he gave a new proof for the random-indestructibility of the density zero ideal. He asked about other variants of this theorem concerning I-almost everywhere infinite-fold covers of Polish spaces where I is a σ-ideal on the space and the set of (...) indices of the required subsequence should be in a fixed ideal ${{\mathcal{J}}}$ on ω. We introduce the notion of the ${{\mathcal{J}}}$ -covering property of a pair ${({\mathcal{A}}, I)}$ where ${{\mathcal{A}}}$ is a σ-algebra on a set X and ${{I \subseteq \mathcal{P}(X)}}$ is an ideal. We present some counterexamples, discuss the category case and the Fubini product of the null ideal ${\mathcal{N}}$ and the meager ideal ${\mathcal{M}}$ . We investigate connections between this property and forcing-indestructibility of ideals. We show that the family of all Borel ideals ${{\mathcal{J}}}$ on ω such that ${\mathcal{M}}$ has the ${{\mathcal{J}}}$ -covering property consists exactly of non weak Q-ideals. We also study the existence of smallest elements, with respect to Katětov–Blass order, in the family of those ideals ${\mathcal{J}}$ on ω such that ${\mathcal{N}}$ or ${\mathcal{M}}$ has the ${\mathcal{J}}$ -covering property. Furthermore, we prove a general result about the cases when the covering property “strongly” fails. (shrink)

As I have read the scholium, it divides into three main parts, not including the introductory paragraph. The first consists of paragraphs one to four in which Newton sets out his characterizations of absolute and relative time, space, place, and motion. Although some justificatory material is included here, notably in paragraph three, the second part is reserved for the business of justifying the characterizations he has presented. The main object is to adduce grounds for believing that the absolute quantities are (...) indeed distinct from their relative measures and are not reducible to them. Paragraph five takes this up for the case of time. Paragraphs eight to twelve endeavor to do this for rest and motion by appealing to their properties, causes and effects. In arguing that absolute motion is not reducible to any particular form of the relative motion of bodies with respect to one another, and thus, as is directly argued in the third argument, must be understood in terms of motionless places, Newton thereby constructs an indirect case that absolute space is indeed something distinct from any relative space. Paragraph thirteen functions as conclusion to this line of inquiry and comments on how, in the light of this, the names of these quantities are to be interpreted in the scriptures. The third and final part consists of paragraph fourteen alone, and addresses the question: given that true motion is motion with respect to absolute space, but the parts of the latter are not perceivable, is it possible for us to know the true motions of individual bodies? Newton illustrates how this may be done from the evidence provided by their apparent motions and the forces which are the causes and effects of true motion. This forms a bridge to the body of the work insofar as the purpose of the Principia, according to Newton, is to show how this, and the converse problem, of inferring true and apparent motions from the forces, can be dealt with.Part II of this paper will appear in the next issue of Studies in History and Philosophy of Science. (shrink)

When is an ideal of a ring radical or prime? By examining its generators, one may in many cases definably and uniformly test the ideal’s properties. We seek to establish such definable formulas in rings of p-adic power series, such as $\mathbb Q_{p}\langle X\rangle $, $\mathbb Z_{p}\langle X\rangle $, and related rings of power series over more general valuation rings and their fraction fields. We obtain a definable, uniform test for radicality, and, in the one-dimensional case, for primality. (...) This builds upon the techniques stemming from the proof of the quantifier elimination results for the analytic theory of the p-adic integers by Denef and van den Dries, and the linear algebra methods of Hermann and Seidenberg.prepared by Madeline G. Barnicle.E-mail: [email protected]: https://escholarship.org/uc/item/6t02q9s4. (shrink)

The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical (...) class='Hi'>properties by constructing models. By using these relationships, he showed Kripke completeness and subformula property. However, his method is difficult to apply to inference rules for the sequent calculi for K4.3, KD4.3, and S4.3. Lookinglosely at Takano's proof, we nd that his method can be modied to construct nite models based on the sequent calculus for K4.3, if the calculus has and all the applications of the inference rules are acceptable. Similarly, we can apply our results to the calculi for KD4.3 and S4.3. This leads not only to Kripke completeness and subformula property, but also to finite model property of these logics simultaneously. (shrink)

In this paper, we offer an argument in favor of the modular character of mind, based on a more detailed proof of the modular character of the linguistic capacity: in comparing the properties of different components of grammar in a specific area we will draw general consequences about the properties of the cognitive system. More specifically, we analyze and compare the properties, in logical form (LF)and in phonology, of “empty eIements” - eIements that are “visible” or (...) “full” at some level of representation, but not at another level.Our analysis shows that empty eIements are governed at LF by principIes on variables. binding conditions, and thematic principles, that relate eIements at a distance. In phonology, on the other hand, empty elements, i.e., empty segments and empty properties, can be obtaines by deletion and are governed by very different principles (underspecification, principles relating to recoverability of deletion effects), andthese principles relates eIements under strict adjacency. In addition, when a principle seems to be operating in a similar fashion in both components, as in the case of the Projection Principle, it involves lexical properties, which are properties affecting all components. We conclude, hence, that grammar is a modular system, with different components following different principles but related of course, among other things, by the properties of lexical structure.It follows from this analysis that a theory that views language as part of a homogeneous cognitive capacity cannot be mantained: cognition cannot be nonmodular in a strict sense, since a subpart of it, the linguistic capacity is modular itself. We conclude also that the linguistic capacity being modular, we ean only expect that, when studied in more detail, other cognitive capacities will be shown to differ intheir structure still more from the language system. (shrink)

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...) We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

The Löwenheim-Skolem theorem was published in Skolem's long paper of 1920, with the first section dedicated to the theorem. The second section of the paper contains a proof-theoretical analysis of derivations in lattice theory. The main result, otherwise believed to have been established in the late 1980s, was a polynomial-time decision algorithm for these derivations. Skolem did not develop any notation for the representation of derivations, which makes the proofs of his results hard to follow. Such a formal notation (...) is given here by which these proofs become transparent. A third section of Skolem's paper gives an analysis for derivations in plane projective geometry. To clear a gap in Skolem's result, a new conservativity property is shown for projective geometry, to the effect that a proper use of the axiom that gives the uniqueness of connecting lines and intersection points requires a conclusion with proper cases (logically, a disjunction in a positive part) to be proved. The forgotten parts of Skolem's first paper on the Löwenheim-Skolem theorem are the perhaps earliest combinatorial analyses of formal mathematical proofs, and at least the earliest analyses with profound results. (shrink)

We use finite model theory to prove:Let m ≥ 2. Then: If there exists k such that NP ⊆ σmTIME ∩ ΠmTIME, then for every r there exists kr such that PNP[nr] ⊆ σmTIME ∩ ΠmTIME; If there exists a superpolynomial time-constructible function f such that NTIME ⊆ Σpm ∪ Πpm, then additionally PNP[nr] ⊈ Σpm ∪ Πpm.This strengthens a result by Mocas [M96] that for any r, PNP[nr] ⊈ NEXP.In addition, we use FM-truth definitions to give a simple sufficient (...) condition for the σ11 arity hierarchy to be strict over finite models. (shrink)

An old conjecture of modal logics states that every splitting of the major systems K4, S4, G and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works by establishing a rather strong property of these splitting (...) frames namely that they preserve the finite model property in the following sense. Whenever an extension Λ has fmp so does the splitting Λ/f of Λ by f. Although we will also see that this method has its limitations because there are frames lacking this property, it has several desirable side effects. For example, properties such as compactness, decidability and others can be shown to be preserved in a similar way and effective bounds for the size of models can be given. Moreover, all methods and proofs are constructive. (shrink)

The principle of publicity is one of the fundamental principles of property law: property rights should be made public in order to inform third parties about the existence of the property right and its holder and thereby to foster legal certainty and efficiency. The publicity of ownership in immovable property is achieved through registration of ownership in the public register. However, the problem arises because of the unavoidable discrepancies between the data contained in the public register and the factual situation. (...) Different states choose different models to solve the practical problems arising out of the aforementioned discrepancies. On the one hand, Lithuania belongs to the group of states that implement the so-called declaratory system of registration, i.e. the transfer of ownership is based on an agreement or other legal grounds and the registration is not mandatory but provides the transfer with a third-party effect. This can be seen as a proof of priority of a factual situation over the registered data. On the other hand, Lithuanian laws provide the data of the register with some positive reliance, i.e. third parties are not only protected from claims arising out of unregistered rights (negative reliance), but they can also rely on the transcripts in the register. This is especially true in the case of bona fide transferee of immovable property which with some minor exceptions acquires ownership even from a non-owner, if the latter honestly relied on the data of the register. This regulatory framework is further adopted and transformed by the case law of the Lithuanian courts. The analysis of the latter shows that courts are inclined to rely more on the factual situation and easily deny the meaning of the registered rights. In various ways, the concept of the bona fide transferee is restricted and there are instances of positive duties ascribed to them. Besides, the existing case law demonstrates equivocal attitude towards the legal effects of registered data. Such tendencies of case law may hinder the rule of positive reliance and cause greater legal uncertainty. (shrink)

A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of (...) infinite descent. The infinite descent is linked to induction starting from n = 3 by modus tollens. An inductive series of modus tollens is constructed. The proof of the series by induction is equivalent to Fermat’s last theorem. As far as Fermat had been proved the theorem for n = 4, one can suggest that the proof for n ≥ 4 was accessible to him. An idea for an elementary arithmetical proof of Fermat’s last theorem (FLT) by induction is suggested. It would be accessible to Fermat unlike Wiles’s proof (1995). (shrink)

Most metaphysicians deny that dispositions are among the fundamental constituents of the world. The solubility of salt, for example, is regarded as derivative from more basic features of reality, such as the molecular structure of salt and the laws of nature. This is an initially plausible view: a disposition seems to be essentially a characterization of what its bearer can do, which seems to be wholly dependent on what that bearer is like. ;Nonetheless, I think that the most attractive view (...) of dispositions is that they are fundamental constituents of reality---in fact, almost all real properties are irreducibly dispositional. Following D. M. Armstrong, I call this view dispositionalism. In my dissertation, I address several major difficulties for dispositionalism. For instance, it is often argued that dispositionalism makes causal relations necessary, and is thus committed to an unacceptable theory of causation. In response to this worry, I defend the thesis that causal relations are necessary. A second objection is based on C. B. Martin's "finkish" cases. It is widely accepted that some accounts of dispositions are able to escape this objection by adopting David Lewis's response to it. Contra Lewis, I argue that dispositionalism can follow in their footsteps. Finally, I consider the objection that dispositionalism, by implying that it is dispositions all the way down, leads to a vicious regress. I think that this is the most serious problem for dispositionalism, and although I do not fully lay it to rest, I make some headway. ;I also survey a wide range of competing theories of dispositions. I argue that the difficulties they face are both far greater than has been recognized, and more serious than the difficulties that beset dispositionalism. The result is not a conclusive proof of dispositionalism, but a demonstration that this underdog theory is preferable to its more popular competitors. (shrink)

Abstract The first fractal constructions appeared in mathematics in the second half of the 19th century. Their history is divided into two periods. The first period lasted 100 years and is a good example of the method of proofs and refutations discovered by Lakatos. The modern history of these objects started 20 years ago, when Mandelbrot decided to create fractal geometry, a general theory concentrated on specific properties of fractals. His approach has been surprisingly effective. The aim of this (...) paper is to examine the reasons for Mandelbrot's success and for the present popularity of fractals. They are now known not only in mathematics but also in many fields of natural, social and applied sciences, and even in the arts. (shrink)

In the course of his painstaking study of ancient verse, Ferdinand de Saussure came up with an intriguing theory about the phonetics of the poetry he scrutinised. He postulated that the “jeux phoniques” he detected in the texts he analysed was proof that their authors were attempting to “parasite” the surface level meaning of their verse with a “hypotexte.” This hypotexte consisted of “anagrams” of “mots thèmes” whose phonetic properties were “isosyllabically diffracted” throughout the rest of the host (...) text. Today it is generally accepted that Saussure was wrong about this. Few however maintain that what he discerned in the phonetic depths of the verse he auscultated was no more than the figment of a fertile imagination. But if this be so, what exactly had he detected? This paper maintains that what Saussure stumbled upon was the trace of a contribution made to ancient verse by melodically and metrically organised sounds. This was inevitable. Virtually all the texts he probed were “carmina sacra” that were composed to be sung and accompanied by music. This musical accompaniment had a decisive impact on the phonetics of the “lexemic” words in the Poetry that has survived. This is so because sung verse cannot “euphoniously” accommodate a musical accompaniment unless its phonetics constituents are selected, concatenated and intoned in such a way as to follow the melodic contours and rhythm patterns that modulate their articulation. In addition, the point of making verse consist both of melodically organised arrangements of sound and of organisations of sound in which one can recognise ordinary words was not simply ornamental. The real point was to bi-nature what one was hearing. In other words, the goal was to “over-signify” the usual meanings of the “logocentric” words in the verse with a separate but complementary meaning and narrative encoded in melodised tones and metered rhythms. Why qualify the accompanying music as “acousmatic voices”? Because the music in question was added to song to give a voice to whichever tutelary divinity the song was performed to honour. That’s what makes “acousmatic voices” an especially apt epithet for characterising the melodically and rhythmically structured bodies of sound Saussure so presciently discerned in the phonetic depths of the poésie phonisante he probed. The point of their being in poetry was to give a voice to the agencies to whom the object or occasion of verse is beholden for its Being-in-the-world. (shrink)

This essay discusses the instructional value of mathematical proofs using different interpretations of the analysis cum synthesis method in Apollonius’ Conics as a case study. My argument is informed by Descartes’ complaint about ancient geometers and William Thurston’s discussion on how mathematical understanding is communicated. Three historical frameworks of the analysis/synthesis distinction are used to understand the instructive function of the analysis cum synthesis method: the directional interpretation, the structuralist interpretation, and the phenomenological interpretation. I apply these interpretations to the (...) analysis cum synthesis method in order reveal how the same underlying mathematical activity occurs at different levels of scale: at the level of an individual proof, at the level of a collection of proofs, and at the level of a single line within a proof. On the basis of this investigation, I argue that the instructive value of mathematical proof lies in engendering in the reader the same mathematical activity experienced by the author themselves. (shrink)

In recent years, new forms of transnational regulation have emerged, filling the void created by the failure of governments and international institutions to effectively regulate transnational corporations. Among the variety of initiatives addressing social and environmental problems, a growing number of certification systems have appeared in various sectors, particularly agrifood. Most initiatives rely on independent third-party certification to verify compliance with a standard, as it is seen as the most credible route for certification. The effects of third-party audits, however, still (...) need to be empirically investigated. This article provides a critical assessment of the notion of ‘evidence’ which is at the heart of auditing practices. It focuses on the case of the Roundtable on Sustainable Palm Oil (RSPO) and fieldwork carried out in Indonesia, the world’s largest producer of palm oil. In this country, some non-governmental organizations decided to participate in the RSPO in order to use this platform to tackle the issue of land conflicts. They managed to include important clauses regarding indigenous and land rights in the RSPO standard. In practice, however, auditors rarely recognize as valid evidence the forms of proof put forward by local communities. As a result, the whole process risks compounding local power imbalances. (shrink)

It is argued that the truth status of emergent properties of complex adaptive systems models should be based on an epistemology of proof by constructive verification and therefore on the ontological axioms of a non-realist logical system such as constructivism or intuitionism. ‘Emergent’ properties of complex adaptive systems models create particular epistemological and ontological challenges. These challenges bear directly on current debates in the philosophy of mathematics and in theoretical computer science. CAS research, with its emphasis on (...) computer simulation, is heavily reliant on models which explore the entailments of Formal Axiomatic Systems. The incompleteness results of G¨odel, the incomputability results of Turing, and the Algorithmic Information Theory results of Chaitin, undermine a realist truth model of emergent properties. These same findings support the hegemony of epistemology over ontology and point to alternative truth models such as intuitionism, constructivism and quasi-empiricism. (shrink)

This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core mathematical and conceptual traits are presented. After that, a comparison between the normalisation thesis and the more well-known Church-Turing thesis on computability is carried out in (...) three main parts: the first dedicated to highlighting some of the analogies between them; the second, their most remarkable differences; and the third, to the possible relations of dependence between the two. Based on these considerations, some concluding remarks concerning the potential of the normalisation thesis and similar approaches to the question of identity of proofs are made in the last section. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the (...) case for “n = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...) if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part (...) on Bratman's theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency. (shrink)

ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We (...) to Reject, While Saving Truth from Paradox?’. (shrink)

From a pre-publication review by the late Austrian economist, Don Lavoie, of George Mason University: -/- "The book's radical re-interpretation of property and contract is, I think, among the most powerful critiques of mainstream economics ever developed. It undermines the neoclassical way of thinking about property by articulating a theory of inalienable rights, and constructs out of this perspective a "labor theory of property" which is as different from Marx's labor theory of value as it is from neoclassicism. It traces (...) roots of such ideas in some fascinating and largely forgotten strands of the history of economics. It draws attention to the question of "responsibility" which neoclassicism has utterly lost sight of. It is startlingly fresh in its overall approach, and unusually well written in its presentation. ... It constitutes a better case for its economic democracy viewpoint than anything else in the literature." . (shrink)

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We (...) shall show also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

The dominant approach to environmental policy endorsed by conservative and libertarian policy thinkers, so-called “free market environmentalism”, is grounded in the recognition and protection of property rights in environmental resources. Despite this normative commitment to property rights, most self-described FME advocates adopt a utilitarian, welfare-maximization approach to climate change policy, arguing that the costs of mitigation measures could outweigh the costs of climate change itself. Yet even if anthropogenic climate change is decidedly less than catastrophic, human-induced climate change is likely (...) to contribute to environmental changes that violate traditional conceptions of property rights. Viewed globally, the actions of some countries—primarily industrialized nations—are likely to increase environmental harms suffered by other countries—less developed nations that have not made any significant contribution to climate change. It may well be that aggregate human welfare would be maximized in a warmer, wealthier world, or that the gains from climate change will offset environmental losses. Yet such claims, even if demonstrated, would not address the normative concern that the consequences of anthropogenic global warming would infringe upon the rights of people in less-developed nations. As a consequence, this paper calls for a rethinking of FME approaches to climate change policy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Does Judaism Condone Violence? Holiness and Ethics in the Jewish Tradition by Alan L. MittlemanMatthew LeveringDoes Judaism Condone Violence? Holiness and Ethics in the Jewish Tradition by Alan L. Mittleman (Princeton, NJ: Princeton University Press, 2018), v + 227 pp.Alan Mittleman has written a profoundly thought-provoking book. A main question of the book is whether a higher (revealed) law may in some cases require harm to be (...) done to the neighbor—harm that otherwise would be unjust. Mittleman offers some fascinating examples of cases in which Jews have appealed to God's Law in order to justify oppression of Gentiles. He cites a contemporary halakhic text, Torat ha-Melekh (The King's Torah), as particularly egregious. While Torat ha-Melekh was widely condemned by rabbis and the general public in Israel, it had an audience among the ultra-Orthodox. According to the Torat ha-Melekh, Gentiles' souls are not intrinsically holy in the way that Jews' souls are. This means that killing Gentile children in wartime may be acceptable due to the threat that otherwise these children may grow up to kill Jews. The Torat ha-Melekh observes that many Gentiles do not practice and obey the seven Noachide commandments. Since this is so, the Gentiles who do not obey the Noachide commandments live "in an inhuman state, where the brutish nature of their souls has free rein and their lives have lost value" (186).Another example given by Mittleman is the status of the Holy Land and the Holy People. Insofar as the holiness of the land and people is thought to be intrinsic—an inseparable property—problems can arise. According to a midrash in Bereshit Rabbah, the land is so intrinsically holy that only the dead who are buried in the land—or whose dead bodies somehow travel to the land—will rise from the dead and enjoy everlasting resurrected life. Likewise, the land's air is presented as uniquely making its inhabitants wise, and the divine presence or shekinah comes only in the land. For the medieval Jewish philosopher Yehuda Halevi, in his Kuzari: The Book of Refutation and Proof on Behalf of the Most Despised Religion (ca. 1140), the land of Israel is the most temperate climate and the most conducive to producing the ideal human beings. In addition, Halevi thinks that only certain descendants of Adam are "true Adamites" (66). A true Adamite is a son of God, just as Adam was. Specifically, only Seth and some of his descendants are fully human in accord with the Adamic model. It is only in the family of Jacob that "God's influence [finally] becomes the property of an entire people" (67). The true Adamites are Adam's (and Jacob's) seed; other humans are comparatively speaking mere husks. Although people can convert to Judaism, therefore, converts cannot be equal to those born of the Jewish nation. This does not mean that all who descend from Jacob are holy, since [End Page 745] it is possible for a Jew to distort his or her purity of soul. Nevertheless, for Halevi the Jewish people are a holy seed that is intrinsically superior to all other humans, so that it is possible to say that "Israel is an angelomorphic, even theomorphic race" (69).Moses Maimonides responded to Halevi, rejecting his viewpoint completely—on the grounds that holiness is not an intrinsic or biological (let alone racial) property. Yet, Halevi's viewpoint influenced Jewish Kabbalah in a major way. For the Kabbalist text the Zohar, the people of Israel derive from the emanations of the divine, whereas all other nations derive from the impure powers. The Zohar holds, "The other nations count for nothing in God's sight. They are the products of Eve's illicit union with the serpent," rather than coming forth from the theomorphic being who was Adam (70). Similarly, Moses de Leon—thought to be an author of the Zohar—argues that Gentiles ontologically possess impure souls that will carry them to spiritual damnation and will ensure that they have no participation in the resurrection of the dead. Another Kabbalist, Joseph of Hamadan, makes the same point that Gentiles... (shrink)

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more (...) general version of the fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

How is the burden of proof to be distributed among individuals who are involved in resolving a particular issue? Under what conditions should the burden of proof be distributed unevenly? We distinguish attitudinal from dialectical burdens and argue that these questions should be answered differently, depending on which is in play. One has an attitudinal burden with respect to some proposition when one is required to possess sufficient evidence for it. One has a dialectical burden with respect to (...) some proposition when one is required to provide supporting arguments for it as part of a deliberative process. We show that the attitudinal burden with respect to certain propositions is unevenly distributed in some deliberative contexts, but in all of these contexts, establishing the degree of support for the proposition is merely a means to some other deliberative end, such as action guidance, or persuasion. By contrast, uneven distributions of the dialectical burden regularly further the aims of deliberation, even in contexts where the quest for truth is the sole deliberative aim, rather than merely a means to some different deliberative end. We argue that our distinction between these two burdens resolves puzzles about unevenness that have been raised in the literature. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Proof and Persuasion in Black Athena:: The Case of K. O. MüllerJosine H. BlokNon tali auxilio.Virgil, Aeneid II, 521When in 1824 the German classical scholar Karl Otfried Müller (1797–1840) set down to write a review of Champollion’s first Letter to M. Dacier (1822), he was profoundly interested. 1 For several years he had been working on Egypt, and as he told his parents in 1820, “I have come (...) to love Egyptian antiquity so much, that, if I were not constricted by the schedule of my classes, I would have set myself to the decipherment of the hieroglyphs, which I would not deem impossible by the clues I have found.” 2 During the same years (1820–25) that he wrote his early books on ancient Greece, he [End Page 705] reviewed sixteen studies on Egypt alone. 3 In his review of the Letter, then, he wanted to draw “the attention of [the] readers to this, certainly not unfounded, discovery,” 4 though he feared the author was inclined to jump to conclusions. But in August 1824 he reviewed Champollion’s more complete publication of his findings of the same year and, recalling his previous anxiety, commented:Now, however, the reading of the present work has totally convinced me, that the usage of hieroglyphs to indicate sounds is as ancient as this writing system itself. [... This discovery should also mean that...] the history of Egyptian religion and state will be reconstructed and expanded. 5From that moment he sided unequivocally with Champollion, politely but clearly reminding German colleagues who still stumbled on with decipherments of their own, that this would not do. 6With these facts in mind, Martin Bernal’s rendering in his Black Athena, volume I, is bound to surprise: “[U]nlike Humboldt, Niebuhr and Bunsen [Müller] disregarded the sensational scholarly developments between 1815 and 1830. There is no indication that he paid any attention to Champollion’s decipherment” (316). The contradiction between Bernal’s statements and the sources on Müller’s life and work turns out not to be an incidental error but part of a larger pattern. To understand this pattern and its objectives, let me first summarize Bernal’s argument and my own.In his challenging book Bernal argues that the ancient Greek world was founded on the colonization of Greece by Phoenicians and Egyptians in the second millennium bc. 7 The material which is to prove his thesis is offered in volume II, though volume I includes a summary. In this first volume Bernal observes that from late antiquity until the eighteenth century, awareness of the Afroasiatic roots of ancient civilization had been retained as the heritage of ancient Greece itself. Hence Bernal labels this perception underlying Western classical scholarship of the early modern period the “Ancient Model.” By or soon after the 1820s, however, it was replaced by the “Aryan Model,” which took Greek civilization to be partly autochthonous and partly [End Page 706] shaped by invasions coming from the North. To reveal that the fall of the Ancient Model was not the result of internal developments in classical scholarship but of externalist influences, notably the belief in progress, the defense of Christianity, Romanticism, and most importantly racism, is the core theme of volume I. Bernal sustains his argument by contending that historical source criticism was not really or entirely an internal development but created to serve the external ends, and by presenting Müller as the embodiment of Romanticist racism, who was responsible for overthrowing the Ancient Model and inaugurating its Aryan successor. Hence, by thus designating Müller as the axis around which the overall turn of classical scholarship revolved, he wants to prove that the fall of the Ancient Model was unjustified in terms of scholarship but only occurred due to dishonorable ideologies.Through a limited number of representative issues I want to argue that Bernal’s rendering of Müller and the context of his work is untenable in the light of the source material and that Bernal’s explanation of the fall of the Ancient Model is untenable as well. My aim is not just to clear Müller’s name... (shrink)

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. (...) If a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)