|Analytic/synthetic: achieved by decomposition or by composition. In philosophy analytically true = true according to the meaning of the components - synthetic insight = substantial expansion of knowledge.|
Books on Amazon
|Mates I 284
Bolzano/Mates: (1781 1848): logical workings are scattered in his work.
Analytics: relatively exact definition with the help of interpretation. Likewise for inference.
Proposition/Bolzano: puts it against statements. One proposition can be obtained from another by substituting its constituents.
MatesVsBolzano: "Replacement" is unclear here,
because it is applied to types of objects that are not to be spatial and not temporal.
Definition analytical/Bolzano: a proposition is generally valid with respect to a particular component if the result of any substitution of these parts by other terms is true.
Definition analytical in a broad sense: if the proposition is generally valid or generally invalid. Otherwise, it is synthetic.
Definition closely analytical: if the proposition in reference to all the components apart from the logical one is analytic.
MatesVs: Problem of arbitrary distinction of logical/non-logical constants.
Elementare Logik Göttingen 1969