Sissejuhatus vaimufilosoofiasse
Nageli reduktsioonimudel. Klassikaline reduktsioonimudel – Ernest Nagel, loogilise empirismi vaimus.
Ühe teadusliku teooria taandamine fundamentaalsemale teooriale. Loogilis-matemaatiline deduktsioon.
Teooria seadused tuletatakse alusteooria seadustest. Kuna kahel teoorial on oma sõnavara, saab tuletust läbi
viia vaid siis kui arvestatakse lisaeeldusi, mis seaks kahe teooria predikaadid omavahel vastavusse. Nendeks
lisaeeldusteks on sillaseadused – empiirilised ja kontingentsed korrelatsioonid, mis ühendavad kahe teooria
predikaate. Teooria T on redutseeritav teooriale T*, kui T on loogiliselt tuletatav T*st ja sillaseadustest.
Sillaseadused. Kui teooria T on taandatav teooriale T*, siis peab iga T primitiivse predikaadi M jaoks
leiduma sillaseadus kujul M ↔ N, mis esitab M’ga sama ekstensiooniga predikaadi N teoorias T*.
Sillaseadused esitavad iga taandatava teooria omaduste kohta omaduse alusteooria valdkonnas. St, et
annaabi.ee 
