排序方式: 共有197条查询结果,搜索用时 15 毫秒
91.
广松涉认为,对近代认识论基础的问题式及其构成机制和局限进行反思,首先需要将着眼点放在康德哲学的问题式及其构成机制上。康德哲学的总的问题式就是在以先验逻辑学为基础的逻辑学、认识论和本体论“三位一体”的哲学构架中,探讨人的认识以及纯粹理性的先天综合判断及其能力何以可能。这一问题式潜含着一个意义非常重大的认识论问题——即“主体际共同主观性”问题.需要我们认真地加以研究。 相似文献
92.
Two types of multiple-conclusion systems 总被引:1,自引:0,他引:1
93.
《Journal of Applied Logic》2014,12(4):570-583
One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. Hasimoto in 2000; however, his paper remained unnoticed until recently. In the present paper we quote some important Hasimoto's results, and reconstruct the product operation in an algebraic setting: the Boolean part of the resulting modal algebra is exactly the tensor product of original algebras (regarded as Boolean rings). Also, we propose a filtration technique for Kripke models based on tensor products and obtain some decidability results. 相似文献
94.
95.
Rudolf A. Treumann 《World Futures: Journal of General Evolution》2013,69(1):47-53
The term globalization is questioned in its validity and applicability to structures other than verbal. Globalization is a historical term which changes its meaning with time and culture. It is not only that its content changes but the validity of a globalization concept changes with the historical perspective. Morever, solution of global problems depends heavily on the correct analysis of the problem. Without such an analysis there is no possibility to find even an approximate solution. Hence, predictability is impossible. There is no trend which is sufficiently long to make any reliable prediction for global problems other than the most simple ones. 相似文献
96.
对中期照护的定义、市场需求和国内实施难度进行了介绍。介绍了苏北人民医院医联体内开展中期照护的相关背景、基础条件、评估指标、医保结算、绩效分配及专家补贴方式。对在医联体联合病房内开展中期照护前后的情况进行比较,如对是否进行中期照护的急性肩袖损伤老年患者术后康复效果进行比较,苏北医院平均住院日及患者非计划再入院率,患者和工作人员的满意度,数据都有明显优化。说明在医联体联合病房内开展中期照护模式较适合术后需要康复的老年患者,应提升卫生院工作质量,加快三级医院运营效率,促进分级诊疗进一步推进。 相似文献
97.
Elia Zardini 《Studia Logica》2008,90(3):337-368
According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and
negative cases of application of the expression and in the non-existence of a sharp cut-off point between them. The sorites
paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects
of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity of the
consequence relation. A lattice-theoretical framework for a whole family of (zeroth-order) “tolerant logics” is proposed and
developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal
logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined.
Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness
is consistent in such a logic. 相似文献
98.
Algebraic Aspects of Cut Elimination 总被引:2,自引:2,他引:0
We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. Moreover, the finite model property is obtained for many cases, by modifying our completeness proof. This is an algebraic presentation of the proof of the finite model property discussed by Lafont [12] and Okada-Terui [17]. 相似文献
99.
This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics. 相似文献
100.
Dimiter Vakarelov 《Studia Logica》2005,80(2-3):393-430
Constructive logic with Nelson negation is an extension of the intuitionistic logic with a special type of negation expressing some features of constructive falsity and refutation by counterexample. In this paper we generalize this logic weakening maximally the underlying intuitionistic negation. The resulting system, called subminimal logic with Nelson negation, is studied by means of a kind of algebras called generalized N-lattices. We show that generalized N-lattices admit representation formalizing the intuitive idea of refutation by means of counterexamples giving in this way a counterexample semantics of the logic in question and some of its natural extensions. Among the extensions which are near to the intuitionistic logic are the minimal logic with Nelson negation which is an extension of the Johansson's minimal logic with Nelson negation and its in a sense dual version — the co-minimal logic with Nelson negation. Among the extensions near to the classical logic are the well known 3-valued logic of Lukasiewicz, two 12-valued logics and one 48-valued logic. Standard questions for all these logics — decidability, Kripke-style semantics, complete axiomatizability, conservativeness are studied. At the end of the paper extensions based on a new connective of self-dual conjunction and an analog of the Lukasiewicz middle value ½ have also been considered. 相似文献