Sentence examples for think of logic from inspiring English sources

Their approach attempts to naturalize logic by tying it to the actual practices of the human subjects, The relativistically inclined, however, argue that to think of logic as singular, a priori, and universal speaks of a philosophical prejudice and does not sit well with a naturalistic and scientific attitude.

Because the core theoretical topics (modal, conditional and temporal logic, belief revision, and the logic of context) are so similar, and because the ultimate goal (the formalization of nonmathematical reasoning) is the same, I think of logic in AI as a continuous extension of the philosophical logic tradition.

He thought of logic as turning on structural forms, independent of both their semantic contents and the mental acts by which they are grasped.

This is especially true since Zsyntax is a logic, and one usually thinks of logic as a qualitative tool for formalization.

However, when it comes to attempting to understand the deep structure of classical proof systems (and in particular, when two derivations that differ in some superficial syntactic way are really different ways to represent the one underlying 'proof') it is enlightening to think of classical logic as formed by a basic substructural logic, in which extra structural rules are imposed as additions.

Field holds that the goals that many of us in fact adopt such as wanting logical truths to be necessarily true do a lot to restrict the range of logics that are acceptable but that "it isn't obvious that there need be a uniquely best logic for a given goal, much less that we should think of one logic as 'uniquely correct' in some goal-independent sense" (Field 2009, 356).

I can't think of any logic to fight Barroso.

If we think of our logic as being a central part of our language of thought, and if we thus adopt the view that our logic is part of our machine table, then we must accept that our logic might not be unique.

Justification Logic can be thought of as logic of explicit knowledge, related to more conventional logics of implicit knowledge.

No one reports anything for Xenocrates about what we would think of as pure logic; Sextus (Adversus mathematicos vii 147 149) gives us a scrap about epistemology.

Frege attempted to remedy the situation by completely rethinking the foundations of logic, developing what we now think of as modern symbolic logic.