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)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a (...) concern for improvement of mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k (...) : Is there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called (...) are not of the second kind--they must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent (...) case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating (...) for a more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax (...) that explicitly incorporates the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has (...) the effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

Working in academia is challenging, even more so for those with limited resources and opportunities. Researchers around the world do not have equal working conditions. The paper presents the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. The community coaching method is envisioned by three science philosophies (cost-effectiveness, transparency spirit, and proactive (...) attitude) and established and operated based on the Serendipity-Mindsponge-3D knowledge (SM3D) management framework (i.e., mindsponge thinking and Bayesian Mindsponge Framework analytics serve as the coaching program's foundational theory and analytical tools). The coaching method also embraces Open Science's values for lowering the cost of doing science and encouraging the trainees to be transparent, which is expected to facilitate the self-correcting mechanism of science through open data, open review, and open dialogue. Throughout the training process, members are central beneficiaries by gaining research knowledge and skills, acquiring publication as the training's product, and shifting their mindsets from “I can't do it” to “I can do it,” and at the same time transforming a mentee to be ready for a future mentor's role. The coaching method is thus one of the members, for the member, by the members. -/- • The paper provides the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. • The paper presents three major science philosophies envisioning the establishment and operation of scholarly community coaching. • The paper employs the mindsponge theory and BMF analytics to construct a conceptual framework explaining how an environment is created to help shift members’ mindsets from “I can't do it” to “I can do it.”. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from (...) its associated labelled calculus. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it (...) should be accepted rather a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

(For the English version, see below) Dieser Band schließt an die "Prozessontologie" von Wolfgang Sohst an. In vorliegenden Buch entwickelt er den Begriff der Emergenz auf der Grundlage einer Schichtenontologie. Kern dieser Theorie ist der Nachweis, dass die Struktur alles Gegebenen (also nicht nur des physischen Universums, sondern auch der irdischen Biosphäre und der aus ihr hervorgegangenen psychischen, sozialen und abstrakten Existenzformen) offen ist; es gibt keine absolute Entwicklungsgrenze der Weltstruktur. Alles Gegebene ist allerdings in Schichten gegliedert, beginnend mit den (...) protophysikalischen Weltzuständen über die quantenmechanische, die makrophysikalische und biologische Ebene bis hin zu den sozialen Strukturen menschlicher Wirklichkeit und den noch über sie hinausgehenden abstrakten Strukturen der reinen Symbolsysteme. -/- Der Begriff der Emergenz spielt hierin eine wichtige Rolle. Seine ideengeschichtliche Entwicklung seit den 1920er Jahren verlief allerdings unglücklich, weil von vornherein auf neue Einzelgegenstände und ihre Eigenschaften fixiert. Dabei ging sowohl die Prozesshaftigkeit der Welt verloren als auch die Einsicht, dass neue Strukturschichten der Welt nicht durch einzelne Gegenstände oder ihre Eigenschaften repräsentiert werden, sondern durch neue Gegenstands-, Zustands- und Prozesstypen. Dieser zunächst unauffällig erscheinende Unterschied zur traditionellen Emergenztheorie eröffnet vollkommen neue Zugänge und Verständnismöglichkeiten zur strukturellen Entwicklung des Weltganzen. (560 Seiten, Hardcover) -/- English version: This volume follows on from Wolfgang Sohst's "Process Ontology". In this book, he develops the concept of emergence on the basis of a layered ontology. The core of this theory is the proof that the structure of everything given (i.e. not only of the physical universe but also of the earthly biosphere and the mental, social and abstract forms of existence that emerged from it) is open; there is no absolute developmental limit of the world structure. However, everything given is divided into layers or strata, beginning with the proto-physical world states over the quantum-mechanical, the macrophysical, and biological level up to the social structures of human reality and the abstract structures of the pure symbol systems still going beyond them. -/- The concept of emergence plays an important role in this. However, its development in the history of ideas since the 1920s was unfortunate, because from the outset it was fixed on new individual objects and their properties. In the process, both the processuality of the world and the insight that new structural layers or strata of the world are not represented by individual objects or their properties, but by new types of objects, states, and processes, were lost. This differs from traditional emergence theory, which at first seems inconspicuous, and opens up entirely new approaches and ways of understanding the structural development of the world as a whole. (560 pages, hardcover). (shrink)

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic (...) are tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...) and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

This paper proposes a reading of Galileo’s Letter to the Grand Duchess Christina as analogous to a legal brief submitted to a court en banc. The Letter develops a theory of the general issues underlying the case at hand, but it is organized around advocacy for a particular judgment. I have drawn two architectonic implications from this framework, each of which helps to resolve an issue still standing in the literature. First, the Letter anticipates varying degrees of acquiescence to (...) its general account, and provides ‘hooks’ for different readers to interpret variously while still converging on the particular judgment. This reading allows for a coherent Galilean interpretation of passages that notoriously concede priority to Scripture, while also explaining their dialectical function. Galileo is neither self-contradictory nor dissimulating here, but strategically leaves the specification of key distinctions for the reader. Second, the Letter, and particularly its apparent shifting of the burden of proof, must be understood in light of the tripartite ‘adversarial-judicial’ framework that Galileo sets up. The burden of proof is shifted to anti-Copernicans within the Church, not as a rhetorical trick, but because of the benefits of adversarial procedure that will accrue to the Church as the responsible judge. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk (...) is resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof (...) theory of finite-valued first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, (...) such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...) be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, (...) he used several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material (...) inference and Greg Restall’s bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on semantic (...) knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (shrink)

Alasia Nuti’s recent book Injustice and the Reproduction of History: Structural Inequalities, Gender and Redress puts forward a compelling vision of contemporary duties to redress past wrongdoing, grounded in the idea of “historical-structural-injustice”, constituted by the “structural reproduction of an unjust history over time and through changes”. Such an approach promises to transcend the familiar scholarly divide between “backward-looking” and “forward-looking” models, and allow for a reparative approach that focuses specifically on those past wrongs that impact the (...) present, while retaining a significant focus on the historical. While Nuti’s work is perhaps the most sophisticated treatment of structural injustice to date, this paper argues that an exclusive concentration on historical-structural-injustices neglects some aspects and some acts of wrongdoing that call out for present-day redress. What is needed, therefore, is a pluralist theory that can accept the pressing force in the present of historical-structural-injustices, whilst also making room for past-regarding duties that either do not fit, or are not best conceptualized in terms of, this approach, without being overwhelmed by the sheer scale of historic injustice. (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)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, (...) and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

This book researches the thought of Jin Yuelin’s epistemology with some notions and methods of contemporary epistemology as the frame of reference. There are two kinds of academical significance in this book, one is that author has accurately comprehended the specific content, inadequacies and contradictions in Jin’ s epistemology, recognized the methods by which Jin Yuelin built his theory of knowledge. The other is that author has known about the differences in research objects and methods between Jin’s theory (...) and contemporary epistemology, and showed the position of Jin’s epistemology in the whole theory of knowledge through the comparative study. On the one hand, the book focuses on the core problem of Jin Yuelin’ epistemology that is how objective knowledge is produced. On the other hand, it is made up of seven chapters in accordance with the structure of Jin’s Theory of Knowledge. The first chapter introduces and comparatively analyzes the comprehensions about the concepts of “knowledge” and “epistemology” between Jin Yuelin and contemporary epistemologists. This chapter supplies the means and methods for following chapters. The second chapter describes Jin’s standpoint and criticism to idealism starting mode, analyzes the objective starting mode that belongs to Jin’s theory and reveals his negative attitude to skepticism. This chapter shows the essential characteristics of the Jin Yuelin’s epistemology. The given is the content of sensation, which is the most basic part of cognitive activity. Moreover Jin Yuelin regards sensation as foundation of knowledge, so the research on theory of the given is separated from the whole study of cognitive activity and treated as the third chapter, which presents Jin’s theory of the given and analyzes the problems of Jin’s theory, then introduces some kinds of theory of the given and theory of perception in the contemporary epistemology, finally comparatively investigates theories of the given between Jin Yuelin and contemporary epistemologists. From the perspective of cognitive activity, the fourth chapter describes the perceptual activity, the activity of knowing, the activity of thinking, means and outlines of reception in Jin’s epistemology, then exposes its contradictions and inadequacies; Induction is the important research object of the Western epistemologists, similarly Jin Yuelin paid more attention to induction and regards the principle of induction as outline of reception. In fact, his standpoint about the principle of induction is vital and creative, so the study of induction separately belongs to the fifth chapter. This chapter presents the Jin’s comprehension about the principle of induction and some answers to the problem of induction in contemporary epistemology, then comparatively analyzes two kinds of the thought about induction. The sixth chapter successively introduces being, nature and fact which all are objects of cognitive activity, then analyzes the problems within them. From the perspective of cognitive results, the last chapter presents the Jin’s standpoint about verification and demonstration of proposition, definition and criteria of truth, then simply describes the point views of contemporary epistemologists about verification and truth of proposition, finally comparatively investigates two kinds of thought. From the vertical, the thesis analyzes the fundamental sections of objective knowledge one by one, such as the given, experience, idea, proposition and truth. From the horizontal, the book focuses on the three main parts of knowledge event, for example, cognitive activity, objects of knowledge and the true proposition treated as knowledge. In a word, the whole book is coherent and organic unity. Through the comparative study, it can be concluded that it is reasonable for Jin Yuelin to enjoy a high academic status, because he is the first philosopher who specializes in the study of epistemology. At the same times, he improves transmission of logic, metaphysics and epistemology from the Western to China. So, his hard work enriches and expands the realm of Chinese philosophy. With the development of the study of epistemology, descriptive content of it, such as, perceptual activity and rational activity, will be regarded as the objects of psychology and cognitive science. Meanwhile, normative content will be retained. For example, analysis of conditions of knowledge, justification for belief claims, comprehension about the proofs of justification, as well as reactions to challenges of skepticism. The latter will continue to be objects of epistemology, of course, they must establish close relationships with psychology and cognitive science. According to this prospect, we should split Jin Yuelin’s theory of knowledge, of which the descriptive content would be allocated to psychology and cognitive science. On the contrary, the normative content would be kept as important resource for deeply studying epistemology. -/- Key words: Knowledge; Contemporary epistemology; Compare; The given; Idea; The principle of induction; Fact. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically (...) impure (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

A discussion of Wolfgang's Stegmüller's ideas on the structuralist conception of theories, especially as presented in his book The Structure and Dynamics of Theories (Springer, 1976).

Our beliefs about which actions we ought to perform clearly have an effect on what we do. But so-called “Humean” theories—holding that all motivation has its source in desire—insist on connecting such beliefs with an antecedent motive. Rationalists, on the other hand, allow normative beliefs a more independent role. I argue in favor of the rationalist view in two stages. First, I show that the Humean theory rules out some of the ways we ordinarily explain actions. This shifts the (...) burden of proof onto Humeans to motivate their more restrictive, revisionary account. Second, I show that they are unlikely to discharge this burden because the key arguments in favor of the Humean theory fail. I focus on some of the most potent and most recent lines of argument, which appeal to either parsimony, the teleological nature of motivation, or the structure of practical reasoning. (shrink)

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building (...) blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction (...) on which the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text (...) we assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy (...) Time. Given the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

In the final book of Logical Investigations from 1901, Husserl develops a theory of knowledge based on the intentional structure of consciousness. While there is some textual evidence that Husserl considered this to entail a critique of Kantian philosophy, he did not elaborate substantially on this. This paper reconstructs the covert critique of Kant’s theory of knowledge which LI contains. With respect to Kant, I discuss three core aspects of his theory of knowledge which, as Husserl’s reflections (...) on Kant indicate, Husserl was familiar with. These are the cooperation of two faculties for the justification of beliefs; the concept of a priori structures of knowledge Kant operated with; and the delivered transcendental proof of these structures. Regarding Logical Investigations, I first briefly outline the intentional structure of consciousness as presented in the fifth book and then turn to the theory of knowledge in the sixth book. I then clarify, partially on the basis of manuscripts and lecture notes, the covert critique of the three core aspects of Kant’s theory which the sixth book contains. (shrink)

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we change and (...) modify the concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

In my 2013 article, “A New Theory of Free Will”, I argued that several serious hypotheses in philosophy and modern physics jointly entail that our reality is structurally identical to a peer-to-peer (P2P) networked computer simulation. The present paper outlines how quantum phenomena emerge naturally from the computational structure of a P2P simulation. §1 explains the P2P Hypothesis. §2 then sketches how the structure of any P2P simulation realizes quantum superposition and wave-function collapse (§2.1.), quantum indeterminacy (§2.2.), wave-particle duality (...) (§2.3.), and quantum entanglement (§2.4.). Finally, §3 argues that although this is by no means a philosophical proof that our reality is a P2P simulation, it provides ample reasons to investigate the hypothesis further using the methods of computer science, physics, philosophy, and mathematics. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

I intend to: a) clarify the origins and de facto meanings of the term relativism; b) reconstruct the reasons for the birth of the thesis named “cultural relativism”; d) reconstruct ethical implications of the above thesis; c) revisit the recent discussion between universalists and particularists in the light of the idea of cultural relativism.. -/- 1.Prescriptive Moral Relativism: “everybody is justified in acting in the way imposed by criteria accepted by the group he belongs to”. Universalism: there are at least (...) some judgments which are valid inter-culturally Absolutism: there are at least some particular prescriptions which are valid without exception everywhere and always -/- 2. The traditional proof of prescriptive moral relativism: the argument from variability: Judgments, rules, and shared values are de facto variable in time and space. The traditional counter-proof: examples of variability do not prove what skeptics contend. -/- 3. Pre-history of the doctrine -Ancient sophists: either immoralist or contractualist -Modern moral scepticism (xvii c.): variability as an historical and ethnographic fact supports a sceptical conclusion more moderate than sheer immoralism. - Voltaire, Kant, Reid counter-attack pointing at a universally shared moral sense - Romantics and idealists stage an even more moderate reformulation: instead of universally shared moral sense they point at the Spirit of a People which is: a)alternative to abstract and universal philosophical systems as far as it is lived ‘culture’; b) indivisible unity with an inner harmony and a source of normative standards; c) dynamic, in so far as it is a manifestation of the Spirit through the becoming of National cultures. -/- 4. The birth of Cultural Relativism and its ethical implications 4.1. The 18th c. doctrine was the noble savage (a non-historical doctrine: state of nature vs. social state) 4.2 Edward Tylor (1832-1817) and ethnocentric historicism Savage moral standards are real enough, but they are far and weaker than ours. 4.3 Boas and Malinowski and an holistic reaction to ethnocentric historicism -/- Franz Boas (1858-1942): a) Development of civilizations is not ruled by technical progress nor does it follow a one-way path; instead there are parallel developments (for ex. Agriculture does not follow stock-raising); b) racial characters have no relevance in development of civilization; c) we are not yet in a position to compare externally identical kinds of behaviour till we have not yet understood beliefs and intentions laying at their roots (for ex.: “From an ethnological point of view murder cannot be considered as a single phenomenon”; d) we should distinguish among different practices which are only superficially similar (fro ex. practices traditionally classified under the label “tabù”); e) there is as a fact just one normative ethic, constant in its contents but varying in its extension; f) the implication is not that we cannot judge behavior by members of other groups; it is only a recommendation of caution. -/- Bronislaw Malinowski (1884-1942): a) against Tylor’s and Frazer’s “magpie” methodology, field-work is required, a culture as a whole should be observed from inside; individual elements are incomprehensible; b) a culture is an organic whole; c) its elements are accounted for by their function (economy), avoiding non-observables (empio-criticism). -/- Ruth Benedict and Melville Herskovitz identify Boas’s approach with “cultural relativism”. Benedict: what is normal and abnormal is to be judged on a culture’s own standards, not on our own (“Anthropology and the Abnormal”). Herskovits: “Boas adumbrates what we have come to call cultural relativism” (The Mind, p. 10); “Judgements are based on experience, and experience is interpreted by each individual in terms of his own enculturation” (Man and his Works). -/- 4. How analytic philosophy understood and misunderstood the discussion 4.1. At the beginning of the 20th c., the new view in ethics was non-cognitivism (emotivist and subjectivist). Eric Westermark combines this view with an old-style ethnographic approach in support of relativity of moralities. Moralities are codes, or systems of emotive ‘disinterested’ reactions selected by evolution on their usefulness in terms of survival value for the society that is the carrier of such systems or codes. The moral relativity thesis: there are cases of disagreement that cannot be settled even after agreement about facts. 4.2 Anti-realists Brandt, Mackie, Gilbert, Harman adopt Westermark’s approach in a more sophisticated version: a) moralities are codes with an overall function and may be appraised only as wholes; b) variability is an argument for moral subjectivism; c) apparent legitimacy of deriving shift from ought is legitimized only within one institution d) morality should not be described but instead made, and existing moralities may be improved. Is it ‘real’ relativism? It is clearly subjectivism (a metaethical thesis). The normative thesis is that there better and worse codes, and survival values is the normative standard. -/- 4.3 Particularists MacIntyre, Sandel, Taylor, Wiggins, McDowell ‘Wittgensteinian’ prospectivist arguments bent to support weak-relativist claims MacIntyre: there is ‘incommensurability’ between different theoretical systems in both science and ethics. No argument is possible through different systems Different traditions may coexist for a long time without being able to bring their conflicts to a rational solution. -/- 4.4 Kantian universalists Baier, Gewirth, Rawls, Apel, Habermas Shared claim: justice concerns the right and is universal in so far as it may be based on minimal assumptions Other virtues are relative to context in so far as they are related to comprehensive views of the good - O’Neill criticism: a) it is an assumption shared by both alignments; b) after an alleged crisis brought about by alleged loss of metaphysical certainties, theories of justice have dropped demanding assumptions and kept universalism, virtue theories have kept demanding assumptions and dropped universalism; c) the opposition of virtue and justice has arisen in an unjustified way. O’Neill’s positive proposal: ‘constructive’ procedures may be adopted both (i) concerning all the range of virtues and (ii) across cultures once we abandon idealization and confine ourselves to abstraction from real-world cases. -/- 4.5 A metaethical relativist and anti-relativist normative ethicists: Bernard Williams Williams: vulgar relativism may be assumed to claim that: a) 'just' means 'just in a given society'; b) 'just in a given society' is to be understood in functionalist sense; c) it is wrong for one society’s members to condemn another society’s values. It is inconsistent since in (c) uses ‘just’ in a non-relative way that has been excluded in (a). William’s positive proposal: i) keep a number of substantive or thick ethical concepts that will be different in space and time; ii) admit that public choices are to be legitimized through recourse to more abstract procedures and relying on more thin ethical concepts. -/- 5. Critical remarks 5.1 The only real relativism available is ‘vulgar’ relativism (Westermark?) 5.2. Descriptive universalism (or absolutism) has a long pedigree, from Cicero on, reaching Boas himself but it is useless as an answer to normative questions 5.3. Twentieth-century philosophical discussion seems to discuss an ad hoc doctrine reconstructed by assembling obsolete philosophical ideas but ignoring the real theory of cultural relativism as formulated by anthropologists. -/- 6. A distinction between ethoi and ethical theories as a way out of confusions a)There are systems of conventions de facto existing. These may be studies from outside as phenomena or facts. b)There is moral argument and this, when studies from outside, is a fact, but this does not influence in any degree the possible validity of claims advanced. c) the difference between the above claims and Mackie’s criticism to Searle’s argument of the promising game is that promises, arguments etc. are also phenomena, but they are also communicative phenomena with a logical and pragmatic structure. -/- 7.Conclusions: a) cultural relativism, as a name for Boas’s methodology is a valuable discovery, and in this sense we are all relativists; b) ethical relativism, as an alleged implication of cultural relativism, has been argued in a philosophically quite unsophisticated way by Benedict and Herskovits; philosophers apparently discussed ethical relativism in the basis of a rather faint impression of what cultural relativism had been. c) a full-fledged ethical relativism has hardly been defended by anybody among philosophers; virtually no modern philosopher really argued a prescriptive version of the thesis; d) we may accept the grain of truth in ethical relativism by including relativist critique to ethical absolutism into a universalist normative doctrine that be careful in separating open-textured formulations of universal claims from culturally conditioned particular prescriptions. -/- . (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can (...) be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

Our examination of universal origins and fine-tuning will begin with a discussion of infl ationary scenarios grafted onto Big Bang cosmology and the proof that all infl ationary spacetimes are past-incomplete. After diverting into a lengthy critical examination of the “different physics” offered by quantum cosmologists at the past-boundary of the universe, we will proceed to dissect the inadequacies of infl ationary explanations and string-theoretic constructs in the context of three cosmological models that have received much attention: the Steinhardt-Turok (...) cyclic ekpyrotic model (which does not invoke inflation), the Gasperini-Veneziano pre-Big Bang infl ationary model, and the inflationary string landscape model advanced by Susskind, Polchinski, Bousso, and Linde. We will argue that none of these highly speculative string cosmologies removes the necessity of a beginning to the process of universe generation, and we will emphasize the implications of this fact. Then, since the inflationary “mechanism” only really addresses the fi ne-tuning of the initial conditions of the universe and not the conditions embodied in its finely tuned laws and constants, we will analyze the adequacy of the string multiverse in its three versions (cyclic ekpyrotic, pre-Big Bang, and landscape) for explaining the nomological structure and values of these precisely tuned life-compatible universal parameters. When all is said and done, it will be clear that transcendent intelligent agency is not just the only causally suffi cient and therefore metaphysically sound explanation for universal origins and fine-tuning, but it is also much more parsimonious, elegant, and resonant with meaning than all of the ad hoc machinations of multiverse cosmology. (shrink)

While structural equations modeling is increasingly used in philosophical theorizing about causation, it remains unclear what it takes for a particular structural equations model to be correct. To the extent that this issue has been addressed, the consensus appears to be that it takes a certain family of causal counterfactuals being true. I argue that this account faces difficulties in securing the independent manipulability of the structural determination relations represented in a correct structural equations model. I (...) then offer an alternate understanding of structural determination, and I demonstrate that this theory guarantees that structural determination relations are independently manipulable. The account provides a straightforward way of understanding hypothetical interventions, as well as a criterion for distinguishing hypothetical changes in the values of variables which constitute interventions from those which do not. It additionally affords a semantics for causal counterfactual conditionals which is able to yield a clean solution to a problem case for the standard ‘closest possible world’ semantics. (shrink)