全文获取类型
收费全文 | 900篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 12篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 30篇 |
2015年 | 9篇 |
2014年 | 19篇 |
2013年 | 42篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 45篇 |
2008年 | 71篇 |
2007年 | 71篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 57篇 |
2002年 | 58篇 |
2001年 | 39篇 |
2000年 | 58篇 |
1999年 | 38篇 |
1998年 | 32篇 |
1997年 | 33篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有917条查询结果,搜索用时 15 毫秒
711.
712.
Smorti A 《Integrative psychological & behavioral science》2008,42(2):224-232
Discussing Faiciuc’s paper, I first tackle the problem of fallacies in deductive reasoning showing how, in a possible world
theory, non correct forms of reasoning can be useful strategies for discovery, providing these strategies remain at a hypothesis
level. Secondly, everyday reasoning and its specificity in comparison to logical-normative one are analyzed. This topic stresses
the notion of interpretation and, in this context, the role of the community and of cultural canons shared by the subject.
From this point of view, reasoning does not occur, only, in the brain of a person but in everyday exchanges occurring between
individuals and the history of their community.
相似文献
Andrea SmortiEmail: |
713.
714.
Xuefeng Wen 《Studia Logica》2007,85(2):251-260
We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one.
We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic
models. We also show that PLRI can be used to give a partial solution to the paradox of analysis.
Presented by Jacek Malinowski 相似文献
715.
Tarek Sayed Ahmed 《Studia Logica》2007,85(2):139-151
SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic
and quasi-polyadic equality algebras, respectively. Let . and . We show that the class of n dimensional neat reducts of algebras in K
m
is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].
Presented by Robert Goldblatt 相似文献
716.
Marta Bílková 《Studia Logica》2007,85(1):1-31
We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view.
Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is
based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus
for which structural rules are admissible.
We shall present such a proof of the uniform interpolation theorem for normal modal logics K and T. It provides an explicit
algorithm constructing the interpolants.
Presented by Heinrich Wansing 相似文献
717.
Deborah C. Smith 《Synthese》2007,157(1):129-139
Crispin Wright champions the notion of superassertibility as providing a truth predicate that is congenial to antirealists
in many debates in that it satisfies relevant platitudes concerning truth and does so in a very minimal way. He motivates
such a claim by arguing that superassertibility can satisfy the equivalence schema: it is superassertible that P if and only
if P. I argue that Wright’s attempted proof that superassertibility can satisfy this schema is unsuccessful, because it requires
a premise that has not been properly motivated and is prima facie implausible. I further argue that, even if the dubious premise
is accepted, the resulting proof is intuitionistically invalid. This is problematic, because a proponent of superassertibility
as a truth predicate has independent reasons to affect a logical revision in the direction of intuitionism. The resulting
dilemma suggests that superassertibility may not be an adequate truth candidate for any significant ranges of discourse.
Cambridge, MA: Harvard University Press, 1992 相似文献
718.
A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific
thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios
inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible
Deduction (LPD), a deductive logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics
for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension
over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with
existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions
are also given and proofs of their equivalence are presented. 相似文献
719.
We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL. 相似文献
720.
The paper aims at providing the multi-modal propositional logicLTK with a sound and complete axiomatisation. This logic combinestemporal and epistemic operators and focuses on m odeling thebehaviour of a set of agents operating in a system on the backgroundof a temporal framework. Time is represented as linear and discrete,whereas knowledge is modeled as an S5-like modality. A furthermodal operator intended to represent environment knowledge isadded to the system in order to achieve the expressive powersufficient to describe the piece of information available tothe agents at each moment in the flow of time. 相似文献