D'Agostino and Floridi (2009) carry out just such an analysis, with their central claim being that this hierarchy may be used to represent the increasing levels of informativeness of propositional deductive reasoning.
Moreover, we show that (propositional) cumulative default reasoning has the same complexity as classical default reasoning.
Nevertheless, reasoning in propositional logic is decidable, whereas reasoning tasks in unrestrained first-order logic are undecidable.
Knowledge representation and reasoning using propositional logic is an important component of AI systems.
But we have also seen that results from proof complexity strongly suggest that any proof system which an agent is likely to adopt for reasoning about propositional logic (e.g. natural deduction) will be such that there are infinitely many statements whose simplest proofs are of length at least exponential relative to their size.
Self-evaluation improves between adolescence and adulthood on propositional, spatial and social reasoning tasks (Demetriou & Bakracevic, 2009).
In one study, adolescents (aged 13 15 years) and adults evaluated their performance on propositional, spatial and social reasoning tasks and self-evaluation improved between adolescence and adulthood (Demetriou & Bakracevic, 2009).
Intelligence and reason are not two powers; "reason" and "reasoning" in a narrow sense can be regarded as the extension of one's "intelligence" (one's capacity for intelligent insight into the data of experience) into the propositional work of reasoning towards judgment, and "reason" (ratio) in a broader sense refers to this whole capacity, only analytically divisible into aspects or phases.
Instead we will talk of propositional attitudes, rationality, reasons.
The clausal system factorizes reasoning into regular, propositional, and modal reasoning.
