Results 101 to 110 of about 4,846 (144)

AI approaches for the discovery and validation of drug targets. [PDF]

Camb Prism Precis Med
Wenteler A, Cabrera CP, Wei W, Neduva V, Barnes MR.   +4 more
europepmc   +1 more source

MetTeL: A Generic Tableau Prover. [PDF]

, 2011
Khodadadi, Mohammad, Schmidt, Renate A, Tishkovsky, Dmitry   +2 more
core  

Some of the next articles are maybe not open access.

Related searches:

Etchemendy on Squeezing Arguments and Logical Consequence: a Reply to Griffiths

Philosophia (United States), 2018
Owen Griffiths has recently argued that Etchemendy’s account of logical consequence faces a dilemma. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical ...
Kasper Højbjerg Christensen
exaly   +4 more sources

Etchemendy and Bolzano on Logical Consequence

History and Philosophy of Logic, 2010
In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed
Paul Rusnock
exaly   +3 more sources

Another disguise of the same fundamental problems: Barwise and etchemendy on the liar

Australasian Journal of Philosophy, 1993
(1993). Another disguise of the same fundamental problems: Barwise and etchemendy on the liar. Australasian Journal of Philosophy: Vol. 71, No. 1, pp. 60-69.
G. Priest
exaly   +5 more sources

On situations and the world: a Problem for Barwise: and Etchemendy

Analysis, 1989
Patrick Grim
exaly   +6 more sources

A note on Etchemendy's and Prawitz's reduction principles for the Tarskian and model‐theoretic concept of consequence

Theoria, 2022
AbstractOne of Etchemendy's arguments against the Tarskian and model‐theoretic notion of logical truth is based on a reduction principle according to which a universally quantified sentence is true if, and only if, all of its instances are logically true.
Antonio Piccolomini d'Aragona
openaire   +3 more sources

Etchemendy and Logical Consequence

Canadian Journal of Philosophy, 1995
Logical consequence is a notion that every person who reasons must possess, at least implicitly. To give a precise and accurate characterization of this notion is the fundamental task of logic. In a similar way, the notion of effectivity is a concept that anyone with a basic training in mathematics possesses, and the most fundamental task of a theory ...
G. Priest
openaire   +4 more sources