Sentence examples for theory of logic from inspiring English sources

In his Structuralist Theory of Logic (1992) he develops a theory of logical constants, in which he characterizes them by certain "implication relations", where an implication relation roughly corresponds to a finite consequence relation in Tarski's sense (which again can be described by certain structural rules of a sequent-style system).

At first sight, it might seem odd to include the study of ampliative reasoning in the theory of logic.

Whereas Frege sank into a deep depression, Russell set about repairing the damage by attempting to construct a theory of logic immune to the paradox.

But since the study of the strategies of ampliative reasoning overlaps with the study of the strategies of deductive reasoning, there is a good reason to include both in the theory of logic in a wide sense.

Originally developed by Russell as part of his efforts to overcome the contradictions in his theory of logic, this method of analysis has since become widely influential even among philosophers with no specific interest in mathematics.

George Boole (1815 1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations.

Significantly, Boole's book on the subject was called An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854).

Some theories of logic consider not only oppositions between propositions but also oppositions between terms ("well" and "not well"; "moral" and "immoral") as contradictories.

In 1854 he published An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, which he regarded as a mature statement of his ideas.

Frank Cioffi, an American philosopher influenced by Ludwig Wittgenstein and his theories of logic and language, spent much of his early career writing for journals read by the very small society of his fellow Wittgensteinians.

Quine's anti-conventionalist arguments, in conjunction with his attack upon the analytic-synthetic distinction, profoundly impacted metaphysics and epistemology, casting conventionalist theories of logic, mathematics, and ontology into general disrepute.