Truth Predicates, Truth Bearers, and their Variants

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted for in terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics

Natural Language Ontology

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive of the ontological categories and structures reflected in natural language

PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law

We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court decisions, their justification, the circumstances in which the justification applies as well as court hierarchies. Moreover, the framework offers a tight connection between privacy case law and the notion of norms that underlies existing rule-based privacy research. In terms of automation, we identify the major reasoning tasks for privacy cases such as deducing legal permissions or extracting norms. For solving these tasks, we provide generic algorithms that have particularly efficient realizations within an expressive underlying logic. Finally, we derive a definition of deducibility based on legal concepts and subsequently propose an equivalent characterization in terms of logic satisfiability.Comment: Extended versio

Answer Sets for Consistent Query Answering in Inconsistent Databases

A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on answer sets to the problem of retrieving consistent information from a possibly inconsistent database. Since consistent information persists from the original database to every of its minimal repairs, the approach is based on a specification of database repairs using disjunctive logic programs with exceptions, whose answer set semantics can be represented and computed by systems that implement stable model semantics. These programs allow us to declare persistence by defaults and repairing changes by exceptions. We concentrate mainly on logic programs for binary integrity constraints, among which we find most of the integrity constraints found in practice.Comment: 34 page

Review of Wittgenstein's Metaphilosophy by Paul Horwich 248p (2013) (review revised 2019)

Horwich gives a fine analysis of Wittgenstein (W) and is a leading W scholar, but in my view, they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also) then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior (psychology, sociology, anthropology, history, literature, society). In a nutshell, W demonstrated that when you have shown how a sentence is used in the context of interest, there is nothing more to say. I will start with a few notable quotes and then give what I think are the minimum considerations necessary to understand Wittgenstein, philosophy and human behavior. First one might note that putting “meta” in front of any word should be suspect. W remarked e.g., that metamathematics is mathematics like any other. The notion that we can step outside philosophy (i.e., the descriptive psychology of higher order thought) is itself a profound confusion. Another irritation here (and throughout academic writing for the last 4 decades) is the constant reverse linguistic sexism of “her” and “hers” and “she” or “he/she” etc., where “they” and “theirs” and “them” would do nicely. Likewise, the use of the French word 'repertoire' where the English 'repertory' will do quite well. The major deficiency is the complete failure (though very common) to employ what I see as the hugely powerful and intuitive two systems view of HOT and Searle’s framework which I have outlined above. This is especially poignant in the chapter on meaning p111 et seq. (especially in footnotes 2-7), where we swim in very muddy water without the framework of automated true only S1, propositional dispositional S2, COS etc. One can also get a better view of the inner and the outer by reading e.g., Johnston or Budd (see my reviews). Horwich however makes many incisive comments. I especially liked his summary of the import of W’s anti-theoretical stance on p65. He needs to give more emphasis to ‘On Certainty’, recently the subject of much effort by Daniele Moyal- Sharrock, Coliva and others and summarized in my recent articles. Horwich is first rate and his work well worth the effort. One hopes that he (and everyone) will study Searle and some modern psychology as well as Hutto, Read, Hutchinson, Stern, Moyal-Sharrock, Stroll, Hacker and Baker etc. to attain a broad modern view of behavior. Most of their papers are on academia dot edu and philpapers dot org , but for PMS Hacker see his papers on his Oxford page. He gives one of the most beautiful summaries of where an understanding of Wittgenstein leaves us that I have ever seen. “There must be no attempt to explain our linguistic/conceptual activity (PI 126) as in Frege’s reduction of arithmetic to logic; no attempt to give it epistemological foundations (PI 124) as in meaning based accounts of a priori knowledge; no attempt to characterize idealized forms of it (PI 130) as in sense logics; no attempt to reform it (PI 124, 132) as in Mackie’s error theory or Dummett’s intuitionism; no attempt to streamline it (PI 133) as in Quine’s account of existence; no attempt to make it more consistent (PI 132) as in Tarski’s response to the liar paradoxes; and no attempt to make it more complete (PI 133) as in the settling of questions of personal identity for bizarre hypothetical ‘teleportation’ scenarios.” Finally, let me suggest that with the perspective I have encouraged here, W is at the center of contemporary philosophy and psychology and is not obscure, difficult or irrelevant, but scintillating, profound and crystal clear and that to miss him is to miss one of the greatest intellectual adventures possible. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019

Freedom, Reason and History: The Hegelian heritage in Gadamer and Habermas.

Freedom, Reason and History: The Hegelian heritage in Gadamer and Habermas. This essay aims at an elaboration of the theme of freedom by taking into account Gadamer"s and Habermas"s appropriation of Hegel. I will approach this theme by dividing it into three main topics: 1) The question of historical reconstruction of the idea(s) of freedom, 2) The question of justification of the idea of freedom, 3) The question of application (of the idea of freedom). The question of historical reconstruction will deal with the Gadamerian appropriation of Hegel"s idea of freedom in his concept of tradition. This will be confronted with Habermas"s twofold critique against Gadamer. Habermas claims that "tradition" could not be understood in a critical, that means, freedom-oriented way. He also claims that even a critical tradition would be one of many traditions, which leads to relativism. The question of justification will deal with Habermas"s and Gadamer"s approach to Hegel"s conception of freedom through recognition. The Habermasian approach to the Hegelian theme is a non-contextualised one, thereby aiming at a non-relative foundation for critical thinking. The third topic relates to the Gadamerian and also Habermasian question of how to apply a certain (non-contextual) freedom-based concept of recognition to different contexts. These last two topics relates to a Habermasian question of how to critically examine the freedom-potentials of a given context by using "freedom through recognition" as an ideal type, or standard

From Biological to Synthetic Neurorobotics Approaches to Understanding the Structure Essential to Consciousness (Part 3)

This third paper locates the synthetic neurorobotics research reviewed in the second paper in terms of themes introduced in the first paper. It begins with biological non-reductionism as understood by Searle. It emphasizes the role of synthetic neurorobotics studies in accessing the dynamic structure essential to consciousness with a focus on system criticality and self, develops a distinction between simulated and formal consciousness based on this emphasis, reviews Tani and colleagues' work in light of this distinction, and ends by forecasting the increasing importance of synthetic neurorobotics studies for cognitive science and philosophy of mind going forward, finally in regards to most- and myth-consciousness

Multiple actualities and ontically vague identity

Gareth Evans's argument against ontically vague identity has been picked over on many occasions. But extant proposals for blocking the argument do not meet well-motivated general constraints on a successful solution. Moreover, the pivotal position that defending ontically vague identity occupies vis a vis ontic vagueness more generally has not yet been fully appreciated. This paper advocates a way of resisting the Evans argument meeting all the mentioned constraints: if we can find referential indeterminacy in virtue of ontic vagueness, we can get out of the Evans argument while still preserving genuinely ontically vague identity. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in general in terms of multiple actualities. The effect, overall, is to provide a principled and attractive approach to ontically vague identity that is immune from Evansian worries