全文获取类型
收费全文 | 986篇 |
免费 | 10篇 |
国内免费 | 2篇 |
专业分类
998篇 |
出版年
2024年 | 5篇 |
2023年 | 4篇 |
2022年 | 6篇 |
2021年 | 5篇 |
2020年 | 18篇 |
2019年 | 18篇 |
2018年 | 9篇 |
2017年 | 10篇 |
2016年 | 35篇 |
2015年 | 17篇 |
2014年 | 22篇 |
2013年 | 47篇 |
2012年 | 12篇 |
2011年 | 7篇 |
2010年 | 9篇 |
2009年 | 47篇 |
2008年 | 73篇 |
2007年 | 75篇 |
2006年 | 59篇 |
2005年 | 73篇 |
2004年 | 56篇 |
2003年 | 57篇 |
2002年 | 60篇 |
2001年 | 40篇 |
2000年 | 58篇 |
1999年 | 38篇 |
1998年 | 33篇 |
1997年 | 33篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有998条查询结果,搜索用时 0 毫秒
861.
A Note on Binary Inductive Logic 总被引:2,自引:1,他引:2
We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing
a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by
these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability
functions satisfying these principles. 相似文献
862.
Maurice A. Finocchiaro 《Argumentation》1988,2(3):313-335
In an attempt to explore the role of argumentation in scientific inquiry, I explore the conception of argument that appears fruitful in the light of the recent trends in the philosophy of science, away from logical empiricism, and toward a greater emphasis on change, disagreement, and history. I begin by contrasting typical instances philosopers theories of both empiricism and apriorism, with typical instances of scientists uses of these two attitudes, suggesting that such practice shows a judiciousness lacking in epistemological theory. Then I examine at some length three important version of scientific judgement, namely Einstein's opportunism, Boltzmann's pluralism, and Huygens's eclecticism. I go on to discuss some recent work in the philosophy of science, exploring connections between the notion of judgment and Feyerabend's anarchism, Harold Brown's view of rationality, and Dudley Shapere's analysis of scientific change. All of this suggests a notion of argument in the sense of informallogic, and I examine some aspects of Galileo's work in its terms. 相似文献
863.
A Propositional Dynamic Logic with Qualitative Probabilities 总被引:1,自引:0,他引:1
This paper presents an -completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (D Q P), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg. 相似文献
864.
865.
We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given. 相似文献
866.
Petr Hájek 《Studia Logica》2006,84(1):51-62
Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.A version of this paper has been presented during the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005. 相似文献
867.
Larisa Maksimova 《Studia Logica》2006,82(2):271-291
Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena
Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large
families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply
powerful machinery of universal algebra.
In this paper we present an overview of results on interpolation and definability in modal and positive logics,and also in
extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine
syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties.
Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics
and calculi.
This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.
Presented by Jacek Malinowski 相似文献
868.
Terrance W. Klein 《Zygon》2006,41(2):365-380
Abstract. For many in the Anglo‐American tradition of language analysis, Ludwig Wittgenstein, the great progenitor of twentieth‐century philosophy of language, showed conclusively that theological terms lack any referent in reality and therefore represent a discourse that can do no more than manifest the existential attitudes that speakers take toward reality as a whole. To think that such terms represent more is to be bewitched by the use of language. Is it possible, however, that theological language references a fundamental human drive? In this article I reexamine the dyad of nature and supernature from the perspective of Wittgenstein's philosophy. Perhaps surprisingly, Wittgenstein's thought on the subject offers much more than his famous, terse aphorism at the conclusion of his first masterwork, the Tractatus Logico‐Philosophicus ([1921] 1961, 74, §7): “What we cannot speak about we must pass over in silence.” Furthermore, the basic Tractarian drive to determine the relationship between language and reality, which is redirected but not extinguished in Wittgenstein's second, divergent, opus, the Philosophical Investigations ([1953] 1967), may be the place for a renewed examination of what the supernatural means in human discourse. Does talk of God give expression to the fundamental transcendence of human knowledge? Is it a language game we can eschew? 相似文献
869.
Maxwell J. Cresswell 《Studia Logica》2006,82(3):307-327
The possible-worlds semantics for modality says that a sentence is possibly true if it is true in some possible world. Given
classical prepositional logic, one can easily prove that every consistent set of propositions can be embedded in a ‘maximal
consistent set’, which in a sense represents a possible world. However the construction depends on the fact that standard
modal logics are finitary, and it seems false that an infinite collection of sets of sentences each finite subset of which
is intuitively ‘possible’ in natural language has the property that the whole set is possible. The argument of the paper is
that the principles needed to shew that natural language possibility sentences involve quantification over worlds are analogous
to those used in infinitary modal logic. 相似文献
870.
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of
propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class
of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed
under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological
Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators
in the above-mentioned classes.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献