-
This paper discusses non-indicative uses of indicative sentences. So-called declarative uses are argued to resist an analysis that is based on the idea of there being an underlying proposition, a traditional assumption in linguistics and philosophy. It ia argued that certain types of evaluative o...
-
In today's digitalised society, encryption plays a crucial role in securing sensitive data. However, the looming threat of quantum computers capable of breaking current encryption methods poses a significant cybersecurity risk, known as the "cryptopocalypse" or Q-Day. This paper examines the ethi...
-
This paper presents a Modal Predicate Logic with conceptually restricted quantification. It provides a framework for the modeling of a variety of de re modalities and knowing who reports in a realist and literally transparent way. The framework also allows us to make proper sense of talk about th...
-
We describe the approach we followed to construct the schedule for the 27th European Conference on Artificial Intelligence (ECAI), held in Santiago de Compostela in 2024. We provide here all the details of our approach in the hope that others facing similar challenges might be able to replicate w...
-
This paper argues that some well-known passages in the literature do not succeed in non-circularly demonstrating the presence of individuals in propositions and a consequent necessity of identities.
-
This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification.
-
-
This paper shows how to lift an extensional logic for contextually relativized quantification to an intensional format. The result is shown to provide for a method of conceptually grounded quantification, or quantification through conceptual windows, as it is also called here. The method is shown...
-
I discuss a number of simple measures designed to improve the quality of peer review for large conferences, specifically regarding the accountability of reviewers for their crucial contributions. These measures seem to have had a positive impact for the two large AI conferences I chaired in the r...
-
In order to make sense of talk about things non-existent philosophers and linguists tend to construe them as things more than as non-existent. The temptation to do so is obviously strong, but it also appears wrong. This note provides a constructive argument that we can resist this temptation. It ...
-
Craig interpolation is a fundamental concept in mathematical logic and computer science. Craig interpolants are formulas in a specified vocabulary that, intuitively speaking, explain why one formula entails the other. The existence of Craig interpolants is a useful property serving in many applic...