共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
3.
Stanisŀaw Kamiński 《Studia Logica》1960,9(1):241-244
4.
5.
6.
7.
8.
9.
A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Le?niewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Le?niewski's published or unpublished work is known where the standard conditions are discussed. Second, Le?niewski's own logical theories allow for creative definitions. Third, Le?niewski's celebrated ‘rules of definition’ lay merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study of these meta-theoretical conditions is more readily found in the works of ?ukasiewicz and Ajdukiewicz. 相似文献
10.
11.
Allatum est die 28 Augusti 1959 相似文献
12.
13.
14.
15.
16.
17.
Mitio Takano 《Studia Logica》1985,44(1):71-77
A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a
b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom
x, y[x
y
u (u x)
u; v(u, v x u
v)
u(u x u y)] (from the axiom
x, y(x
y x x)
x, y, z(x y z y
x z)) iff is true in every -structure (in every quasi -structure). 相似文献
18.
19.