Timm Lampert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Wittgenstein's ab -Notation: An Iconic Proof Procedure

Journal:

History and Philosophy of Logic

Year:

2017

Language:

english

File:

PDF, 709 KB

english, 2017

2

Wittgensteinâs Elimination of Identity for Quantifier-Free Logic

LAMPERT, TIMM, SÃBEL, MARKUS

Journal:

The Review of Symbolic Logic

Year:

2020

File:

PDF, 430 KB

2020

3

Adequate formalization

Michael Baumgartner, Timm Lampert

Journal:

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

4

Wittgenstein on the Infinity of Primes

Journal:

History and Philosophy of Logic

Year:

2008

Language:

english

File:

PDF, 204 KB

english, 2008

5

Psychophysical and Tractarian Analysis

Journal:

Perspectives on Science

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

6

Underdetermination and provability: a reply to Olaf Müller

Journal:

British Journal for the History of Philosophy

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

7

THE PROBLEM OF VALIDITY PROOFS

Lampert, Timm, Baumgartner, Michael

Journal:

Grazer Philosophische Studien

Year:

2010

File:

PDF, 217 KB

2010

8

Die richtige Formel, Philosophische Probleme der logischen Formalisierungby Georg Brun

Review by: Timm Lampert and Michael Baumgartner

Journal:

Year:

2004

Language:

english

File:

PDF, 576 KB

english, 2004

9

Klassische Logik (Einführung mit interaktiven Übungen) || LISTE DER GÜLTIGEN SYLLOGISMEN

Year:

2004

File:

PDF, 81 KB

2004

10

Wittgenstein and Gödel: An Attempt to Make ‘Wittgenstein’s Objection’ Reasonable†

Journal:

Philosophia Mathematica

Year:

2017

Language:

english

File:

PDF, 275 KB

english, 2017

11

Georg Brun,Die richtige Formel, Philosophische Probleme der logischen Formalisierung.

Journal:

Year:

2004

Language:

english

File:

PDF, 39 KB

english, 2004

12

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT

Year:

2004

Language:

german

File:

PDF, 348 KB

german, 2004

13

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 2. WAHRHEITSWERTTABELLEN

Year:

2004

Language:

german

File:

PDF, 277 KB

german, 2004

14

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK

Year:

2004

Language:

german

File:

PDF, 1.57 MB

german, 2004

15

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN

Year:

2004

Language:

german

File:

PDF, 228 KB

german, 2004

16

Klassische Logik (Einführung mit interaktiven Übungen) || LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN

Year:

2004

Language:

german

File:

PDF, 148 KB

german, 2004

17

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 11. IDENTITÄT

Year:

2004

Language:

german

File:

PDF, 269 KB

german, 2004

18

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 4. AUSSAGENLOGISCHER KALKÜL

Year:

2004

Language:

german

File:

PDF, 302 KB

german, 2004

19

Klassische Logik (Einführung mit interaktiven Übungen) || LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN

Year:

2004

Language:

german

File:

PDF, 115 KB

german, 2004

20

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 8. Q-INTERPRETATIONEN

Year:

2004

Language:

german

File:

PDF, 273 KB

german, 2004

21

Klassische Logik (Einführung mit interaktiven Übungen) || INDEX

Year:

2004

Language:

german

File:

PDF, 138 KB

german, 2004

22

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK

Year:

2004

Language:

german

File:

PDF, 230 KB

german, 2004

23

Klassische Logik (Einführung mit interaktiven Übungen) || VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE

Year:

2004

Language:

german

File:

PDF, 104 KB

german, 2004

24

Klassische Logik (Einführung mit interaktiven Übungen) || VERZEICHNIS DER ZITIERTEN SCHRIFTEN

Year:

2004

File:

PDF, 120 KB

2004

25

Klassische Logik (Einführung mit interaktiven Übungen) || NACHWORT

Year:

2004

Language:

german

File:

PDF, 107 KB

german, 2004

26

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG

Year:

2004

Language:

german

File:

PDF, 290 KB

german, 2004

27

Klassische Logik (Einführung mit interaktiven Übungen) || VORWORT

Year:

2004

Language:

german

File:

PDF, 110 KB

german, 2004

28

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 1. KLASSISCHE LOGIK

Year:

2004

Language:

german

File:

PDF, 268 KB

german, 2004

29

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION

Year:

2004

Language:

german

File:

PDF, 289 KB

german, 2004

30

Klassische Logik (Einführung mit interaktiven Übungen) || LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG

Year:

2004

Language:

german

File:

PDF, 2.01 MB

german, 2004

31

Adequate Formalization

Michael Baumgartner and Timm Lampert

Journal:

Year:

2008

Language:

english

File:

PDF, 3.01 MB

english, 2008

32

Minimizing disjunctive normal forms of pure first-order logic

Journal:

Logic Journal of IGPL

Year:

2017

Language:

english

File:

PDF, 473 KB

english, 2017

33

Introduction

Lampert, Timm, Hampe, Michael

Journal:

Journal for General Philosophy of Science

Year:

2018

Language:

english

File:

PDF, 287 KB

english, 2018

34

PAUL ENGELMANNS PSYCHOLOGIE GRAPHISCH DARGESTELLT

Grasshoff, Gerd, Lampert, Timm

Journal:

Grazer Philosophische Studien

Year:

1996

File:

PDF, 3.46 MB

1996