Results 151 to 160 of about 416,627 (195)
Some of the next articles are maybe not open access.
2013
This entry provides an overview of the notion of logical deduction.
Philip N. Johnson-Laird +1 more
+6 more sources
This entry provides an overview of the notion of logical deduction.
Philip N. Johnson-Laird +1 more
+6 more sources
Journal of Symbolic Logic, 1950
For Gentzen's natural deduction, a formalized method of deduction in quantification theory dating from 1934, these important advantages may be claimed: it corresponds more closely than other methods of formalized quantification theory to habitual unformalized modes of reasoning, and it consequently tends to minimize the false moves involved in seeking ...
openaire +2 more sources
For Gentzen's natural deduction, a formalized method of deduction in quantification theory dating from 1934, these important advantages may be claimed: it corresponds more closely than other methods of formalized quantification theory to habitual unformalized modes of reasoning, and it consequently tends to minimize the false moves involved in seeking ...
openaire +2 more sources
Synthese, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1993
It is often said that logic is the theory of deduction. While such a characterization may appear too narrow because, in our century, several new chapters have been added to logic, such as the theory of truth, definition, computation, communication, action etc., the theory of deduction remains a basic part of logic. The foundations of such a theory were
openaire +2 more sources
It is often said that logic is the theory of deduction. While such a characterization may appear too narrow because, in our century, several new chapters have been added to logic, such as the theory of truth, definition, computation, communication, action etc., the theory of deduction remains a basic part of logic. The foundations of such a theory were
openaire +2 more sources
Synthese, 1999
Any theory of explanation must account for the explanatory successes of statistical scientific theories. This should not be done by endorsing determinism. These considerations have been taken as sufficient ground for rejecting the demand on explanations to be deductive.
openaire +1 more source
Any theory of explanation must account for the explanatory successes of statistical scientific theories. This should not be done by endorsing determinism. These considerations have been taken as sufficient ground for rejecting the demand on explanations to be deductive.
openaire +1 more source
NEXCEL, A Deductive Spreadsheet
Qatar Foundation Annual Research Forum Proceedings, 2007Abstract Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion-dollar budgets. One thing spreadsheets are not very good at is manipulating the symbolic data and helping users make
openaire +1 more source
Novelty in deductive databases
Journal of Logic and Computation, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grégoire, Éric, Marquis, Pierre
openaire +2 more sources
Journal of Philosophical Logic, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
To theorize the present condition of trans women under unprecedented historical surveillance, this chapter examines the ambivalence and erotic deflation of a “stoner neo-noir” cinema subgenre. This genre’s principles were sketched in 1970s noir revival movies (Chinatown, The Long Goodbye) and became a staple of later output (The Big Lebowski, Inherent ...
openaire +1 more source
openaire +1 more source
Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source