Fachbereich Philosophie

Sturm, Holger

Philosophie.Fachbereich.Personalverzeichnis.Sturm, Holger

zur Person

Dr. phil., Holger Sturm


Schwerpunkte in Forschung und Lehre

  • Erkenntnistheorie
  • Logik
  • Ontologie
  • Philosophie des Geistes
  • Sprachphilosophie

Work in Progress

  • Begriffe und Intentionalität (Habilitationsprojekt)
  • Understanding Sellars' Looks-Talk
  • Ist Brandoms strukturelle Objektivität objektiv genug?
  • Kripke über Substanzen
  • Intrinsische Eigenschaften
  • War Hume kausaler Realist?

Publikationen

2007 

  • Brandom und der Bedeutungsskeptiker. In: A. Rami, H. Wansing (Hrsg.) : Referenz und Realität, Mentis, Paderborn, S. 209-235.

 

2005

  • Reduktion und Supervenienz. In: W. Spohn, P. Schroeder-Heister, E. Olsson (Hrsg.) : Logik in der Philosophie, Synchron, Heidelberg, S. 305-336.


2004

  • Russell's paradox and our conception of properties, or: Why semantics is no proper guide to the nature of properties. In: G. Link (Hrsg.): One Hundred Years of Russell's Paradox, de Gruyter, Berlin, S. 591-609.
  • Bealers Masterargument: ein Lehrstück zum Verhältnis von Semantik und Metaphysik (mit V. Halbach).  Facta Philosophica 6 (2004), S. 97-110.


2003

  • Intrinsische und extrinsische Eigenschaften I Forschungsberichte der DFG-Forschergruppe Logik in der Philosophie Nr.106, 37 Seiten.
  • Axiome für Eigenschaften Forschungsberichte der DFG-Forschergruppe Logik in der Philosophie Nr.107, 28 Seiten.
  • Logics of metric spaces (mit O. Kutz, N.-Y. Suzuki, F. Wolter und M. Zakharyaschev). ACM Transactions in Computational Logic (2003), im Erscheinen.


2002

  • Is there anything special about Strawson's real materialism? Forschungsberichte der DFG-Forschergruppe Logik in der Philosophie Nr.102, 10 Seiten.
  • Sprechen über die Welt: Zu Robert Brandoms "Making it explicit'' (mit J. Haag). Philosophisches Jahrbuch 109 (2002), S. 323-342.
  • The true bisimulations for since and until. Logic and Logical Philosophy 10 (2002), 173-183.
  • Common knowlege and quantification (mit F. Wolter und M. Zakharyaschev). Economic Theory 19 (2002), S. 157-186.
  • A tableau calculus for temporal description logic: the expanding domain case (mit F. Wolter). Journal of Logic and Computation (2002), S. 809-838.
  • A tableau decision algorithm for modalized ALC with constant domains (mit C. Lutz, F. Wolter und M. Zakharyaschev). Studia Logica 72 (2002), S.199-232.
  • Fusions of Description Logics and Abstract Description Systems (mit F. Baader, C. Lutz und F. Wolter). Journal of Artificial Intelligence Research 16 (2002), S. 1-58.
  • Axiomatizing distance logics (mit O. Kutz, N.-Y. Suzuki, F. Wolter und M. Zakharyaschev). Journal of Applied Non-Classical Logic 12 (2002), 425-439.


2001

  • First-order expressivity for S5-models: modal vs. two-sorted languages (mit F. Wolter). Journal of Philosophical Logic 30 (2001), S. 571-590
  • Global definability in modal logic (mit M. de Rijke). In H. Wansing (Hrsg.): Essays on Non-classical Logic, World Scientific Publishers, London 2001, S. 111-135.
  • First-order logics of common knowledge are not axiomatizable! What shall we do? Workshop: Logic and Logical Philosophy 2001, Reader, Dresden 2001, 5 Seiten.
  • Tableaux for temporal description logic with constant domains (mit C. Lutz, F. Wolter und M. Zakharyaschev).
  • In Automated Reasoning, Proceedings of IJCAR, Lecture notes in Artificial Intelligence 2083, Springer, Berlin 2001, S. 121 - 136, 2001; ausführliche Version als LTCS-Report 01-01, RWTH Aachen, Aachen 2001, 30 Seiten.


2000

  • Elementary classes in basic modal logic. Studia Logica 64 (2000), S. 193-213.
  • Modal horn classes. Studia Logica 64 (2000), S. 301-313.
  • Monodic epistemic predicate logic (mit F. Wolter und M. Zakharyaschev). In M. Ojeda-Aciego u.a. (Hrsg.): Logics in Artificial Intelligence, JELIA 2000, Lecture Notes in Artificial Intelligence vol. 1919, Springer, Berlin 2000, S. 329-344.
  • Semi-qualitative reasoning about distances: a preliminary report (mit N.-Y. Suzuki, F. Wolter und M. Zakharyaschev). In M. Ojeda-Aciego u.a. (Hrsg.): Logics in Artificial Intelligence, JELIA 2000, Lecture Notes in Artificial Intelligence vol. 1919, Springer, Berlin 2000, S. 37-56.
  • Fusions of description logics (mit F. Baader, C. Lutz und F. Wolter). In F. Baader & U. Sattler (Hrsg.): 2000 International Workshop on Description Logics, RWTH Aachen, Aachen 2000, S. 21-30.


1999

  • Global vs. local in basic modal logic (mit M. de Rijke). In J. Mittelstraß (Hrsg.): Die Zukunft des Wissens, XVIII. Deutscher Kongress für Philosophie, Universitätsverlag Konstanz, Konstanz 1999, S. 629-635


1998

  • Interpolation and preservation in ML_omega_1. Notre Dame Journal of Formal Logic 39 (1998), S. 190-211.
  • A complete axiomatization for ML_omega_1. CIS-Bericht-98-113, München 1998, .


1997

  • Modale Fragmente von L_omega\omega und L_omega_1\omega. Dissertation, CIS-Bericht-97-104, München 1997, 194 Seiten.


1996

  • Elementary classes in modal logic. In M. de Rijke (Hrsg.): Observational Equivalence and Logical Equivalence, Reader, Prag, 1996.

Laufende Veranstaltungen

Erkenntnistheorie (8 ECTS-Credits)

Di 14 - 16 Uhr, E 404
Do  8 - 10 Uhr, E 404    H. Sturm

Was ist Erkenntnis? Wo liegen ihre Grenzen? Welche Arten der Erkenntnis gibt es? Können wir überhaupt etwas erkennen? Besitzt unsere Erkenntnis ein Fundament? Welche Rolle spielt die Wahrnehmung dabei? Ist Wissen dasselbe wie wahre, gerechtfertige Meinung? Wie verhalten sich Glauben und Wissen zueinander? Dies sind nur einige der wichtigsten Fragen, die im Rahmen der philosophischen Erkenntnistheorie behandelt werden. Die Veranstaltung bietet eine Einführung in diesen  grundlegenden Bereich der theoretischen Philosophie. Obwohl der Schwerpunkt dabei auf die systematischen Fragen und Probleme gelegt werden wird, sollen auch die wichtigsten historischen Positionen zur Sprache gebracht werden. Diese Veranstaltung ist verpflichtend für alle Bachelor-Studierenden im 2. Semester, kann aber natürlich auch von anderen Studierenden (im Grundstudium) besucht werden.
Hausarbeit möglich.

BA: K-2
LA: T