Experimental philosophers often seem to ignore or downplay the significance of demographic variation in philosophically relevant judgments. This article confirms this impression, discusses why research is overlooked experimental philosophy, and argues that significant.

We study a general proof-theoretic framework for logic programming, the so-called uniform proofs. We consider several logic programming systems derived in a natural way from logical proof systems (namely, from classical, intuitionistic, minimal, positive, relevance and paranormal sequent calculi). Our result is the construction of prooftheoretic logic programming systems for philosophically sig...

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel’s relation

Abstract This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from is —as instance more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

This article analyzes the question of irony in irruption early Romanticism, particular work Friedrich Schegel. It interprets notion from a poetic and not strictly philosophical approach, according to reception model Spinoza’s work, which, philosophically interpreted by post-Kantian systems, gives results quite different aesthetic position which it is received Romantics.

One issue for autonomous mobile robots operat ing in unknown, or part ial ly known, domains is how to handle uncertainty in their sensor observations over t ime. Methods such as probablistic belief networks and survivor functions are generally unsatisfactory because they require explicit models of the robot's interactions w i th its environment, including possible contravening events. This info...

In discussions about the legalisation of active, voluntary euthanasia it is sometimes claimed that what should happen in a liberal society is that the two sides in the debate "agree to disagree". This paper explores what is entailed by agreeing to disagree and shows that this is considerably more complicated than what is usually believed to be the case. Agreeing to disagree is philosophically p...

Daniel Dennett’s Freedom Evolves is a rhetorically powerful but philosophically unconvincing attempt to show that a deterministic and ontologically reductionist, but epistemologically pluralist, outlook may peacefully coexist with a robust acceptance of human freedom and moral responsibility. The key to understanding the harmony rests in recognizing that freedom is not a metaphysical or physica...

It is believed in the West that logic began with Aristotle, and that logic is universal. The core of Western thought—including present-day formal mathematics and the philosophy of science—is premised on the belief that logical truths are universal, that they are necessary truths, and that logical deduction is certain and infallible. These beliefs about logic however are untenable, both historic...