Abstrakt
Jedním z úkolů logiky je vyvinout inferenční kalkuly, které by co nejlépe zachytily vyplývání; a má se za to, že Gödel dokázal, že tohle není nikdy uskutečnitelné dokonale, že 'sémantika je více než syntax'. Na druhé straně jsme to však my, uživatelé jazyka, díky komu mají výroky své významy, bez nichž by jeden z druhého vyplývat nemohl.
Přitom existují důvody se domnívat, že významy jsou ustanovovány prostřednictvím inferenčních pravidel, kterými se naše užívání slov a vět řídí. To by ovšem znamenalo, že v jistém smyslu 'sémantika není více než syntax' - že i význam a vyplývání jsou nějak ustanoveny prostřednictvím inferenčních pravidel.
V tomto článku tedy zkoumám smysl, ve kterém může být sémantika logických počtů nahlížena jako zcela věc jejich inferenčních struktur. Závěrem je, že obvyklé výtvory formální sémantiky, jako jsou intenze nebo 'updaty', lze nahlížet jako 'zabalené inferenční role'.