All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 86

Showing per page

A fuzzy and intuitionistic fuzzy account of the Liar paradox.

Nikolai G. Nikolov (2002)

Mathware and Soft Computing

The Liar paradox, or the sentenceI am now saying is falseits various guises have been attracting the attention of logicians and linguists since ancient times. A commonly accepted treatment of the Liar paradox [7,8] is by means of Situation semantics, a powerful approach to natural language analysis. It is based on the machinery of non-well-founded sets developed in [1]. In this paper we show how to generalize these results including elements of fuzzy and intuitionistic fuzzy logic [3,4]. Basing...

A Programmatic Note: on two Types of Intertextuality

Reviel Netz (2005)

Revue d'histoire des mathématiques

The note addresses briefly some reactions to a previous article “Deuteronomic Texts: Late Antiquity and the History of Mathematics”. In particular it looks at the question: if indeed any text must depend on previous texts, what makes the dependency of commentary and commentary-like text so special to justify my emphasis on this form of writing ? A suggestion is developed, trying to define Deuteronomic texts through their precise semiotics of intertextuality: in general, it is argued, intertextuality...

Aggregate theory versus set theory

Hartley Slater (2005)

Philosophia Scientiae

Les arguments de Maddy avancés en 1990 contre la théorie des agrégats se trouvent affaiblis par le retournement qu’elle opère en 1997. La présente communication examine cette théorie à la lumière de ce retournement ainsi que des récentes recherches sur les “Nouveaux axiomes pour les mathématiques”. Si la théorie des ensembles est la théorie de la partie–tout des singletons, identifier les singletons à leurs membres singuliers ramène la théorie des ensembles à la théorie des agrégats. Toutefois si...

Complexity of the axioms of the alternative set theory

Antonín Sochor (1993)

Commentationes Mathematicae Universitatis Carolinae

If T is a complete theory stronger than ZF Fin such that axiom of extensionality for classes + T + ( ∃ X ) Φ i is consistent for 1 ≤ i ≤ k (each alone), where Φ i are normal formulae then we show AST + ( ∃ X ) Φ 1 + ⋯ + ( ∃ X ) Φ k + scheme of choice is consistent. As a consequence we get: there is no proper Δ 1 -formula in AST + scheme of choice. Moreover the complexity of the axioms of AST is studied, e.gẇe show axiom of extensionality is Π 1 -formula, but not Σ 1 -formula and furthermore prolongation axiom, axioms of choice and cardinalities are Π 2 -formulae,...

Éléments pour l'étude de relations localement définies («infra-relations»). Infra-ordres et relation ternaire d'intermédiarité

H. Durup (1970)

Mathématiques et Sciences Humaines

Dans les sciences de la nature, et en particulier dans les sciences du comportement, on rencontre fréquemment des relations caractérisées par des propriétés locales. Une famille très vaste de telles relations rassemble celles qui sont définies uniquement par des propriétés portant sur les ensembles d'éléments liés à un même élément, soit par la relation («points vus d'un même point»), soit par son inverse («points d'où l'on voit un même point»). A tout type de relation correspondent ainsi plusieurs...

Currently displaying 1 – 20 of 86

Page 1 Next