Order:
See also
Timm Lampert
Humboldt-University, Berlin
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  72
    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; (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  48
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  47
    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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  46
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  7.  45
    Farbausschluss im Tractatus logico-philosophicus.Timm Lampert - 2002 - In Wittgenstein-Jahrbuch. pp. 87-96.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  30
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  9.  22
    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.
    Download  
     
    Export citation  
     
    Bookmark