And despite ongoing interest in the status of logical knowledge and resource bounded reasoning and choice, fields such as traditional epistemology and decision theory have to date made little use of the detailed analyses of computational difficulty discussed above.
Together with a logical knowledge base, effectively a logic program consisting of logical facts and rules, it induces a ground LP.
A third issue concerns Boghossian (2001 and 2003)'s explanation of our logical knowledge via implicit definitions, criticised as resting on a non-transmissive argument schema (see for instance Ebert 2005 and Jenkins 2008).
Model-based reasoning has been proposed as an alternative form of representing and accessing logical knowledge bases.
Come up with logical knowledge that will spark a conversation he had no clue of!
For on the one hand, a traditional view in epistemology is that logical knowledge – e.g. knowledge that certain statements are logical validities – is a paradigm case of a priori knowledge.
The resulting probabilistic generalizations of default reasoning from conditional knowledge bases allow for handling in a uniform framework strict logical knowledge, default logical knowledge, as well as purely probabilistic knowledge.
The semi-logical fallacies mostly trade on ambiguous middle terms and are therefore also logical fallacies, but their detection requires extra-logical knowledge including that of the senses of terms[4] and knowledge of the subject matter (Bk. III, §2); they include, among others, the fallacies of ambiguity, and division and composition.
Finally, the following quote from A Eddington, the eminent British astrophysicist, carries considerable logical force: "Our knowledge of the nature of the objects treated in physics consists solely on readings of pointers (on instrument dials) and other indicators.
It seems that Copi took Whately's category of semi-logical fallacies and moved them under a new heading of 'informal fallacies,' presumably for the reason that extra-logical knowledge is needed to uncover their invalidity.
