Results 1 
3 of
3
Reflections on Skolem's Paradox
"... In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's theorem and the Lö ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's theorem and the LöwenheimSkolem theorem. I argue that, even on quite naive understandings of set theory and model theory, there is no such tension. Hence, Skolem's Paradox is not a genuine paradox, and there is very little reason to worry about (or even to investigate) the more extreme consequences that are supposed to follow from this paradox. The heart of my...
Tarski's Fuzzy Consequences
 in Proceedings of the International Fuzzy Engineering Symposium '91
, 1991
"... The aim of this paper is to prove that the following two mathematical concepts are equivalent: 1) Fuzzy Preorders which are compatible with an "AND" operation and 2) Fuzzy Consequence Operators (FCO) [8] verifying a finiteness property with respect to that "AND" operation. The role proposed to fuzzy ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
The aim of this paper is to prove that the following two mathematical concepts are equivalent: 1) Fuzzy Preorders which are compatible with an "AND" operation and 2) Fuzzy Consequence Operators (FCO) [8] verifying a finiteness property with respect to that "AND" operation. The role proposed to fuzzy consequences operators is to be a general notion for obtaining approximate consequences from approximate premises [6,8]. So, this paper justifies the use of fuzzy preorders to model the deductive closure of a rule base, as it is made in many Expert Systems [7]. Moreover, as a corollary of this result, we have that all FCOs verifying the finite condition mentioned before are axiomatizable using only the rule of multiple valued Modus Ponens and an appropriate set of logical implications as axioms. Keywords: Multivalued Logic, Approximate Reasoning, Fuzzy Relations, Consequence Operators. INTRODUCTION Pavelka [9] introduced the notion of a Fuzzy Consequence Operator (FCO) in order to give an...
On Tarski on Models
, 2001
"... This paper concerns Tarski's use of the term "model" in his 1936 paper "On the Concept of Logical Consequence." Against several of Tarski's recent defenders, I argue that Tarski employed a nonstandard conception of models in that paper. Against Tarski's detractors, I argue that this nonstandard ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper concerns Tarski's use of the term "model" in his 1936 paper "On the Concept of Logical Consequence." Against several of Tarski's recent defenders, I argue that Tarski employed a nonstandard conception of models in that paper. Against Tarski's detractors, I argue that this nonstandard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski's #rule example.