The eliminativist conclusion regarding propositional
attitudes championed by Churchland can be made explicit in the following argument, adapted from Stich (1983 and 1996):
The unit propagate operation is based on a simple inference rule in propositional
logic that given a formula F in clausal normal form allows utilization of knowledge about unit clauses occurring in F or being inferred so far by the DPLL procedure in order to conclude new inferences.
This contrasts with the definition of ordinary propositional
knowledge that involves: A) belief and truth, B) the possibility of not being transparent to the agent and C) vulnerability to Gettier-style cases.
Similarly, Gawronski, Strack, and Bodenhausen (2009) have argued that implicit attitudes are sensitive to associative processes that are fast and require little cognitive capacity, but are not sensitive to propositional
thinking, which often requires greater cognitive capacity.
Successful performance guarantees that the propositional
content corresponds to the world.
In his contribution, Dougherty develops Williamson's propositional
conception of evidence.
logic, what we are interested in is a proposition, which is a declarative sentence that could be either true or false, but not both.
RESUMEN: Segun la Propositional
Attitude View (PAV), un hablante es competente en su idioma en virtud de poseer actitudes proposicionales cuyo contenido es su gramatica interna.
truth is grounded in truth as world disclosure.
procedures offer a qualitatively distinct estimate of the subjective validity of propositional
evaluations of the attitude object (e.
But if someone claimed that there was a class of beings who literally had hopes, fears, and beliefs, and who made statements, assertions, and commands, all with their various logical features, but who did not have propositional
content, then such a person doesn't know what he's talking about or else is simply refusing to adopt a notation, for the claim that there are propositional
contents isn't in any way an additional empirical claim.
A sufficiently Christian epistemology would share a propositional
grounding (not unlike that found in neo-Scholasticism) and a stance toward truth rooted in the one who testifies to the truth, Christ in the Spirit (232).
These formulas extend propositional
formulas by allowing both universal and existential quantifiers over propositional
variables, and are useful for modeling problems in artificial intelligence and computer science.
The constants of propositional
logic contain also symbols, which are similar to the words of colloquial language: "and", "not", "or", "implies", "if and only if".
On the basis of a speech act analysis in step (1) and an analysis of presuppositions in steps (2) and (3), the propositional
content of the assertion (0) proves to be a pragmatically inconsistent and, therefore, false proposition.