Results 61 to 70 of about 20,953 (186)
Contingent Grounding Physicalism
Analytic Philosophy, EarlyView.ABSTRACT It is widely held that physicalism is incompatible with the metaphysical possibility of zombies, i.e., beings physically just like us yet lacking in phenomenal consciousness. The present paper argues that this orthodoxy is mistaken. As against the received wisdom, physicalism is perfectly compatible with the possibility of zombies and zombie ...
Alex Moran
wiley +1 more source
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
IEEE Access, 2018 Fault tree generation technology is a key issue for safety analysis of large complex systems. Traditional safety analysis methods usually describe the origin, propagation, or concrete behavior of the fault and do not portray the constraints between ...
Lisong Wang +4 more
doaj +1 more source
Limiting logical pluralism [PDF]
, 2019 In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down.
Finn, Suki
core
Room for Improvement: Why Finitist Arguments Do Not Check Out
Analytic Philosophy, EarlyView.ABSTRACT We examine several new and underexplored arguments for the finitude of the past and the impossibility of Hilbert's Hotel. The first argument concludes that Hilbert's Hotel is impossible due to an alleged contradiction arising from the causal powers of infinitely many guests.
Joseph C. Schmid, Troy Dana
wiley +1 more source
Philosophical Perspectives, EarlyView.ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley +1 more source
The Adoption Problem and Anti-Exceptionalism about Logic [PDF]
, 2019 Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable ...
Finn, Suki
core +1 more source
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
, 2010 Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both models are commonly believed to be equi-expressive.
J.F. Groote +7 more
core +1 more source
The hardware modeling and analysis techniques based on Kripke structure [PDF]
Advances in Computer Science Research, 2015 This paper focuses on two aspects. One is the modeling method of hardware function based on Kripke structure. The other is the hardware design specification formal description method which based on temporal logic CTL. In order to design a hardware modeling method which based on Kripke Structure, Hardware implementation process and behavioral ...
Ruiqing Xiao +4 more
openaire +1 more source
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source