By way of contrast, such transformational grammars are also commonly used to provide formal definitions of language are commonly used in formal logic, in formal theories of grammar, and in applied computational linguistics.
Free logic has also found application elsewhere most prominently in theories of predication, programming languages, set theory, logics of presupposition (with neutral semantics), and definedness logics.
This isn't necessarily news.... Most people can see the inherent logic in the theory of "save more, start earlier".
As we saw in Section 2.1 Boolos defined an interpretation of the theory MSO of monadic second-order logic in the theory PFO of plural quantification.
Psychologism (in its negative sense) is the "inappropriate use of psychological method" in logic and theory of knowledge, Meinong says (1904b, §8, 23 [95]).
Specifically, we define two semantic criteria for single transferable vote (STV) schemes, formulated in first-order logic over the theories of arrays and integers, and show how bounded model-checking and SMT solvers can be used to check whether these criteria are met.
Chrysippus excelled in logic, the theory of knowledge, ethics and physics.
Outside the Lyceum, the Stoic school was partly following Aristotle in its interest in formal logic, the theory of meaning, and use of the categories (e.g., substance, quality, relation).
So one might suppose that Quine accepts extensionality reluctantly, as the price to be paid for the advantages of the use of logic in regimenting theory.
The model which Dewey had projected in his logical studies, including How We Think and Logic: A Theory of Inquiry, in which problematic situations were resolved by scientific method as reflective intelligence advancing empirical hypotheses which can be empirically tested, stressed the similarities between the context of these issues or problems and research in the natural sciences.
