This manuscript is the first version of the entry" Proof-Theoretic Semantics" in the Stanford
Encyclopedia of Philosophy, which was submitted in 2011. For the version which finally …

The doctrine of double effect ($\mathcal {DDE} $) is a long-studied ethical principle that
governs when actions that have both positive and negative effects are to be allowed. The …

I present three open problems the discussion and solution of which I consider relevant for
the further development of proof-theoretic semantics:(1) The nature of hypotheses and the …

Self-consciousness would seem to be a sine qua non for moral competence in a social
world. You and we are morally competent in no small part because you know what you …

The application of deep learning methods to problems in natural language processing has
generated significant progress across a wide range of natural language processing tasks …

While various traditions under the'virtue ethics' umbrella have been studied extensively and
advocated by ethicists, it has not been clear that there exists a version of virtue ethics …

Word meanings are context sensitive and may change in different situations. In this paper,
we consider how contexts and the associated contextual meanings of words may be …

In the proof-theoretic semantics approach to meaning, harmony, requiring a balance
between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning …

Dependent type semantics (DTS) is a framework of discourse semantics based on
dependent type theory, following the line of Sundholm (Handbook of Philosophical Logic …

This article surveys the philosophical literature on theoretical linguistics. The focus of the
paper is centred around the major debates in the philosophy of linguistics, past and present …