Correction: (max 500 charact.)
The complaint will not be published.
I 99
Verification/Natural Laws/Hempel: a general statement is checked by examining their singular consequences. Problem: each general statement specifies an infinite class of singular statements. Therefore, there is never a final verification. Conversely, no general law is derived formally from a finite set of singular statements.
---
Bubner I 125
Confirmation/Hempel/Science Theory/Bubner: The relationship of logical inclusion of sentences avoids a crucial problem of induction.
Both hypothetically valid laws or general statements as well as individual statements from observation are subject of logical consideration as sentences.
Formal rules of derivation:
Rehabilitation of deduction.
With P. Oppenheim: D N Model: the deductive nomological explanation is a scientific explanation as a logical operation with sentences, i.e. the subsumption of sentences under sentences. The explanandum is subsumed under explanation reasons (explanas). The explanas disintegrates into antecedents conditions (C1, C2,... Ck) which describe an event and general law statements (L1, L2,... Lr)
I 127
Deduction schema/Hempel:
C1, C2,... Ck
L1, L2,... Lr
E (Description of the phenomenon)
The laws are therefore subject to the premises. (Only significant innovation VsAristotle).
GoodmanVsHempel: we need law-like statements instead of laws.
Induction: the "new mystery of induction" does not concern the confirmation but the original creation of hypotheses.