Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special (...) role of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (shrink)
Ich rekonstruiere und kritisiere Hans Drieschs Argumentation für die Behauptung, daß biologischen Prozessen nur eine substanzdualistische Ontologie der belebten Materie (Vitalismus) gerecht werden kann. Meine Diagnose lautet, daß Drieschs Argumentation zwar logisch schlüssig ist bzw. durch leichte Modifikationen in eine logisch gültige Form gebracht werden kann, aber von empirisch unbegründeten, metaphysischen Prämissen über die Möglichkeiten eines energieumwandelnden Mechanismus ausgeht.
At first blush, the town square in Fairfield, Iowa, seems no different from hundreds like it that grace small communities from New England to California. It has a pretty gazebo where bands play, a stretch of grass ideal for sunbathing, and a monument to historic local events, and all of it is surrounded by businesses that offer clothes, medicine, food, and, perhaps, a drink or two. Such town centers are so classically American that Disney and Hollywood have turned them into (...) clichés, timeworn settings for amusement parks, Fourth of July celebrations, political speeches, and romance.1But a closer look at the heart of Fairfield shows how far this place is from ordinary. Hard by a couple of real estate sales offices .. (shrink)
According to an attractive account of belief, our beliefs have centered content. According to an attractive account of communication, we utter sentences to express our beliefs and share them with each other. However, the two accounts are in conflict. In this paper I explore the consequences of holding on to the claim that beliefs have centered content. If we do in fact express the centered content of our beliefs, the content of the belief the hearer acquires cannot in general be (...) identical to the content the speaker expresses. I sketch an alternative account of communication, the Recentering model, that accepts this consequence and explains how expressed and acquired content are related. (shrink)
In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
What is the relationship between Frege’s puzzle and the puzzle of the de se? An increasingly influential view claims that the de se puzzle is merely an instance of Frege’s puzzle and that the idea that de se attitudes pose a distinctive theoretical challenge rests on a myth. Here we argue that this view is misguided. There are important differences between the two puzzles. First, unlike Frege puzzle cases, de se puzzle cases involve unshareable Fregean senses. Second, unlike Frege puzzle (...) cases, de se puzzle cases cannot be resolved by objective information alone. Further, there seem to be pure cases of each puzzle: instances of the de se puzzle which do not have a Fregean structure, and instances of Frege’s puzzle, which do not involve de se attitudes. We conclude that the two puzzles are fundamentally different and that the traditional theory of attitudes needs to be amended. (shrink)
Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)
Griffiths et al. (2015) have proposed a quantitative measure of causal specificity and used it to assess various attempts to single out genetic causes as being causally more specific than other cellular mechanisms, for example, alternative splicing. Focusing in particular on developmental processes, they have identified a number of important challenges for this project. In this discussion note, I would like to show how these challenges can be met.
This paper identifies a new source that explains environmental behaviour: the presence of future tense marking in language. We predict that languages that grammatically mark the future affect speakers' intertemporal preferences and thereby reduce their willingness to address environmental problems. We first show that speakers of languages with future tense marking are less likely to adopt environmentally responsible behaviours and to support policies to prevent environmental damage. We then document that this effect holds across countries: future tense marking is an (...) important determinant of climate change policies and global environmental cooperation. The results suggest that there may be deep and surprising obstacles for attempts to address climate change. (shrink)
I present a reconstruction of F.H.C. Crick's two 1957 hypotheses "Sequence Hypothesis" and "Central Dogma" in terms of a contemporary philosophical theory of causation. Analyzing in particular the experimental evidence that Crick cited, I argue that these hypotheses can be understood as claims about the actual difference-making cause in protein synthesis. As these hypotheses are only true if restricted to certain nucleic acids in certain organisms, I then examine the concept of causal specificity and its potential to counter claims about (...) causal parity of DNA and other cellular components. I first show that causal specificity is a special kind of invariance under interventions, namely invariance of generalizations that range over finite sets of discrete variables. Then, I show that this notion allows the articulation of a middle ground in the debate over causal parity. (shrink)
De se attitudes seem to play a special role in action and cognition. This raises a challenge to the traditional way in which mental attitudes have been understood. In this chapter, we review the case for thinking that de se attitudes require special theoretical treatment and discuss various ways in which the traditional theory can be modified to accommodate de se attitudes.
Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)
Causal selection is the task of picking out, from a field of known causally relevant factors, some factors as elements of an explanation. The Causal Parity Thesis in the philosophy of biology challenges the usual ways of making such selections among different causes operating in a developing organism. The main target of this thesis is usually gene centrism, the doctrine that genes play some special role in ontogeny, which is often described in terms of information-bearing or programming. This paper is (...) concerned with the attempt of confronting the challenge coming from the Causal Parity Thesis by offering principles of causal selection that are spelled out in terms of an explicit philosophical account of causation, namely an interventionist account. I show that two such accounts that have been developed, although they contain important insights about causation in biology, nonetheless fail to provide an adequate reply to the Causal Parity challenge: Ken Waters's account of actual-difference making and Jim Woodward's account of causal specificity. A combination of the two also doesn't do the trick, nor does Laura Franklin-Hall's account of explanation (in this volume). We need additional conceptual resources. I argue that the resources we need consist in a special class of counterfactual conditionals, namely counterfactuals the antecedents of which describe biologically normal interventions. (shrink)
It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)
I examine to what extent accounts of mechanisms based on formal interventionist theories of causality can adequately represent biological mechanisms with complex dynamics. Using a differential equation model for a circadian clock mechanism as an example, I first show that there exists an iterative solution that can be interpreted as a structural causal model. Thus, in principle it is possible to integrate causal difference-making information with dynamical information. However, the differential equation model itself lacks the right modularity properties for a (...) full integration. A formal mechanistic model will therefore either have to leave out non-causal or causal explanatory relations. (shrink)
The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)
Experimental modeling in biology involves the use of living organisms (not necessarily so-called "model organisms") in order to model or simulate biological processes. I argue here that experimental modeling is a bona fide form of scientific modeling that plays an epistemic role that is distinct from that of ordinary biological experiments. What distinguishes them from ordinary experiments is that they use what I call "in vivo representations" where one kind of causal process is used to stand in for a physically (...) different kind of process. I discuss the advantages of this approach in the context of evolutionary biology. (shrink)
Linguistic structures have recently started to attract attention from economists as determinants of economic phenomena. This paper provides the first comprehensive review of this nascent literature and its achievements so far. First, we explore the complex connections between language, culture, thought and behaviour. Then, we summarize the empirical evidence on the relationship between linguistic structures and economic and social outcomes. We follow up with a discussion of data, empirical design and identification. The paper concludes by discussing implications for future research (...) and policy. (shrink)
John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal state has (...) no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)
Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)
On the heels of Franzén's fine technical exposition of Gödel's incompleteness theorems and related topics (Franzén 2004) comes this survey of the incompleteness theorems aimed at a general audience. Gödel's Theorem: An Incomplete Guide to its Use and Abuse is an extended and self-contained exposition of the incompleteness theorems and a discussion of what informal consequences can, and in particular cannot, be drawn from them.
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. (shrink)
This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)
Creationists who object to evolution in the science curriculum of public schools often cite Jonathan Well’s book Icons of Evolution in their support (Wells 2000). In the third chapter of his book Wells claims that neither paleontological nor molecular evidence supports the thesis that the history of life is an evolutionary process of descent from preexisting ancestors. We argue that Wells inappropriately relies upon ambiguities inherent in the term ‘Darwinian’ and the phrase ‘Darwin’s theory’. Furthermore, he does not accurately distinguish (...) between the overwhelming evidence that supports the thesis of common descent and controversies that pertain to causal mechanisms such as natural selection. We also argue that Wells’ attempts to undermine the evidence in support of common descent are flawed and his characterization of the relevant data is misleading. In particular, his assessment of the ‘Cambrian explosion’ does not do justice to the fossil record. Nor do his selective references to debate about molecular and paleontological phylogenies constitute a case against common descent. We conclude that the fossil and molecular evidence is more than sufficient to warrant science educators to present common descent as a well-established scientific fact. We also argue that diagrams depicting the ‘tree of life’ can be pedagogically useful as simplified representations of the history of life. (shrink)
Unlike in physics, the category of thought experiment is not very common in biology. At least there are no classic examples that are as important and as well-known as the most famous thought experiments in physics, such as Galileo’s, Maxwell’s or Einstein’s. The reasons for this are far from obvious; maybe it has to do with the fact that modern biology for the most part sees itself as a thoroughly empirical discipline that engages either in real natural history or in (...) experimenting on real organisms rather than fictive ones. While theoretical biology does exist and is recognized as part of biology, its role within biology appears to be more marginal than the role of theoretical physics within physics. It could be that this marginality of theory also affects thought experiments as sources of theoretical knowledge. Of course, none of this provides a sufficient reason for thinking that thought experiments are really unimportant in biology. It is quite possible that the common perception of this matter is wrong and that there are important theoretical considerations in biology, past or present, that deserve the title of thought experiment just as much as the standard examples from physics. Some such considerations may even be widely known and considered to be important, but were not recognized as thought experiments. In fact, as we shall see, there are reasons for thinking that what is arguably the single most important biological work ever, Charles Darwin’s On the Origin of Species, contains a number of thought experiments. There are also more recent examples both in evolutionary and non-evolutionary biology, as we will show. Part of the problem in identifying positive examples in the history of biology is the lack of agreement as to what exactly a thought experiment is. Even worse, there may not be more than a family resemblance that unifies this epistemic category. We take it that classical thought experiments show the following characteristics: They serve directly or indirectly in the non-empirical epistemic evaluation of theoretical propositions, explanations or hypotheses. Thought experiments somehow appeal to the imagination. They involve hypothetical scenarios, which may or may not be fictive. In other words, thought experiments suppose that certain states of affairs hold and then try to intuit what would happen in a world where these suppositions are true. We want to examine in the following sections if there are episodes in the history of biology that satisfy these criteria. As we will show, there are a few episodes that might satisfy all three of these criteria, and many more if the imagination criterion is dropped or understood in a lose sense. In any case, this criterion is somewhat vague in the first place, unless a specific account of the imagination is presupposed. There will also be issues as to what exactly “non-empirical” means. In general, for the sake of discussion we propose to understand the term “thought experiment” here in a broad rather than a narrow sense here. We would rather be guilty of having too wide a conception of thought experiment than of missing a whole range of really interesting examples. (shrink)
Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)
Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)
In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student learning (...) preferences could be provided for. (shrink)
A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
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)
A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)
Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)
Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)
This paper intends to give a philosophical analysis of the concepts of consciousness and rationality, and particularly to display the correlation existing between what is usually called the “normal state of consciousness” and what should be called the “normal state of rationality”. Eventually, it draws consequences for the correlation existing between “altered/aberrant states of consciousness” and “altered/aberrant rationality”. Although it argues from a broad phenomenological perspective, its grounding technicalities belong to the field of process thought, as fleshed out by the (...) later Alfred North Whitehead (1861–1947). (shrink)
David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)
The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
Theories of personal identity face a paradox, which traces back to Bernard Williams: some scenarios obviously show that mental continuity is what solely matters in survival; others, on the contrary, show with equal obviousness that it is bodily continuity. Different authors have produced diverging and partly conflicting answers in response to that problem. Based on recent research concerning the structure of philosophical thought experiment, this paper reevaluates and, for the first time, neatly classifies those answers. What is more, several existing (...) approaches of how to answer the paradox are developed further, and two new answers are introduced. (shrink)
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)
It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
I want to exhibit the deeper metaphysical reasons why some common ways of describing the causal role of genes in development and evolution are problematic. Specifically, I show why using the concept of information in an intentional sense in genetics is inappropriate, even given a naturalistic account of intentionality. Furthermore, I argue that descriptions that use notions such as programming, directing or orchestrating are problematic not for empirical reasons, but because they are not strictly causal. They are intentional. By contrast, (...) other notions that are part of the received view in genetics and evolutionary theory are defensible if understood correctly, in particular the idea that genes are the main replicators in evolution. The paper concludes that dropping all intentional or intentionally laden concepts does not force us to accept the so-called causal parity thesis, at least not in its stronger form. (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)
Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)
Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.
A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
Although Whitehead’s particular style of philosophizing--looking at traditional philosophical problems in light of recent scientific advances--was part of a trend that began with the scientific revolutions in the early 20th century and continues today, he was marginalized in 20th century philosophy because of his outspoken defense of what he was doing as “metaphysics.” Metaphysics, for Whitehead, is a cross-disciplinary hermeneutic responsible for coherently integrating the perspectives of the special sciences with one another and with everyday experience. The program of such (...) a meta-discipline is challenging to philosophical orthodoxy because it enlarges, rather than narrows, the range of empirical evidence that philosophy must acknowledge. This places Whitehead’s philosophy in a perennial tradition that seeks to resolve fundamental antinomies through synthesis and reconciliation rather than reduction or elimination. (shrink)
It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.