Substituce v materiálových inferenčních a logických prostředích

Standardní projekty - GAČR GA26-22448S [Registrované výsledky] 2026 - 2028

Hlavní řešitel: Ing. Wesley Fussner, Ph.D.

Logické inference jsou obvykle chápány jako inference, které platí z důvodu formy zúčastněných vět, a nikoli jejich významu. Naproti tomu materiální inference jsou inference, které platí díky významu daných vět. Významná linie myšlení – reprezentovaná dílem W. Sellarse a R. Brandoma – tvrdí, že nejdůležitější inference jsou spíše materiální povahy než povahy logické.

Tento projekt si klade za cíl rozvinout metateoretický základ pro uvažování o vztahu mezi logickými a materiálními inferencemi, přičemž jako opěrný bod využívá všeobecně uznávaný význam substituce.

Projekt využije tři přístupy k rozvoji navrhovaného metateoretického rámce: „zdola nahoru“ hierarchický přístup, který chápe logickou inferenci jako něco, co se provádí na větách již vybavených materiálními vztahy; „stejnoúrovňový“ přístup, který pojímá materiální inference a logické inference jako řízené odlišnými inferenčními standardy; a „shora dolů“ přístup, který rekonstruuje logický důsledek jako fragment materiálního důsledku.

Cíle projektu

  1. Rozvinout ucelený rámec, který integruje materiální a logickou inferenci.
  2. Ujasnit roli substituce na rozhraní mezi materiální a logickou inferencí.
  3. Vysvětlit povahu logických proměnných.