Logik in der Philosophie

• Antragsteller: Professor Dr. Peter Schroeder-Heister
• Fachliche Zuordnung: Philosophie
• Förderung: Förderung von 1997 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Forschungsgruppen
• Teilprojekt zu: FOR 268: Logik in der Philosophie
• Beteiligte Personen: Dr. Ulf Friedrichsdorf; Professor Dr. André Fuhrmann; Professor Dr. Walter Hoering (†); Professor Dr. Hans Rott; Professor Dr. Wolfgang Spohn; Professor Dr. Thomas E. Zimmermann