more reading on Tarskian models in science
Newton da Costa reviews "An Architectonic for Science"
Pfeiffer, Niehave - EVALUATION OF CONCEPTUAL MODELS - A STRUCTURALIST APPROACH seems to be about how to evaluate the logic of scientific theories. They compare it with the problem of evaluating software.
Wajnberg, Corruble, Ganascia, and C. Ulises Moulines - A Structuralist Approach towards Computational Scientific Discovery"
Tangent:
Henry Kyburg - Combinatorial Semantics: Semantics for Frequent Validity
The title sounds dumb. But it's Henry Kyburg, and he seems thorough review of previous attempts to combine probability and logic.
Henry Kyburg - Uncertain Inferences and Uncertain Conclusions
Uncertainty may be taken to characterize inferences, their conclusions, their premises or all three. Under some treatments of uncertainty, the inference itself is never characterized by uncertainty. We explore both the significance of uncertainty in the premises and in the conclusion of an argument that involves uncertainty. We argue that for uncertainty to characterize the conclusion of an inference is natural, but that there is an interplay between uncertainty in the premises and uncertainty in the procedure of argument itself. We show that it is possible in principle to incorporate all uncertainty in the premises, rendering uncertainty arguments deductively valid. But we then argue (1) that this does not reflect human argument, (2) that it is computationally costly, and (3) that the gain in simplicity obtained by allowing uncertainty in inference can sometimes outweigh the loss of flexibility it entails.
Pfeiffer, Niehave - EVALUATION OF CONCEPTUAL MODELS - A STRUCTURALIST APPROACH seems to be about how to evaluate the logic of scientific theories. They compare it with the problem of evaluating software.
Wajnberg, Corruble, Ganascia, and C. Ulises Moulines - A Structuralist Approach towards Computational Scientific Discovery"
Tangent:
Henry Kyburg - Combinatorial Semantics: Semantics for Frequent Validity
The title sounds dumb. But it's Henry Kyburg, and he seems thorough review of previous attempts to combine probability and logic.
Henry Kyburg - Uncertain Inferences and Uncertain Conclusions
Uncertainty may be taken to characterize inferences, their conclusions, their premises or all three. Under some treatments of uncertainty, the inference itself is never characterized by uncertainty. We explore both the significance of uncertainty in the premises and in the conclusion of an argument that involves uncertainty. We argue that for uncertainty to characterize the conclusion of an inference is natural, but that there is an interplay between uncertainty in the premises and uncertainty in the procedure of argument itself. We show that it is possible in principle to incorporate all uncertainty in the premises, rendering uncertainty arguments deductively valid. But we then argue (1) that this does not reflect human argument, (2) that it is computationally costly, and (3) that the gain in simplicity obtained by allowing uncertainty in inference can sometimes outweigh the loss of flexibility it entails.