全文获取类型
收费全文 | 75篇 |
免费 | 0篇 |
出版年
2013年 | 5篇 |
2012年 | 1篇 |
2011年 | 1篇 |
2005年 | 3篇 |
2004年 | 1篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 5篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 3篇 |
1997年 | 3篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1992年 | 1篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1988年 | 2篇 |
1987年 | 3篇 |
1984年 | 3篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1979年 | 1篇 |
1975年 | 3篇 |
1974年 | 1篇 |
1973年 | 2篇 |
1972年 | 1篇 |
1970年 | 3篇 |
1969年 | 3篇 |
1968年 | 3篇 |
1964年 | 1篇 |
排序方式: 共有75条查询结果,搜索用时 15 毫秒
1.
Jaakko Hintikka 《Synthese》1990,83(1):133-157
This paper was first read at the 1988 Annual Meeting of the International Institute of Philosophy in Stockholm, Sweden. The theme of the meeting was Descartes and the Contemporary Philosophy of Mind, which helped to explain the angle of my approach and the first few sentences of the paper. Morally, this paper thus should appear with the rest of the proceedings of the Stockholm meeting in a later number of this journal. However, the interrelations of my paper and Lucia Vaina's are so close that it makes best sense to publish them together. 相似文献
2.
3.
4.
5.
Jaakko Hintikka 《Synthese》2011,183(1):69-85
The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth
century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical
study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the
metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation of
theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce
new information in a different sense of information called surface information. It is argued in this paper that the derivation
should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive)
rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood
notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization
amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations.
The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated
epistemologically, but it is related to the idea of explanation. 相似文献
6.
7.
8.
9.
10.