*Podstawowe elementy teorii empirycznej:
Teorie ujęte opisowo:
Tφ = <L, T, CnL-M, R, K>
Tφ - teoria ujęta opisowo
L - język teorii
T - zbiór zdań zaakceptowanych jako twierdzenia teorii
CnL-M - ogół środków dowodowych stosowanych na gruncie dej teorii przy uzasadnieniu jednych zdań na podstawie innych
R - właściwe dla danej teorii procedury pomiarowe i diagnostyczne
K - zasięg teorii, tj. zbiór wszystkich tych systemów empirycznych, która dana teoria opisuje
*Teoria empiryczna jako system formalny
język teorii wyznaczany przez V
L = <V,RK>
V - słownik teorii, terminy specyficzne
RK - reguły konstrukcji teorii (gramatyka)
teoria jako system formalny
Tsf = <L, T, CnL-M>
Tsf = CnL-M (T)
CnL (T) C(zaw. sie)T
Rozpatruje język; zbiór wszystkich twierdzeń i operacje uzasadniania
teoria jako system formalny zaksjomatyzowany
T= CnL-M (Ax)
Ax - aksjomaty teorii
teoria jako system semantyczny:
Tsem = <L, T, CnL-M, K>
L- język rachunku predykatów teorii I-do rzędu z identycznością
T - prawo nauki (statystyczne lub niestatystyczne ściśle ogólne)
K - dziedzina przedmiotowa
R - teorie empiryczne różnią się od formalnych tym, że w tych drugich nie występuje R. Problem z R polega na sformułowaniu procedur badawczych dla danej teorii, a procedury są różne dla różnych teorii. Stąd w metodologii nie analizuje się R, a zdania przyjmowane są na podstawie procedur pomiarowych i diagnostycznych (R). R charakteryzuje się w sposób ogólny.
*Założenia neopozytywistycznego paradygmatu rekonstrukcji teorii empirycznych
założenie mocne: obiekty indywidualne, właściwości i relacje stanowiące dziedzinę interpretacji obserwacyjnej części języka teorii empirycznej są bezpośrednio obserwowalne
założenie słabsze: w słabszej wersji denotacje terminów obserwacyjnych mogą być ustalone na drodze obserwacji i pomiarów z wykorzystaniem przyjętych teorii lecz niezależnie od postulatów teorii rozważanej
każda wartość dowolnej zmiennej indywidualnej jeżyka Lo' musi być denotowana przez odpowiednią nazwę indywidualną języka Lo (warunek ten zapewnia ekstraspekcyjną interpretację języka Lo'