Results for 'Timm Lampert*'

261 found
Order:
  1.  72
    Wittgenstein on the Infinity of Primes.Timm Lampert* - 2008 - History and Philosophy of Logic 29 (1):63-81.
    It is controversial whether Wittgenstein's philosophy of mathematics is of critical importance for mathematical proofs, or is only concerned with the adequate philosophical interpretation of mathematics. Wittgenstein's remarks on the infinity of prime numbers provide a helpful example which will be used to clarify this question. His antiplatonistic view of mathematics contradicts the widespread understanding of proofs as logical derivations from a set of axioms or assumptions. Wittgenstein's critique of traditional proofs of the infinity of prime numbers, specifically those of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Jeffrey Timm (Ed.), Text in Context: Traditional Hermeneutics in South Asia.Jeffrey Timm (ed.) - 1992 - State University of New York Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  59
    Human Decisions in Moral Dilemmas Are Largely Described by Utilitarianism: Virtual Car Driving Study Provides Guidelines for Autonomous Driving Vehicles.Anja K. Faulhaber, Anke Dittmer, Felix Blind, Maximilian A. Wächter, Silja Timm, Leon R. Sütfeld, Achim Stephan, Gordon Pipa & Peter König - 2019 - Science and Engineering Ethics 25 (2):399-418.
    Ethical thought experiments such as the trolley dilemma have been investigated extensively in the past, showing that humans act in utilitarian ways, trying to cause as little overall damage as possible. These trolley dilemmas have gained renewed attention over the past few years, especially due to the necessity of implementing moral decisions in autonomous driving vehicles. We conducted a set of experiments in which participants experienced modified trolley dilemmas as drivers in virtual reality environments. Participants had to make decisions between (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  6
    Memory Category Fluency, Memory Specificity, and the Fading Affect Bias for Positive and Negative Autobiographical Events: Performance on a Good Day–Bad Day Task in Healthy and Depressed Individuals.Caitlin Hitchcock, Jill Newby, Emma Timm, Rachel M. Howard, Ann-Marie Golden, Willem Kuyken & Tim Dalgleish - forthcoming - Journal of Experimental Psychology: General.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    Moral Intuition or Moral Disengagement? Cognitive Science Weighs in on the Animal Ethics Debate.Simon Timm - 2016 - Neuroethics 9 (3):225-234.
    In this paper I problematize the use of appeals to the common intuitions people have about the morality of our society’s current treatment of animals in order to defend that treatment. I do so by looking at recent findings in the field of cognitive science. First I will examine the role that appeals to common intuition play in philosophical arguments about the moral worth of animals, focusing on the work of Carl Cohen and Richard Posner. After describing the theory of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  3
    Characterization of Dry Milled Powders of LAST Thermoelectric Material.A. L. Pilchak¶, F. Ren, E. D. Case, E. J. Timm, H. J. Schock, C. -I. Wu & T. P. Hogan - 2007 - Philosophical Magazine 87 (29):4567-4591.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  20
    Young's Modulus as a Function of Composition for an N-Type Lead–Antimony–Silver–Telluride Thermoelectric Material.F. Ren, E. D. Case, E. J. Timm & H. J. Schock - 2007 - Philosophical Magazine 87 (31):4907-4934.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  7
    Temperature-Dependent Elastic Moduli of Lead Telluride-Based Thermoelectric Materials.F. Ren, E. D. Case, J. E. Ni, E. J. Timm, E. Lara-Curzio, R. M. Trejo, C. -H. Lin & M. G. Kanatzidis - 2009 - Philosophical Magazine 89 (2):143-167.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  6
    Sensation of Agency and Perception of Temporal Order.Jana Timm, Marc Schönwiesner, Iria SanMiguel & Erich Schröger - 2014 - Consciousness and Cognition 23:42-52.
  10.  2
    Residual Neural Processing of Musical Sound Features in Adult Cochlear Implant Users.Lydia Timm, Peter Vuust, Elvira Brattico, Deepashri Agrawal, Stefan Debener, Andreas Bã¼Chner, Reinhard Dengler & Matthias Wittfoth - 2014 - Frontiers in Human Neuroscience 8.
  11.  28
    Bernard Gert's Morality and its Application to Computer Ethics.Triplett Timm - 2002 - Ethics and Information Technology 4 (1):79-92.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  17
    Obscenity, Anarchy, Reality.Jeffrey Timm & Crispin Sartwell - 1997 - Philosophy East and West 47 (3):447.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Temperature-Dependent Thermal Expansion of Cast and Hot-Pressed LAST Thermoelectric Materials.F. Ren, B. D. Hall, E. D. Case, E. J. Timm, R. M. Trejo, R. A. Meisner & E. Lara-Curzio - 2009 - Philosophical Magazine 89 (18):1439-1455.
  14.  41
    A história oral e suas contribuições para o estudo das culturas escolares // Oral history and its contributions to the study of school cultures.Milena Aragão, Jordana Wruck Timm & Lúcio Kreutz - 2013 - Conjectura: Filosofia E Educação 18 (2):28-41.
    O presente artigo tem como objetivo evidenciar as contribuições da História Oral como um importante caminho metodológico para os estudos das culturas escolares. Para tanto, o texto inicia discutindo as mudanças ocorridas no campo da História, que deram voz aos sujeitos do cotidiano. Em seguida o conceito de culturas escolares é entrelaçado à História Oral, sendo abordada como uma das possibilidades para recuperar os registros do passado através da subjetividade dos sujeitos de hoje. O artigo é concluído através de uma (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  21
    Eine theologische Tragikomödie. Lessings Neuinszenierung der Geistesgeschichte.Hermann Timm - 1982 - Zeitschrift für Religions- Und Geistesgeschichte 34 (1):1-17.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  15
    Amor fati? Karl Löwith über Christen- und Heidentum (1).Hermann Timm - 1977 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 19 (1):78-94.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  22
    Prolegomenon to Vallabha's Theology of Revelation.Jeffrey R. Timm - 1988 - Philosophy East and West 38 (2):107-126.
  18.  23
    Report on the Sixth East-West Philosophers' Conference "Culture and Modernity: The Authority of the Past".Jeffrey R. Timm - 1991 - Philosophy East and West 41 (4):457-476.
  19.  7
    Festschrift. Die Geburt des Christentums Aus Dem Geist des Buchstabens. Rekapitulationshermeneutik.Hermann Timm - 1993 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 35 (3):266-275.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  9
    The Celebration of Emotion: Vallabha's Ontology of Affective Experience.Jeffrey R. Timm - 1991 - Philosophy East and West 41 (1):59-75.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Tips: The Child Voice.Mary Goetze, Terrence Bacon, Kristen Bugos, Shelley Cooper, Diana Dansereau, Elisabeth Etopio, Heather Gravelle, Lily Chen-Haftek, Deborah Hickel, Christina Hornbach, Yi-Ting Huang, James Jordan, Jooyoung Lee, Yu-Chen Lin, Sheryl May, Jennifer McDonel, Diane Persellin, Cynthia Lahr Timm, Lawrence Timm, Susan Waters, Wendy Valerio & Paula Van Houten - 2010 - R&L Education.
    Packed with ideas designed to help children learn to sing, this booklet offers criteria for selecting songs, strategies to bring out the best in children's voices, and suggestions for games, ideas, and resources.
     
    Export citation  
     
    Bookmark  
  22. Buddhism, Knowledge and Liberation: A Philosophical Study, by David Burton. [REVIEW]Jeffrey Timm - 2005 - Ars Disputandi 5.
     
    Export citation  
     
    Bookmark  
  23. Review of Curators of the Buddha: The Study of Buddhism Under Colonialism by Donald S. Lopez, Jr.; and of Engaged Buddhism: Buddhist Liberation Movements in Asia by Christopher S. Queen and Sallie B. King. [REVIEW]Jeffrey Timm - 1997 - Philosophy East and West 47 (4):588-595.
     
    Export citation  
     
    Bookmark  
  24. Richard Rorty and the Problem of Postmodern Experience: A Reconstruction.Tobias Timm - 2019 - Lexington Books.
    This book addresses the implications of Richard Rorty’s rejection of experience. The author argues that there are ways to recover a concept of experience that is consistent with Rorty’s preference for a linguistic style of pragmatism.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Wilhelm Hennis.H. C. Timm - 2004 - In Gisela Riescher (ed.), Politische Theorie der Gegenwart in Einzeldarstellungen. Von Adorno Bis Young. Alfred Kröner Verlag. pp. 343--226.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Adequate Formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
    This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  27.  11
    Underdetermination and Provability: A Reply to Olaf Müller.Timm Lampert - 2017 - British Journal for the History of Philosophy 25 (2):389-400.
    Newton claims to have proven the heterogeneity of light through his experimentum crucis. However, Olaf Müller has worked out in detail Goethe’s idea that one could likewise prove the heterogeneity of darkness by inverting Newton’s famous experiment. Müller concludes that this invalidates Newton’s claim of proof. Yet this conclusion only holds if the heterogeneity of light and the heterogeneity of darkness is logically incompatible. This paper shows that this is not the case. Instead, in Quine’s terms, we have two logically (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Wittgenstein’s ‘Notorious Paragraph’ About the Gödel Theorem.Timm Lampert - 2006 - In Contributions of the Austrian Wittgenstein Societ. pp. 168-171.
    In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  26
    Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†.Timm Lampert - 2018 - Philosophia Mathematica 26 (3):324-345.
    According to some scholars, such as Rodych and Steiner, Wittgenstein objects to Gödel’s undecidability proof of his formula $$G$$, arguing that given a proof of $$G$$, one could relinquish the meta-mathematical interpretation of $$G$$ instead of relinquishing the assumption that Principia Mathematica is correct. Most scholars agree that such an objection, be it Wittgenstein’s or not, rests on an inadequate understanding of Gödel’s proof. In this paper, I argue that there is a possible reading of such an objection that is, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  37
    The Problem of Validity Proofs.Michael Baumgartner & Timm Lampert - 2010 - Grazer Philosophische Studien 80 (1):79-109.
    In philosophical contexts, logical formalisms are often resorted to as a means to render the validity and invalidity of informal arguments formally transparent. Since Oliver and Massey , however, it has been recognized in the literature that identifying valid arguments is easier than identifying invalid ones. Still, any viable theory of adequate logical formalization should at least reliably identify valid arguments. This paper argues that accounts of logical formalization as developed by Blau and Brun do not meet that benchmark. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  20
    Minimizing Disjunctive Normal Forms of Pure First-Order Logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3).
    In contrast to Hintikka’s enormously complex distributive normal forms of first- order logic, this paper shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the benefits of using minimized disjunctive normal forms to explain the truth conditions of propo- sitions expressible within pure first-order logic are presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  71
    Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability.Timm Lampert - 2008 - In The Logica Yearbook 2008. London: pp. 95-111.
    In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  59
    Grundlagen der Logik und Mathematik: Der Standpunkt Wittgensteins.Timm Lampert - 2003 - In Knowledge and Belief. pp. 44-51.
    Es wird gezeigt, dass Wittgenstein in seiner Frühphilosophie ein nicht-axiomatisches Beweisverständnis entwickelt, für das sich das Problem der Begründung der Axiome nicht stellt. Nach Wittgensteins Beweisverständnis besteht der Beweis einer formalen Eigenschaft einer Formel – z.B. der logischen Wahrheit einer prädikatenlogischen Formel oder der Gleichheit zweier arithmetischer Ausdrücke – in der Transformation der Formel in eine andere Notation, an deren Eigenschaften sich entscheiden lässt, ob die zu beweisende formale Eigenschaft besteht oder nicht besteht. Dieses Verständnis grenzt Wittgenstein gegenüber einem axiomatischen (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Explaining formulae of first order logic.Timm Lampert - 2006 - Ruch Filozoficzny 3 (3).
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  35.  44
    Psychophysical and Tractarian Analysis.Timm Lampert - 2003 - Perspectives on Science 11 (3):285-317.
    This paper argues for a physicalistic interpretation of Wittgenstein's Tractatus Logico-Philosophicus. Wittgenstein's general conception of world and language analysis is interpreted and exemplified in relation to the historical background of the psychophysical analysis of sense data and, in particular, color analysis. Three of his main principles of analysis—the principle of independence, the context principle and the principle of atomism—are interpreted and justified on the background of physicalism. From his proof of color exclusion in the Tractatus, it is shown that Wittgenstein (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Wittgensteins Physikalismus Die Sinnesdatenanalyse des Tractatus Logico-Philosophicus in Ihrem Historischen Kontext.Timm Lampert - 2000
    Das Buch entwickelt einen neuartigen, physikalistischen Interpretationsansatz zu Wittgensteins Tractatus Logico-Philosophicus. Das traditionelle Urteil, Wittgenstein habe im Tractatus keine klare Vorstellung der Analyse gehabt, wird widerlegt. Auf der Basis der Rekonstruktion der um die Jahrhundertwende etablierten Sinnesdatenanalysen im allgemeinen und der Farbanalysen im besonderen wird nachgewiesen, daß Wittgensteins Tractatus eine physikalische Sinnesdatenanalyse voraussetzt. Auf diesem Hintergrund werden Wittgensteins allgemeine Auffassungen zur Analyse der Welt und Sprache gedeutet, begründet und exemplifiziert. Der Tractatus liefert die philosophische Klärung des mechanistischen Weltbildes von Boltzmann (...)
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  37.  46
    A Decision Procedure for Herbrand Formulas Without Skolemization.Timm Lampert - manuscript
    This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  42
    Farbausschluss im Tractatus logico-philosophicus.Timm Lampert - 2002 - In Wittgenstein-Jahrbuch. pp. 87-96.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  41
    Colors From a Logical Point of View.Timm Lampert - 2011 - In Gudrun Wolfschmidt (ed.), Colors in Culture. Hamburg: Tredition. pp. 24-39.
    This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then logical analysis of colors.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  3
    Thomas Kirchhoff, Nicole C. Karafyliss, et al. eds. Naturphilosophie: Ein Lehr‑ und Studienbuch. Tübingen: Mohr Siebeck, 2017. 368 pp. [REVIEW]Timm Lampert - 2018 - Philosophy, Theology and the Sciences 5 (2):289.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  39
    Newton vs. Goethe.Timm Lampert - 2007 - In Trinkt, o Augen, was die Wimper hält...”. Farbe und Farben in Wissenschaft und Kunst , Berner Universitätsschriften Bd. 52. Berne: Haupt. pp. 259-284.
    Anhand der genaueren Analyse von Newtons experimentum crucis und der Argumentation, die er auf dieses Experiment stützt, sowie Goethes Kritik hieran sollen im Folgenden zwei verbreitete Vorurteile revidiert werden: -/- 1. Newton ist kein Dogmatiker, der methodische Ansprüche vertritt, die er nicht einlösen kann, sondern gründet seinen Anspruch, experimentelle Beweise führen zu können, auf einer vorbildlichen Methodologie kausaler Erklärungen, was seine Kritiker allerdings übersehen. 2. Goethe ist kein Antiwissenschaftler, der einen einzigartigen Kontrapunkt zur vorherrschenden wissenschaftlichen Tradition bildet, sondern steht inmitten (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Zur Wissenschaftstheorie der Farbenlehre.Timm Lampert - 2000 - Berne: Berne Studies in the History and Philosophy of Sciences.
    Es wird anhand von Fallbeispielen aus der Geschichte der Farbenlehre inwissenschaftstheoretische Probleme eingeführt. Das Buch dient als Grundlagefür eine anwendungsbezogene Lehre und als Einführung in folgende ThemenbereicheNewton vs. Goethe; Theorie und Experiment, Colormetrie; Empfindungsmessung;Helmholtz vs. Hering; Theorienevaluation, Psychologische Farbenlehre; Phänomenologie,Farbausschluss; Beweistheorie, Farbdefinitionen; Theorien- und Begriffsbildung.Neben Aufgaben, Texten und Lösungsvorschlägen finden sich eine Bibliographiesowie Einleitungen zu den behandelten Fragen und Lösungsvorschlägen derjeweiligen Themen.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  43.  28
    Wittgenstein's Programme of a New Logic.Timm Lampert - 2007 - In Contributions of the Austrian Wittgenstein Society 07. pp. 125-128.
    The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined in contrast to classical logic. The detailed elaboration of Wittgenstein’s conception depends on the realization of his ab-notation for first order logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  26
    Turing's Fallacies.Timm Lampert - manuscript
    This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely, (i) an 'extensional fallacy': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a meaningful sentence is proven, and (ii) a 'fallacy of substitution': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a true sentence is proven. The first fallacy erroneously suggests that Turing's proof of the non-existence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Klassische Logik. Einführung mit interaktiven Übungen.Timm Lampert - 2005 - Frankfurt: Ontos.
    Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die ber Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite berarbeitete Auflage erscheint in einem größeren und besser lesbaren Format.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  12
    Introduction.Timm Lampert & Michael Hampe - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (4):499-501.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  20
    Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Proceedings of Gap Conference.
    This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  81
    Georg Brun, Die richtige Formel, Philosophische Probleme der logischen Formalisierung.Timm Lampert - 2004 - Erkenntnis 60 (3):417-421.
  49.  9
    Wittgenstein's Elimination of Identity for Quantifier-Free Logic.Timm Lampert & Markus Säbel - unknown
    One of the central logical ideas in Wittgenstein's Tractatus logico-philosophicus is the elimination of the identity sign in favor of the so-called "exclusive interpretation" of names and quantifiers requiring different names to refer to different objects and different variables to take different values. In this paper, we examine a recent development of these ideas in papers by Kai Wehmeier. We diagnose two main problems of Wehmeier's account, the first concerning the treatment of individual constants, the second concerning so-called "pseudo-propositions" of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  14
    Wittgenstein's Ab-Notation: An Iconic Proof Procedure.Timm Lampert - 2017 - History and Philosophy of Logic 38 (3):239-262.
    This paper systematically outlines Wittgenstein's ab-notation. The purpose of this notation is to provide a proof procedure in which ordinary logical formulas are converted into ideal symbols that identify the logical properties of the initial formulas. The general ideas underlying this procedure are in opposition to a traditional conception of axiomatic proof and are related to Peirce's iconic logic. Based on Wittgenstein's scanty remarks concerning his ab-notation, which almost all apply to propositional logic, this paper explains how to extend his (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 261