منابع مشابه
The Refutation of Idealism
Modern Idealism, if it asserts any general conclusion about the universe at all, asserts that it is spiritual. There are two points about this assertion to which I wish to call attention. These points are that, whatever be its exact meaning, it is certainly meant to assert (1) that the universe is very different indeed from what it seems, and (2) that it has quite a large number of properties w...
متن کاملOn Learning versus Refutation
Building on the work of Daniely et al. (STOC 2014, COLT 2016), we study the connection between computationally efficient PAC learning and refutation of constraint satisfaction problems. Specifically, we prove that for every concept class P, PAC-learning P is polynomially equivalent to “random-right-hand-side-refuting” (“RRHS-refuting”) a dual class P∗, where RRHS-refutation of a class Q refers ...
متن کاملThe Markgraf Karl Refutation Procedure
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving significant mathematical theorems. Our first implementation, the Markgraf Karl Refutation Procedure1 (MKRP) realizes some of the ideas we have developed to this end. It is a general purpose resolution based deduction ...
متن کاملNegation As Refutation
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilat...
متن کاملA Refutation of the Commodity Exploitation Theorem
This note is to show that the generalized commodity exploitation theorem put forward by Bowles and Gintis (1981) and Roemer (1982, 1986) is nothing but an alternative form of the Hawkins-Simon condition for a given technical data, and that it has nothing to do with exploitation. That is, the Hawkins-Simon condition means a mere possibility of an economic system to produce a surplus in each comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Auslegung: a Journal of Philosophy
سال: 1996
ISSN: 0733-4311
DOI: 10.17161/ajp.1808.9414