標(biāo)題: Titlebook: Between Logic and Reality; Modeling Inference, Majda Trobok,Nenad Mi??evi?,Berislav ?arni? Book 2012 Springer Science+Business Media B.V. [打印本頁(yè)] 作者: Twinge 時(shí)間: 2025-3-21 17:59
書目名稱Between Logic and Reality影響因子(影響力)
書目名稱Between Logic and Reality影響因子(影響力)學(xué)科排名
書目名稱Between Logic and Reality網(wǎng)絡(luò)公開(kāi)度
書目名稱Between Logic and Reality網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Between Logic and Reality被引頻次
書目名稱Between Logic and Reality被引頻次學(xué)科排名
書目名稱Between Logic and Reality年度引用
書目名稱Between Logic and Reality年度引用學(xué)科排名
書目名稱Between Logic and Reality讀者反饋
書目名稱Between Logic and Reality讀者反饋學(xué)科排名
作者: osteoclasts 時(shí)間: 2025-3-21 20:54
Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.作者: Aggregate 時(shí)間: 2025-3-22 01:26
Applied Mathematics in the Sciencesorems that coheres also with the meaning and truth conditions for non-mathematical sentences, according to Benacerraf, should ideally be coupled with an adequate epistemology for the discovery of mathematical knowledge. Standard approaches to the philosophy of mathematics are criticized against thei作者: 致詞 時(shí)間: 2025-3-22 06:20 作者: Anticoagulants 時(shí)間: 2025-3-22 11:06 作者: 是比賽 時(shí)間: 2025-3-22 15:05
Informal Logic and Informal Consequencee is at the heart of logic, does it make sense to speak about “informal” consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is beca作者: expire 時(shí)間: 2025-3-22 18:30
Logical Consequence and Rationalityrmulated notion of logical consequence aims to capture the corresponding pre-theoretic notion. However, the notion of pre-theoretic logical consequence is far from being sufficiently clearly formulated in literature. In order to remedy this deficiency, and clear the ground, the paper distinguishes a作者: 使苦惱 時(shí)間: 2025-3-22 23:05 作者: 混合,攙雜 時(shí)間: 2025-3-23 01:37 作者: 磨坊 時(shí)間: 2025-3-23 07:16 作者: Charitable 時(shí)間: 2025-3-23 10:34
Towards a Formal Account of Identity Criteria From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical constraint is only rarely met. More precisely, in some cases, the relation representing the identity condition fails to be transitive. We consid作者: arbovirus 時(shí)間: 2025-3-23 14:13 作者: 土產(chǎn) 時(shí)間: 2025-3-23 18:02 作者: 全部 時(shí)間: 2025-3-23 22:40
Goodman’s Only Worldsince the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gi作者: defuse 時(shí)間: 2025-3-24 02:51
Majda Trobok,Nenad Mi??evi?,Berislav ?arni?Cutting-edge topics in contemporary discussions amongst logicians, philosophers and mathematicians.Pointing to a wide range of potential applications by connecting logical theory with concrete issues 作者: 花爭(zhēng)吵 時(shí)間: 2025-3-24 06:37
Logic, Epistemology, and the Unity of Sciencehttp://image.papertrans.cn/b/image/184863.jpg作者: MOT 時(shí)間: 2025-3-24 14:21
https://doi.org/10.1007/978-94-007-2390-0Action-norm; Action-norm; Inference; Inference; Logic; Logic; Rationality; Rationality作者: LUCY 時(shí)間: 2025-3-24 18:23
978-94-007-9378-1Springer Science+Business Media B.V. 2012作者: FAZE 時(shí)間: 2025-3-24 22:00
Topics in Atmospheric and Oceanic SciencesA new version of Game-Theoretical Semantics (GTS) is put forward where game rules are extended to the non-logical constants of sentences. The resulting theory, together with a refinement of our criteria of identity for functions, provide the technical basis for a game-based conception of linguistic meaning and interpretation.作者: 官僚統(tǒng)治 時(shí)間: 2025-3-25 00:58
Extended Game-Theoretical SemanticsA new version of Game-Theoretical Semantics (GTS) is put forward where game rules are extended to the non-logical constants of sentences. The resulting theory, together with a refinement of our criteria of identity for functions, provide the technical basis for a game-based conception of linguistic meaning and interpretation.作者: Radiation 時(shí)間: 2025-3-25 04:18 作者: giggle 時(shí)間: 2025-3-25 08:48
Xeon Phi Core Microarchitecture, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.作者: 神化怪物 時(shí)間: 2025-3-25 11:46 作者: prolate 時(shí)間: 2025-3-25 16:05 作者: antipsychotic 時(shí)間: 2025-3-25 21:16 作者: BULLY 時(shí)間: 2025-3-26 02:16
https://doi.org/10.1007/978-3-030-25328-8e is at the heart of logic, does it make sense to speak about “informal” consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is beca作者: Herd-Immunity 時(shí)間: 2025-3-26 05:51
https://doi.org/10.1007/978-3-030-25328-8rmulated notion of logical consequence aims to capture the corresponding pre-theoretic notion. However, the notion of pre-theoretic logical consequence is far from being sufficiently clearly formulated in literature. In order to remedy this deficiency, and clear the ground, the paper distinguishes a作者: predict 時(shí)間: 2025-3-26 08:34 作者: 聯(lián)邦 時(shí)間: 2025-3-26 14:37 作者: 吝嗇性 時(shí)間: 2025-3-26 20:17
Multiple-Beam Electron-Optical Systems,ch act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external作者: Cabinet 時(shí)間: 2025-3-27 00:44
Introduction to Particle-Beam Formation, From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical constraint is only rarely met. More precisely, in some cases, the relation representing the identity condition fails to be transitive. We consid作者: 摘要 時(shí)間: 2025-3-27 02:07
Motion of Intense Charged-Particle Beams, with a three-dimensionalist ontology and with the change of parts, that is, with the view that at least one object has distinct parts at distinct times. Some interesting consequences of the theory joined with the change of parts, taken as an axiom, are proven. It is usually held that certain well k作者: Semblance 時(shí)間: 2025-3-27 05:24
Fundamentals of Charged-Particle Motion,rase like “the first line of Gray’s .”, which denotes a linguistic expression: “The curfew tolls the knell of parting day”. The author shows that Russell’s Gray’s . argument involves imprecision in the use of quotation marks as well as the unwarranted identification of an expression’s meaning with t作者: 蕁麻 時(shí)間: 2025-3-27 11:13
Multiple-Beam Electron-Optical Systems,since the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gi作者: STENT 時(shí)間: 2025-3-27 13:36
Between Logic and Reality978-94-007-2390-0Series ISSN 2214-9775 Series E-ISSN 2214-9783 作者: Fretful 時(shí)間: 2025-3-27 19:46
Xeon Phi Core Microarchitecture, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.作者: 原來(lái) 時(shí)間: 2025-3-28 00:04 作者: 星球的光亮度 時(shí)間: 2025-3-28 04:16 作者: 感染 時(shí)間: 2025-3-28 08:38 作者: 哀求 時(shí)間: 2025-3-28 11:07
Book 2012ity considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive spe作者: 信條 時(shí)間: 2025-3-28 17:53
Xeon Phi Core Microarchitecturelanguage was only the first part of the story. The need for re-investigation of the concept of relational structure, and the concept of cardinality in particular, became acute only in view of results by Paul Cohen, Solomon Feferman and Azriel Lévy in the seventh decade of the century. It is shown ho作者: 暖昧關(guān)系 時(shí)間: 2025-3-28 21:28
https://doi.org/10.1007/978-3-030-25328-8ting the conclusion (the “ARG” conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We c作者: Crepitus 時(shí)間: 2025-3-29 01:48 作者: V切開(kāi) 時(shí)間: 2025-3-29 03:03 作者: Dri727 時(shí)間: 2025-3-29 08:15
Multiple-Beam Electron-Optical Systems,of withdrawal seems to be of considerable significance to the study of social interactions among rational agents. We make a brief comparison with AGM approach to belief revision and briefly discuss an application of . to scorekeeping for argumentation games.作者: Champion 時(shí)間: 2025-3-29 11:37
Multiple-Beam Electron-Optical Systems, might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to t作者: Grievance 時(shí)間: 2025-3-29 15:34
The Philosophical Impact of the L?wenheim-Skolem Theoremlanguage was only the first part of the story. The need for re-investigation of the concept of relational structure, and the concept of cardinality in particular, became acute only in view of results by Paul Cohen, Solomon Feferman and Azriel Lévy in the seventh decade of the century. It is shown ho作者: 魔鬼在游行 時(shí)間: 2025-3-29 21:53 作者: RALES 時(shí)間: 2025-3-30 03:10 作者: 失敗主義者 時(shí)間: 2025-3-30 07:48
Logic, Indispensability and Aposteriorityt the use of unavoidable and indispensable means can derive its justification from projects only when the projects are themselves meaningful. However, we have an admissible ground for optimism: our most general cognitive project has been at least minimally successful, and therefore, it is meaningful作者: 神圣將軍 時(shí)間: 2025-3-30 08:50 作者: Solace 時(shí)間: 2025-3-30 15:58
Goodman’s Only World might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to t作者: 環(huán)形 時(shí)間: 2025-3-30 19:47
2214-9775 enges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive spe978-94-007-9378-1978-94-007-2390-0Series ISSN 2214-9775 Series E-ISSN 2214-9783 作者: Collected 時(shí)間: 2025-3-30 22:08
Xeon Phi Application Development Toolsrovides the basis for articulating a philosophically advantageous Aristotelian inherence concept of mathematical entities. An inherence account solves Benacerraf’s dilemma by interpreting mathematical entities as nominalizations of structural spatiotemporal properties inhering in existent spatiotemporal entities.作者: Blemish 時(shí)間: 2025-3-31 03:34
Motion of Intense Charged-Particle Beams, The solution is achieved by denying the persistence of some of the entities involved, along the “Chrysippean” lines advocated by M. Burke and M. Rea. Although good reasons for this move are provided, some problems of the solution are also highlighted and tentatively answered.作者: allergen 時(shí)間: 2025-3-31 05:16
