Results for 'Zach Weber'

185 found
Order:
See also
Zach Weber
University of Otago
  1.  61
    Causal Specificity, Biological Possibility and Non-Parity About Genetic Causes.Marcel Weber - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Hans Drieschs Argumente Für den Vitalismus.Marcel Weber - 1999 - Philosophia Naturalis 36 (2):263-293.
    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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Transcendental Meditation and the Remaking of an Iowa Farm Town.Joseph Weber - 2014 - Utopian Studies 25 (2):341.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Centered Communication.Clas Weber - 2013 - Philosophical Studies 166 (S1):205-223.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  5. Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. De Se Puzzles and Frege Puzzles.Stephan Torre & Clas Weber - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  8. Which Kind of Causal Specificity Matters Biologically?Marcel Weber - 2017 - Philosophy of Science 84 (3):574-585.
    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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Talking in the Present, Caring for the Future: Language and Environment.Astghik Mavisakalyan, Yashar Taverdi & Clas Weber - 2018 - Journal of Comparative Economics 46 (4):1370-1387.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. The Central Dogma as a Thesis of Causal Specificity.Marcel Weber - 2006 - History and Philosophy of the Life Sciences 28 (4):595-610.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  98
    What is Special About De Se Attitudes?Stephan Torre & Clas Weber - forthcoming - In The Routledge Handbook on Linguistic Reference.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Societal-Level Versus Individual-Level Predictions of Ethical Behavior: A 48-Society Study of Collectivism and Individualism.David A. Ralston, Carolyn P. Egri, Olivier Furrer, Min-Hsun Kuo, Yongjuan Li, Florian Wangenheim, Marina Dabic, Irina Naoumova, Katsuhiko Shimizu, María Teresa Garza Carranza, Ping Ping Fu, Vojko V. Potocan, Andre Pekerti, Tomasz Lenartowicz, Narasimhan Srinivasan, Tania Casado, Ana Maria Rossi, Erna Szabo, Arif Butt, Ian Palmer, Prem Ramburuth, David M. Brock, Jane Terpstra-Tong, Ilya Grison, Emmanuelle Reynaud, Malika Richards, Philip Hallinger, Francisco B. Castro, Jaime Ruiz-Gutiérrez, Laurie Milton, Mahfooz Ansari, Arunas Starkus, Audra Mockaitis, Tevfik Dalgic, Fidel León-Darder, Hung Vu Thanh, Yong-lin Moon, Mario Molteni, Yongqing Fang, Jose Pla-Barber, Ruth Alas, Isabelle Maignan, Jorge C. Jesuino, Chay-Hoon Lee, Joel D. Nicholson, Ho-Beng Chia, Wade Danis, Ajantha S. Dharmasiri & Mark Weber - 2014 - Journal of Business Ethics 122 (2):283–306.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  13. Causal Selection Versus Causal Parity in Biology: Relevant Counterfactuals and Biologically Normal Interventions.Marcel Weber - forthcoming - In C. Kenneth Waters & James Woodward (eds.), Philosophical Perspectives on Causal Reasoning in Biology. Minnesota Studies in Philosophy of Science. Vol. XXI. Minneapolis: University of Minnesota Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Eternalism and Propositional Multitasking: In Defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. On the Incompatibility of Dynamical Biological Mechanisms and Causal Graphs.Marcel Weber - 2016 - Philosophy of Science 83 (5):959-971.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  17. Experimental Modeling in Biology: In Vivo Representation and Stand-Ins As Modeling Strategies.Marcel Weber - 2014 - Philosophy of Science 81 (5):756-769.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Linguistic Structures and Economic Outcomes.Clas Weber & Astghik Mavisakalyan - 2017 - Journal of Economics Surveys 32 (3):916-939.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. How Objective Are Biological Functions?Marcel Weber - 2017 - Synthese 194 (12):4741-4755.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Our Knowledge of the Internal World. [REVIEW]Clas Weber - 2008 - Disputatio 3 (25):59-65.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  23. Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse. [REVIEW]R. Zach - 2005 - History and Philosophy of Logic 26 (4):369-371.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2020
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Reference, Truth, and Biological Kinds.Marcel Weber - 2014 - In: J. Dutant, D. Fassio and A. Meylan (Eds.) Liber Amicorum Pascal Engel.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. The Fact of Evolution: Implications for Science Education.James R. Hofmann & Bruce H. Weber - 2003 - Science & Education 12 (8):729-760.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Experimentation Versus Theory Choice: A Social-Epistemological Approach.Marcel Weber - 2011 - In Hans Bernhard Schmid, Daniel Sirtes & Marcel Weber (eds.), Collective Epistemology. Ontos. pp. 20--203.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Thought Experiments in Biology.Guillaume Schlaepfer & Marcel Weber - 2018 - In Michael T. Stuart, Yiftach J. H. Fehige & James Robert Brown (eds.), The Routledge Companion to Thought Experiments. London: Routledge. pp. 243-256.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  30. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  84
    Evaluation of a Student-Oriented Logic Course.Aaron Thomas-Bolduc & Richard Zach - 2018 - ISSOTL 2018 Annual Meeting.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Systematic Construction of Natural Deduction Systems for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.
    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.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Labeled Calculi and Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  35. Effective Finite-Valued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Consciousness and Rationality From a Process Perspective.Michel Weber - 2010 - In Michel Weber & Anderson Weekes (eds.), Process Approaches to Consciousness in Psychology, Neuroscience, and Philosophy of Mind. State University of New York Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  93
    Numbers and Functions in Hilbert's Finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39. Rebels with a Cause: Self-Preservation and Absolute Sovereignty in Hobbes's Leviathan.Elijah Weber - 2012 - History of Philosophy Quarterly 29 (3):227-246.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Completeness of a First-Order Temporal Logic with Time-Gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Zwölf Antworten auf Williams' Paradox.Marc Andree Weber - 2017 - Zeitschrift für Philosophische Forschung 71 (1):128-154.
    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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Genes, Causation and Intentionality.Marcel Weber - 2005 - History and Philosophy of the Life Sciences 27 (3/4):399-411.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Algorithmic Structuring of Cut-Free Proofs.Matthias Baaz & Richard Zach - 1993 - In Egon Börger, Hans Kleine Büning, Gerhard Jäger, Simone Martini & Michael M. Richter (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Berlin: Springer. pp. 29–42.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and Any Other Truth-Functional Connective).Richard Zach - 2016 - Journal of Philosophical Logic 45 (2):183-197.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Compact Propositional Gödel Logics.Matthias Baaz & Richard Zach - 1998 - In 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. Los Alamitos: IEEE Press. pp. 108-113.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  58
    Elimination of Cuts in First-Order Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1994 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  49. Whitehead as a Neglected Figure of 20th Century Philosophy.Anderson Weekes & Michel Weber - 2010 - In Michel Weber & Anderson Weekes (eds.), Process Approaches to Consciousness in Psychology, Neuroscience, and Philosophy of Mind. Albany: State University of New York Press. pp. 57-72.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Hans Kleine Büning (ed.), Computer Science Logic. CSL 1995. Selected Papers. Berlin: Springer. pp. 1--15.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 185