Logik in der Philosophie

• Applicant: Professor Dr. Peter Schroeder-Heister
• Subject Area: Philosophy
• Term: from 1997 to 2001
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5463866

Ausgehend von den Ergebnissen der ersten Phase des Projektes soll einersetis der Begriff des Beweises näher analysiert werden, andererseits das Konzept einer beweistheoretischen Semantik verstärkt in Hinblick auf intensionale Phänomene ausgearbeitet werden. Bei den Untersuchungen zum Beweisbegriff geht es darum, eine formale Theorie nicht-formaler Beweise auszuarbeiten, die in den bisherigen Ansätzen der beweistheoretischen Semantik nicht vorliegt. Hierzu gehört insbesondere eine kritische Auseinandersetzung mit neueren Rechtfertigungsversuchen der Logik auf typentheoretischer Grundlage. Die Überlegungen zur Intensionalität basieren auf der Idee, den Begriff der Verwendung in einem Beweis zum Ausgangspunkt der Analyse zu machen. Damit soll eine beweistheoretische Semantik geliefert werden, die zu den bekannten wahrheitstheoretischen Ansätzen konkurrenzfähig ist.

• DFG Programme: Research Units
• Subproject of: FOR 268: Logik in der Philosophie
• Participating Persons: Dr. Ulf Friedrichsdorf; Professor Dr. André Fuhrmann; Professor Dr. Walter Hoering (†); Professor Dr. Hans Rott; Professor Dr. Wolfgang Spohn; Professor Dr. Thomas E. Zimmermann