KSIĄŻKI POWIĄZANE ZE SŁOWEM «ELIMINABILITY»
Poznaj użycie słowa
eliminability w następujących pozycjach bibliograficznych Książki powiązane ze słowem
eliminability oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.
1
The Realism-Antirealism Debate in the Age of Alternative Logics
Now it is the turn of antirealistic eliminability. In order to define anti-realistic
eliminability, we are going to proceed as in the last section: first we analyse
eliminability for the realistic case, and then we exploit such an analysis for
reformulating ...
Shahid Rahman, Giuseppe Primiero, Mathieu Marion, 2011
2
Logic of Discovery and Logic of Discourse
Sneed's and other concepts of eliminability were studied by a number of authors,
using predominantly model-theoreticl methods (see, e.g. Tuomela, 1973;
SimonandGroen, 1973;Stegmuller, 1976;Swijtink, 1976;Rantala, 1977; Simon,
1977; ...
Jaakko Hintikka, Fernand Vandamme, 1985
3
Gentzen Calculi for Modal Propositional Logic
As we have said at the end of Section 1.3.3, (realistic or anti-realistic) definitions
should satisfy not only the characteristics relating to analyses (see conditions A1
and A2), but also the criteria of conservativeness and eliminability. While we ...
Francesca Poggiolesi, 2010
4
Explanatory Translation: Beyond the Kuhnian Model of ...
The notion of eliminability was here defined more generally, however, so that it
applies to arbitrary methodological situations. The above notion of eliminability
can be defined for any logic L, but in what follows, we again assume that L is ...
5
Analysis and Design of Advice
We are consequently likely to be asking a definition to satisfy the eliminability
criterion within some context, for which it is tailored. Thus, we will have different
definitions for the term apple in Christian mythology and in botany, while both of ...
6
Frege on Definitions : A Case Study of Semantic Content: A ...
208)4 Now evidently, these two requirements of Frege's — fruitfulness and
eliminability — stand in at least an apparent conflict. According to the fruit-
fulness requirement, definitions should make new proofs possible; but according
to the ...
John Horty Professor of Philosophy University of Maryland, 2007
7
Mathematical Intuitionism: Introduction to Proof Theory
PART 5 Eliminability of Cuts in the Intuitionistic Simple Theory of Types in the
Form of a Sequent Calculus with Extensionality As an application of our algebraic
methods, we shall give a detailed proof of the eliminability of cuts in the ...
Al'bert Grigor'evič Dragalin, 1988
8
Definitions: Implications for Syntax, Semantics, and the ...
Suppes (1957), following the criteria laid down by Lesniewski, stipulates for these
the property most commonly assumed to apply to definitions, which is that they
should permit elimination of the defmed term. To eliminability, Suppes adds non ...
9
Inference, Explanation, and Other Frustrations: Essays in ...
Eliminability and Definability. Procedural syntax permits us to raise questions of
eliminability and definability of theoretical concepts in a precise way. More
important, it may prove possible, using this apparatus, to address these questions
for ...
10
The Phenomeno-logic of the I: Essays on Self-consciousness
Since in this case a token, of T is eliminable for a token, of 'he*' we shall
distinguish it from strict eliminability which consists in being eliminable, salva
propositione, by something other than tokens of the S-pronoun 'he*', whatever
these may be ...
Hector-Neri Castañeda, James G. Hart, Tomis Kapitan, 1999
