Philosophy

Philosophy

Axiomatic quantum theory

Click(3)

The basis of a rigorous formal axiomatization of quantum mechanics is constructed, built upon Dirac's bra-ket notation. The system is three-sorted, with separate variables for scalars, vectors and operators. First-order quantification over all three type

Philosophy

What's wrong with infinite regresses?

Click(1)

It is almost universally believed that some infinite regresses are vicious, and also almost universally believed that some are benign. In this paper I argue that regresses can be vicious for several different sorts of reasons. Furthermore, I claim that so

Philosophy

On discourse markers: Evidence from modern Greek

Click(2)

The aim of this paper is to describe and account for the function of four Modem creek expressions, namely delta ila deltai ('that is to say'), m ala loja ('in other words'), theta elo na po ('I wish to say'), i malon ('or rather'). After a brief t

Philosophy

Proclus and the Neoplatonic syllogistic

Click(0)

AN investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar nega

Philosophy

Truth as translation, part A (Convention T, Liar paradox)

Click(2)

According to Tarski's Convention T, the adequacy of a truth definition is (implicitly) defined relatively to a translation mapping from the object language to the metalanguage; the translation mapping itself is left unspecified. This paper restates Conve

Philosophy

First-order Frege theory is undecidable

Click(3)

The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.

Philosophy

Prediction and the periodic table

Click(2)

The debate about the relative epistemic weights carried in favour of a theory by predictions of new phenomena as opposed to accommodations of already known phenomena has a long history. We readdress the issue through a detailed re-examination of a particu