In essence, Carnap's method of quasi-analysis is just that method of logical abstraction that Frege had used in §62 of the Grundlagen (albeit without seeing it as 'abstraction').
He takes it to follow that the necessary truth of an arithmetic proposition such as "7 + 5 = 12" cannot be established by any method of logical or conceptual analysis (Anderson 2004), but can be established by intuitive synthesis (Parsons 1969).
In particular, Einstein's 1905 analysis of the conventionality of simultaneity in the special theory of relativity became something of a methodological paradigm, prompting Reichenbach's own method of "logical analysis" of physical theories into subjective (definitional, conventional) and objective (empirical) components.
In a paper called 'The Method of Logical Analysis', given at a conference in 1934, for example, he wrote: "The logical analysis of a particular expression consists in the setting-up of a linguistic system and the placing of that expression in this system".
From the outset, Bernoulli wished for his work to demonstrate that combinatorics and probability theory would have numerous real-world applications in all facets of society in the line of Graunt's and de Witt's work— and would serve as a rigorous method of logical reasoning under insufficient evidence, as used in courtrooms and in moral judgements.
* ages of some respondents were outside the limits of the age groups approximately aimed at in the recruitment phase (see Methods) Analysis of logical consistency showed on average 9.4% violations on the VAS (range 9%13%13% for the 7 pairs), 16.1% for TTO-LE (range 10%29%%), and 13.6% for TTO-10 (range 6%28%28%).
Alternatively, Wittgenstein may mean that mathematical inferences (i.e., not substitutions) are in accord with, or make use of, logical inferences, and insofar as mathematical reasoning is logical reasoning, mathematics is a method of logic.
They pioneer a method of using logical analysis in a theological context which Augustine had anticipated but not developed.
The dominant goal, then, of philosophical logic is the extension of logical methods to nonmathematical reasoning domains.
Scott was the first editor in chief of Logical Methods in Computer Science, an online open-access journal founded in 2005.
