Non-cognitivists claim that thick concepts can be disentangled into distinct descriptive and evaluative components and that since thick concepts have descriptive shape they can be mastered independently of evaluation. In Non-Cognitivism and Rule-Following, John McDowell uses Wittgenstein’s rule-following considerations to show that such a non-cognitivist view is untenable. In this paper I do several things. I describe the non-cognitivist position in its various forms and explain its driving motivations. I then explain McDowell’s argument against non-cognitivism and the Wittgensteinian considerations upon (...) which it relies, because this has been sufficiently misunderstood by critics and rarely articulated by commentators. After clarifying McDowell’s argument against non-cognitivism, I extend the analysis to show that commentators of McDowell have failed to appreciate his argument and that critical responses have been weak. I argue against three challenges posed to McDowell, and show that the case of thick concepts should lead us to reject non-cognitivism. (shrink)

Simon Blackburn has not shied away from the use of vivid imagery in developing, over a long and prolific career, a large-scale philosophical vision. Here one might think, for instance, of ‘Practical Tortoise Raising’ or ‘Ramsey's Ladder’ or ‘Frege's Abyss’. Blackburn develops a ‘quasi-realist’ account of many of our philosophical and everyday commitments, both theoretical (e.g., modality and causation) and practical (e.g., moral judgement and normative reasons). Quasi-realism aims to provide a naturalistic treatment of its targeted phenomena while (...) earning the right to deploy all of the ‘trappings’ of realism—i.e., while eschewing any idea that our normal thought and talk about such phenomena are pervasively in error. The quasi-realist project is that of explaining how (as Huw Price puts it here) ‘the folk come to “talk the realist talk” without committing ourselves—us theorists, as it were—to “walking the metaphysical walk”’ (p. 136). Quasi-realism, too, can speak of truth, facts, properties, belief, knowledge, and so on. The imagery in this collection also abounds, though, in capturing a different view of quasi-realism: No fewer than three of the contributors picture Blackburn as wanting to have his cake and eat it too (Louise Antony asking, in addition, ‘Who doesn't? It's cake’ [p. 19]). (shrink)

Supervenience in metaethics is the notion that there can be no moral dif-ference between two acts, persons or events without some non-moral difference underlying it. If St. Francis is a good man, there could not be a man exactly like St. Francis in non-evaluative respects that is not good. The phenomenon was first systematically discussed by R. M. Hare (1952), who argued that realists about evaluative properties struggle to account for it. As is well established, Hare, and following him, Simon (...) Blackburn, mistakenly took the relevant phenomenon to be weak rather than strong supervenience, and the explanations they offered for it are accordingly outdated. In this paper, I present a non-factualist account of strong su-pervenience of the evaluative and argue that it fares better than compet-ing realist views in explaining the conceptual nature of the phenomenon, as well as in offering an account of the supervenience of the evaluative in general, rather than more narrowly the moral. While Hare and Blackburn were wrong about the specifics, they were right in that non-factualists can offer a plausible account of the supervenience of the evaluative, that in certain respects is superior to competing realist explanations. (shrink)

In this article, I examine the moral dimensions of gender affirmation. I argue that the moral value of gender affirmation is rooted in what Iris Murdoch called loving attention. Loving attention is central to the moral value of gender affirmation because such affirmation is otherwise too fragile or insincere to have such value. Moral reasons to engage in acts that gender affirm derive from the commitment to give and express loving attention to trans people as a way of challenging their (...) marginalization. In the latter part of the paper, I will discuss how my arguments bear on recent arguments by Robin Dembroff and Daniel Wodak (2018) on the use of gender-neutral language. They argue that we have a duty not to use gender-specific pronouns for anyone. Their conclusion turns, in part, on a rejection of gender affirmation as a moral duty. The value of gender affirmation, rooted in our moral perception of trans people, should make us skeptical of this conclusion, in favor of a more nuanced and pluralistic approach to the ethics of gendering. (shrink)

Recently, the concept of "gender identity" has enjoyed a great deal of attention in gender metaphysics. This seems to be motivated by the goal of creating trans-inclusive theory, by explaining trans people's genders. In this paper, we aim to unmotivate this project. Notions of "gender identity" serve important pragmatic purposes for trans people, such as satisfying the curiosity of non-trans people, and, relatedly, securing our access to important goods like legal rights and medical care. However, we argue that this does (...) not mean that "gender identity" is a metaphysically substantial thing that deserves extensive theoretical attention. There are reasons to be skeptical of such a concept. We trace the history of "gender identity," primarily to identify its roots in trans-antagonistic medical theory and its connections to the problematic "wrong-body" model--a legacy that has pathologized and flattened trans experience. Moreover, we argue that trans people primarily use "gender identity" to explain ourselves to non-trans people, rather than to discuss ourselves among ourselves. Thus, we urge theorists to resist the urge to substantiate gender identity. Instead, we encourage the development of new and better concepts, ones that attend to the lived realities of trans community and the flourishing gender terms and practices that are constructed there. If these lived realities are taken seriously, there is no need to “explain” trans people’s genders; we can simply see them as they are. (shrink)

Recently, Intelligent Tutoring Systems (ITS) got much attention from researchers even though ITS educational technology began in the late 1960s and ITS is just embryonic from laboratories into the field. In this paper we outline an intelligent tutoring system for teaching basics of the databases system called (MDB). The MDB was built as education system by using the authoring tool (ITSB). MDB contains learning materials as a group of lessons for beginner level which include relational database system and lessons in (...) the process to install and set up a database. MDB system has exams for each level of the Lessons. An evaluation was done to see the effectiveness the MDB among learners and instructors. The outcome of the evaluation was promising. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Recent theorizing argues that online communication technologies provide powerful, although precarious, means of emotional regulation. We develop this understanding further. Drawing on subjective reports collected during periods of imposed social restrictions under COVID-19, we focus on how this precarity is a source of emo-tional dysregulation. We make our case by organizing responses into five distinct but intersecting dimensions wherein the precarity of this regulation is most relevant: infrastructure, functional use, mindful design (individual and social), and digital tact. Analyzing these reports, (...) along with examples of mediating technologies (i.e., self-view) and common interactive dynamics (e.g., gaze coordination), we tease out how breakdowns along these dimensions are sources of affective dysregulation. We argue that the adequacy of available technological resources and competencies of various kinds matter greatly to the types of emotional experiences one is likely to have online. Further research into online communication technologies as modula-tors of both our individual and collective well-being is urgently needed, especially as the echoes of the digital push that COVID-19 initiated are set to continue rever-berating into the future. (shrink)

There are two aims of this paper: (1) to explore the affective dimensions of moral shock and how it relates to normative marginalization of those furthest from dominant society, but also, more specifically; (2) to articulate the trans experience of constantly being under moral attack because the dominant “world” normatively defines you out of existence. Toward these ends, I build on Katie Stockdale’s recent work on moral shock, arguing that moral shock needs to be contextualized to “worlds” of sense to (...) understand how marginalized people affectively experience shocking events. My focus is the trans experience of moral shock due to the way trans people are positioned outside of dominant society, creating the conditions to experience cyclical, chronic shock. These affective conditions point to a collective responsibility to ease the affective stress that the most marginalized experience. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

With increased visibility of trans people comes increased philosophical interest in gendered language. This chapter aims to look at the research on gendered language in analytic philosophy of language so far, which has focused on two concerns: (1) determining how to define gender terms like ‘man’ and ‘woman’ such that they are trans inclusive and (2) if, or to what extent, we should use gendered language at all. We argue that the literature has focused too heavily on how gendered language (...) can harm trans people, and has not considered how trans people use gendered language to create meaning and joy for ourselves. Pulling from the literature in sociolinguistics, we look at examples of how trans people use language to make their lives better by gaining recognition, playing with gendered language, finding joy in gendered language, and taking control of definitional power, concluding that debates about gendered language need to consider not only how such language harms trans people but also how trans people use it for our own liberation. (shrink)

Rogier van der Weyden'in bu olağanüstü eseri, Yüce İsa'nın acılı veda anını derinlemesine işleyerek bize büyük bir ruhani derinlik sunuyor. Ressamın bu eseri hayata geçirirken duyduğu büyük acı ve ruhsal derinlik, onun sanatının kalbinde yatan insanlık ve inanç temasını güçlendiriyor. O dönemin zenginleri arasında büyük ün kazanmasının ardında yatan şey, bu eserin sanatın sınırlarını aşan etkileyici gücüdür. Ancak şüphesiz ki, bu eser insanlık için yaratılırken, hangi inançtan olursa olsun herkese dokunan bir acıyı da temsil ediyor. -/- Ressamın duygularını ve detayları (...) bu denli etkileyici bir şekilde aktarması, bu eserin günümüzde bile büyük bir hayranlıkla karşılanmasına yol açıyor. Van der Weyden'in tablosu, insanlık tarihinde derin izler bırakan evrensel bir sanat eseri olarak kabul ediliyor. Bu çeviriyi yaparken dönemin koşullarını ve sanatın gücünü daha iyi anladım. Vikipedi gibi kaynaklardan bilgi çevirirken, yabancı dillerdeki bilgilere olan erişimin önemini bir kez daha kavradım ve bu eseri Türkçe konuşanlarla buluşturmanın değerini anladım. -/- Umarım bu eser, okuyuculara van der Weyden'in sanatının derinliğini ve insanlık hikayesinin evrenselliğini anlatırken ilham verir ve onları düşündürür. Sanatın gücü ve insanın duygusal derinlikleri konusundaki bu yolculuk, hepimizi daha iyi bir anlayışa ve içsel bir zenginliğe yönlendirebilir. -/- --- -/- Rogier van der Weyden's extraordinary work offers us profound spiritual depth by delving deeply into the poignant farewell moment of Jesus Christ. The profound sorrow and spiritual depth felt by the painter while creating this work strengthen the theme of humanity and faith at the heart of his art. The impressive power of this work, which transcends the boundaries of art, lies behind the great fame it achieved among the elites of its time. However, unquestionably, this work also represents a universal sorrow that resonates with people of all beliefs. -/- The painter's ability to convey emotions and details in such a compelling manner has led to enduring admiration for this work even in contemporary times. Van der Weyden's painting is recognized as a universal masterpiece that has left deep imprints on the history of humanity. Translating this text has deepened my understanding of the conditions of the time and the power of art. It has also reinforced the importance of accessing information from sources like Wikipedia in foreign languages, and I have come to appreciate the value of bringing this work to Turkish-speaking audiences. -/- I hope this work inspires readers by revealing the depth of van der Weyden's art and the universality of the human story, prompting them to reflect. This journey into the power of art and the emotional depths of humanity can lead us all to greater understanding and inner richness. (shrink)

In the early part of the paper, I attempt to explain a dispute between two parties who endorse the compositionality of language but disagree about its implications: Paul Horwich, and Jerry Fodor and Ernest Lepore. In the remainder of the paper, I challenge the thesis on which they are agreed, that compositionality can be taken for granted. I suggest that it is not clear what compositionality involves nor whether it obtains. I consider some kinds of apparent counterexamples, and compositionalist responses (...) to them in terms of covert indexicality and unspecific meanings. I argue that the last option is the best for most of the cases I consider. I conclude by stressing, as against Horwich and Fodor and Lepore, that the appropriate question concerns the extent to which compositionality obtains in a natural language, rather than whether it obtains or not, so that the answer is essentially messy, requiring detailed consideration of a wide range of examples. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. Introduction Hempel's (...) paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Philosophers of race and other writers in the Black and Latinx intellectual traditions have remarked on what it is like to live under “the racial gaze,” to be shaped and limited by the way whites perceive us. However, little work has been spent developing how the racial gaze functions in whites’, and other racially privileged people’s, moral psychology. I argue in this paper that there is a morally objectionable way of perceiving people of color. This claim builds on an insight (...) from Iris Murdoch that our perception can be morally evaluable and extends it to issues of race. I articulate how racial stereotypes and misvaluing distort one’s perception of people of color and that these distortions are organizing around a dominant conception for race that plays an important role in the oppression of people of color. I believe understanding racist perception lays a foundation for understanding the moral dimensions of interpersonal (as opposed to structural) racism. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Information technology (IT) is continuously making astounding progress in technical efficiency. The time, space, material and energy needed to provide a unit of IT service have decreased by three orders of magnitude since the first personal computer (PC) was sold. However, it seems difficult for society to translate IT’s efficiency progress into progress in terms of individual, organizational or socio-economic goals. In particular it seems to be difficult for individuals to work more efficiently, for organizations to be more productive and (...) for the socio-economic system to be more sustainable by using increasingly efficient IT. This article provides empirical evidence and potential explanations for this problem. Many counterproductive effects of IT can be explained economically by rebound effects. Beyond that, we conclude that the technological determinism adopted by decision-makers is the main obstacle in translating IT’s progress into non-technical goals. (shrink)

At first glance, the imperative to treat all human beings according to equal norms and principles appears indisputable, with any deviation seen as an ethical transgression. The rational perspective dictates a uniform consideration of all individuals unless differential treatment is warranted by valid reasons, avoiding harm. Deviations from equal treatment are typically viewed as exceptions, and ethical frameworks acknowledging groundless differences between individuals seem unjustified. This poses a significant challenge to defending nationalism, which presupposes prioritizing compatriots over others. This dilemma (...) engenders two opposing camps: universalism and particularism. Universalism argues that only general facts about others should determine one's duties towards them, while particularism contends that interpersonal relations play a crucial role in defining rights and duties. From the universalist standpoint, particularism is suspect, as it appears non-impartial and favors specific groups. In response, a particularist might argue that the virtue of impartiality is context-dependent, requiring unbiased behavior in specific situations. Thus, the particularist does not view universalism as indispensable to impartiality (Miller, 1997, 53-4). This abstract explores the ethical complexities surrounding these perspectives, particularly when faced with the nuances of nationalism. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

ABSTRACT Clinicians, researchers and the informed public have come to view addiction as a brain disease. However, in nature even extreme events often reflect normal processes, for instance the principles of plate tectonics explain earthquakes as well as the gradual changes in the face of the earth. In the same way, excessive drug use is predicted by general principles of choice. One of the implications of this result is that drugs do not turn addicts into compulsive drug users; they retain (...) the capacity to say ?no?. In support of the logical implications of the choice theory approach to addiction, research reveals that most addicts quit using drugs by about age 30, that most quit without professional help, that the correlates of quitting are the correlates of decision making, and, according to the most recent epidemiological evidence, the probability of quitting remains constant over time and independent of the onset of dependence. This last result implies that, after an initial period of heavy drug use, remission is independent of any further exposure to drugs. In short, there is much empirical support for the claim that addiction emerges as a function of the rules of everyday choice. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

On how medieval philosophy is not (only) theology.

A moral code consists of principles that assign moral status to individual actions – principles that evaluate acts as right or wrong, prohibited or obligatory, permissible or supererogatory. Many theorists have held that such principles must serve two distinct functions. On the one hand, they serve a theoretical function, insofar as they specify the characteristics in virtue of which acts possess their moral status. On the other hand, they serve a practical function, insofar as they provide an action-guide: a standard (...) by reference to which a person can choose which acts to perform and which not. Although the theoretical and practical functions of moral principles are closely linked, it is not at all obvious that what enables a principle to fill one of these roles automatically equips it to fill the other. In this paper I shall briefly examine some of the reasons why a moral principle might fail to fill its practical role, i.e., be incapable of guiding decisions. I shall then sketch three common responses to this kind of failure, and examine in some detail the adequacy of one of the most popular of these responses. (shrink)

The chapter argues that radical contextuality, a hallmark theme of “postmodern” thought, is also a key element of Heidegger’s thinking. Aristotelian metaphysics, as the question of being qua being, looks for a universal principle common to every particular instance of “to be.” By contrast, the postmetaphysical approach gradually developed by Heidegger basically addresses being as the irreducible context-sensitivity and singularity of a meaningful situation, understood as a unique focal point of a dynamic and complex meaning-context. The fundamental ontology of Being (...) and Time (1927) articulates the temporally contextual structure of the human being as Dasein, culminating in the concept of the multidimensional singular instant (Augenblick). After the failure of his attempt to articulate the temporally contextual singularity of being in terms of its correlation with Dasein, Heidegger attempts an inverted approach: Contributions to Philosophy (1936–38) considers Dasein as the spatiotemporally situated place of the singular event (Ereignis) of being. The chapter finally suggests an interpretation of the fourfold (Geviert) of sky, earth, gods, and mortals, allusively introduced in the 1949 Bremen lectures, as Heidegger’s most elaborate account of the multidimensional structure that makes possible the contextual singularization of meaningfulness. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description logic (...) as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The chapter examines Russian political theorist Aleksandr Dugin’s (b. 1962) challenge to the Western liberal order. Even though Dugin’s project is in many ways a theoretical epitome of Russia’s contemporary attempt to profile itself as a regional great power with a political and cultural identity distinct from the liberal West, Dugin can also be read in a wider context as one of the currently most prominent representatives of the culturally and intellectually oriented international New Right. The chapter introduces Dugin’s role (...) on the Russian right-wing political scene and his international networks, Russian neo-Eurasianism as his ideological footing, and his more recent “fourth political theory” as an attempt to formulate a new ideological alternative to liberalism as well as the two other main twentieth-century ideologies, communism and fascism. Dugin’s fourth ideology, essentially meant as an alternative to a unipolar post–Cold War global hegemony of victorious liberalism, draws inspiration from the German conservative revolutionary movement of the Weimar era. In particular, Martin Heidegger’s philosophy of history, with its thesis of the end of modernity and another beginning of Western thought, and Carl Schmitt’s pluralistic model of geopolitics are highlighted as key elements of Dugin’s eclectic political thought, which is most appropriately characterized as a form of radical conservatism. (shrink)

This study contributes to the micro-credit literature by addressing the lack of philosophical dialogue concerning the issue of trust between micro-credit NGOs and rural poor women. The study demonstrates that one of the root causes of NGOs’ contested roles in Bangladesh is the norm that they use (i.e., trust) to rationalize their micro-credit activities. I argue that Bangladeshi micro-credit NGOs’ trust in poor village women is not genuine because they resort to group responsibility sustained through aggressive surveillance. I maintain so (...) by drawing on a trust-based theoretical framework that uses various philosophical insights. Drawing on the same conceptual framework, I also contend, somewhat softening the previous claim, that if micro-credit trust is trust at all, it is at most strategic, not generalized. For being strategic, it has many undermining effects on local social solidarity norms, rendering Bangladeshi micro-credit NGOs and strategic trust an odd couple with no moral compass. To bring forth the moral impetus in micro-credit activities, I lay out some recommendations intended for organizations, managers, and policymakers, consistent with normative corporate social responsibility initiatives. However, further studies can be initiated based on this paper, suggesting its importance for future research. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)