In this chapter, I consider contemporary consequentialist theories of punishment. Consequentialist theories of punishment look to the consequences of punishment to justify the institution of punishment. Two types of theories fall into this category—teleology and aggregationism. I argue that teleology is implausible as it is based on a problematic assumption about the fundamental value of criminal punishment, and that aggregationism provides a more reasonable alternative. Aggregationism holds that punishment is morally justified because it is an institution that helps society to (...) aggregate important moral values. Several theories fall into this category, including general deterrence theories, specific deterrence theories, and preventionism. I critically evaluate these theories and argue that only one specific deterrence theory, namely, my rights-protection theory, provides the most reasonable consequentialist account of punishment. (shrink)

Whether causing flash crashes in financial markets, purchasing illegal drugs, or running over pedestrians, AI is increasingly engaging in activity that would be criminal for a natural person, or even an artificial person like a corporation. We argue that criminal law falls short in cases where an AI causes certain types of harm and there are no practically or legally identifiable upstream criminal actors. This Article explores potential solutions to this problem, focusing on holding AI directly criminally liable where it (...) is acting autonomously and irreducibly. Conventional wisdom holds that punishing AI is incongruous with basic criminal law principles such as the capacity for culpability and the requirement of a guilty mind. -/- Drawing on analogies to corporate and strict criminal liability, as well as familiar imputation principles, we show how a coherent theoretical case can be constructed for AI punishment. AI punishment could result in general deterrence and expressive benefits, and it need not run afoul of negative limitations such as punishing in excess of culpability. Ultimately, however, punishing AI is not justified, because it might entail significant costs and it would certainly require radical legal changes. Modest changes to existing criminal laws that target persons, together with potentially expanded civil liability, are a better solution to AI crime. (shrink)

In some jurisdictions, the institutions of criminal justice may subject individuals who have committed crimes to preventive detention. By this, I mean detention of criminal offenders (i) who have already been punished to (or beyond) the point that no further punishment can be justified on general deterrent, retributive, restitutory, communicative or other backwardlooking grounds, (ii) for preventive purposes—that is, for the purposes of preventing the detained individual from engaging in further criminal or otherwise socially costly conduct. Preventive detention, thus (...) understood, shares many features with the quarantine measures sometimes employed in the context of infectious disease control. Both interventions involve imposing (usually severe) constraints on freedom of movement and association. Both interventions are standardly undeserved: in quarantine, the detained individual deserves no detention (or so I will, for the moment, assume), and in preventive detention, the individual has already endured any detention that can be justified by reference to desert. Both interventions are, in contrast to civil commitment under mental health legislation, normally imposed on more-or-less fully autonomous individuals. And both interventions are intended to reduce the risk that the constrained individual poses to the public. Yet despite these similarities, preventive detention and quarantine have received rather different moral report cards. (shrink)

This article opens with the consequentialist–deontologist debate, with the former concerned about the relevance of punitive measures against their crime reducing potentials, while the latter highlights punishment as censure of wrongful acts and the proportion of the punishment to the degree of crime. The article briefly discusses the empirical research on the impact of penal sanctions and focuses on three main kinds of empirical research into possible general deterrent effects—namely, association studies, quasi-experimental studies, and contextual and perceptual studies. It (...) addresses the methodological issues involved in deterrence research and summarizes the results precisely. This article also discusses reductivism in the view of the possibility that penal sanctions could influence the offender's will. The results suggest that crime preventive aims can justify sentencing policies only to a limited degree, at least for the foreseeable future. (shrink)

This article advances a critical analysis of John Rawls’s justification of liberal democratic nuclear deterrence in the post-Cold War era as found in The Law of Peoples. Rawls’s justification overlooked how nuclear-armed liberal democracies are ensnared in two intransigent ethical dilemmas: one in which the mandate to secure liberal constitutionalism requires both the preservation and violation of important constitutional provisions in domestic affairs, and the other in which this same mandate requires both the preservation and violation of the liberal (...) commitment to international legal arrangements and to the rule of law generally. On this view, the choice to violate constitutional provisions and international legal arrangements is evidence of nuclear despotism. Moreover, this choice does not imply that the ethical foreign policy dilemmas were resolved. Instead, it implies that the dilemmas force liberal democratic governments into implementing ethically paradoxical policy outcomes. (shrink)

In this paper, I propose a new self-defense theory of punishment, the rights-protection theory. By appealing to the interest theory of right, I show that what we call “the right of self-defense” is actually composed of the right to protect our basic rights. The right of self-defense is not a single, self-standing right but a group of derivative rights justified by their contribution to the protection of the core, basic rights. Thus, these rights of self-defense are both justified and constrained (...) by the basic rights they are supposed to protect. I then explain how this theory responds to a common objection. Opponents argue that, to exercise the right of self-defense, some threat must be present. However, in the context of punishment, the threat has already taken effect or is already gone. Thus, the right of self-defense becomes irrelevant when we punish an offender. I show that this objection is based on an implausibly narrow conception of self-defense. A reasonable conception would allow us to exercise our right of self-defense when there is a present definite threat, a future definite threat, or a potential threat. Thus, we may still exercise our right of self-defense in the context of punishment. (shrink)

Traditional justifications of punishment, deterrence theory and retributivism, are subject to counterexamples that show that they do not explain why generally we have positive reason to punish those who commit serious crimes. Nor do traditional views sufficiently explain why criminals cannot reasonably object to punishment on the grounds that it deprives them of goods to which they are usually entitled. I propose an alternative justification of punishment, grounded in its blaming function. According to the “reactive theory,” punishment is justified (...) because it expresses the appropriate indignation of the community. I argue that this blaming function provides a superior account of the positive reason to punish and of why serious criminals cannot reasonably object to their punishment. (shrink)

Universal Game Theory - The theory that all of life is a game played by consciousness’es, (Living Beings). The board is a dream like structure of the universe. The progression is through an active process of intent witnessing, and passive meditation. Which releases the tension in the nerves of the body and leads to selfless actions, moral goodness, and eventually the finish, Enlightenment. Just like a wounded creature only cares about it’s own self. Man in tensionthrough self-centered thought only thinks (...) about his own predicaments. Even if he is thinking about others it is only through his own objectionable view from his false-created center. The enemy or deterrents in the game is the conditioning created by society for ambition, greed, control and general brain washing to give theindividual a false sense of identity, the ego. This is achieved by Religion; tradition, culture, education, reasoning, linear thought, and the creation of time. Leaving him/her in constant anxiety about millions of future contingencies. Through witnessing one realizes the whole futility of one dimensional thought which only leads to more and more thought. Simple or constructed elaborately, thought being time, a human construction. The final step of the Universal Game Theory is understanding the whole process of thought and the eventual revelation of Enlightenment, Bliss, ecstasy. Which the person then understands that he/she is the creator of the life/dream with which they are in. That point being a sexual ecstasy similar to what happens in death to men. i.e. Human males release semenwhen they die, having a sexual ecstasy at their last breath. (shrink)

Students with recent immigrant roots disproportionately choose educational trajectories in STEM. In addition to the perception that STEM represents the "path of least racism," many students assume the responsibility of contributing to their families' financial wellbeing. In this talk, I share my experience teaching at a pre-professional healthcare university with a large percentage of 1st and 2nd-generation Asian immigrant students. Many of them seek advice on how to negotiate the social and familial pressure to pursue STEM against their interests in (...) the humanities. The reply "Follow your heart" might be inappropriate when familial obligations and perceived bigotry are legitimate deterrents. By recognizing the grand tradition of one immigrant generation trying to improve the lot for the next, we strive not merely for financial freedom but freedom in general. As such, we ought to consider how we can spend our lives to best dismantle the barriers that limit our life choices. (shrink)

The following essay responds to a draft article that criticises the theory of libertarian restitution in “Libertarian Rectification: Restitution, Retribution, and the Risk-Multiplier” (LR). The article was freely available to internet search engines. Hence, it seems fair and useful to reply to these very welcome objective criticisms. It is not intellectually relevant that its author might subsequently and subjectively have thought better of them, possibly as a result of the earlier version of this reply. Generally, the article misconstrues the position (...) on retribution in LR. Eventually, it makes apparent qualifications to its own position such that there does not seem to be any clear theoretical difference between the two on the central disputed issue. LR’s position is to explain and defend only the non-normative theory of libertarian restitution: full restoration or compensation to the damaged (initiatedly imposed on) party. But it is argued that this can include a retributive aspect if that is what the victim prefers. Moreover, such restitution will tend to act as a deterrent that maximises both overall interpersonal liberty (theorised as no initiated imposed costs) and human welfare (theorised as preference satisfaction). (shrink)

Revista Intelligence Info este o publicație trimestrială din domeniile intelligence, geopolitică și securitate, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIALE / EDITORIALS -/- Tiberiu TĂNASE Considerații privind necesitatea educării și formării resursei umane pentru intelligence–ul național Considerations regarding the need to educate and train human resources for national intelligence Nicolae SFETCU Epistemologia activității de intelligence Epistemology of intelligence Nicolae SFETCU Rolul serviciilor de informații în război The role of the intelligence agencies in a war Nicolae SFETCU (...) Evoluția inteligenței artificiale în domeniul securității naționale The evolution of artificial intelligence in the field of national security -/- INTELLIGENCE / INTELLIGENCE -/- Ovidiu BOUREANU O scurtă istorie a spionajului: spionajul modern de la Războiul Rece la Războiul împotriva terorii A Brief History of the Spy: Modern Spying from the Cold War to the War on Terror Ioana PĂIUȘ, Tiberiu TĂNASE Securitate și informații într-o lume în schimbare Security and intelligence in a changing world Nicolae SFETCU Activitatea de intelligence - Ciclul intelligence Intelligence Activity – Intelligence Cycle Tiberiu TĂNASE Controlul asupra Intelligence –ului Control over Intelligence Tiberiu TĂNASE Informația și nevoia de gestionare a resurselor informaționale Information and the need to manage information resources Tiberiu TĂNASE Controlul parlamentar al serviciilor de informații Parliamentary control of intelligence services Tiberiu TĂNASE Mecanisme de control democratic al activității serviciilor de informații Mechanisms of democratic control of the activity of intelligence agencies Nicolae SFETCU Analiza informațiilor Intelligence Analysis Bogdan-George RĂDULESCU Cum ar trebui să fie utilizată analiza intelligence pentru a contracara războiul cognitiv? How should intelligence analysis be utilized to counter cognitive warfare? -/- ISTORIE / HISTORY -/- Tiberiu TĂNASE Biroul de Informații al Secției Militare din Transilvania și rolul său în campania pentru apărarea României Mari The Intelligence Office of the Transylvanian Military Section and its role in the campaign for the defense of Greater Romania Stan PETRESCU Pacepa, Kuklinski, Pollard și românii Pacepa, Kuklinski, Pollard and the Romanians Tiberiu TĂNASE Contracararea de către SSI a activităților informative și acțiunilor Serviciilor Germane și Sovietice de Informații implicate în evenimentele din 21 - 23 ianuarie 1941 Countering by the SSI of the informational activities and actions of the German and Soviet Intelligence Services involved in the events of January 21-23, 1941 Tiberiu TĂNASE Alexandru Ioan Cuza, fondatorul Intelligence-lui statului modern românesc Alexandru Ioan Cuza, Founder of the Intelligence of the Modern Romanian State Tiberiu TĂNASE, Bogdan MUSCALU Puncte de vedere privind tradițiile romane în istoria intelligence-lui Viewpoints on Roman traditions in history intelligence Tiberiu TĂNASE Istoria Serviciului Român de Informații – serviciu de intelligence competitiv, și strategiile de intelligence History of the Romanian Intelligence Service – competitive intelligence service, and intelligence strategies Rodica LISEANU Reformele serviciilor secrete de la Mihail Moruzov la Eugen Cristescu, între inovație și decadență Secret service reforms from Mihail Moruzov to Eugen Cristescu Rodica LISEANU Take Ionescu – O biografie vectorială în istoria partidelor politice și în semantica diplomației Take Ionescu - A Vectorial Biography in the History of Political Parties and the Semantics of Diplomacy Remus MACOVEI Trădători și trădători Traitors and traitors -/- GEOPOLITICA / GEOPOLITICS -/- Antoaneta AVRAM Pandemia de COVID-19 și consecințele ei în peisajul anului 2022 The COVID-19 pandemic and its consequences in the landscape of 2022 Darius-Antoniu FERENȚ, Ioan MANCI Analiza conflictului ruso-cecen din perspectivă militară Analysis of the Russian-Chechen conflict from a military perspective Lisa-Maria ACHIMESCU Apusul universalismului european The decline of European universalism Emilian M. DOBRESCU Hegemonia chineză în producția de pământuri rare Chinese Hegemony in the Production of Rare Earths Ionuț-Daniel GORGOVAN ”Descurajarea integrată”. Analiză asupra strategiei SUA în Pacific "Integrated deterrence". Analysis of US Pacific Strategy Tiberiu TĂNASE, Violeta Ioana NAGÂȚ Conflictul arabo-israelian. Percepții privind cauzele și natura conflictului. Repere istorice și actualitate The Arab-Israeli conflict. Perceptions of the causes and nature of conflict. Historical landmarks and current affairs -/- SECURITATE / SECURITY -/- Tănase TIBERIU Minighid de pregătire și protecție contrainformativă Counterintelligence preparation and protection mini-guide Darius-Antoniu FERENȚ ISIS - Jocul morții - Martiri, asasinate și fascinație The Killing Game - Martyrdom, Murder and the Lure of ISIS Traian OSTAHIE Abordări generale ale conceptului de cultură de securitate For a 21st century realism Dalia Elena SILAGHI Terorismul cibernetic: o formă contemporană de terorism Cyber Terrorism: A Contemporary Form of Terrorism Paul Alexandru HELER Conflictul asimetric și consecințele sale în securitatea Asiei Asymmetric Conflict and Its Consequences in Asian Security Daria-Maria TÂRNĂVEAN Confruntarea informațională și repercusiunile sale asupra mediului actual de securitate The Information Confrontation and its Repercussions on the Current Security Environment Darius-Antoniu FERENȚ Analiza atacurilor cibernetice, precum APT (Advanced Persistent Threat) și ransomware Analysis of cyber attacks such as APT (Advanced Persistent Threat) and ransomware Daniela Georgiana GOLEA, Oana Ștefania COȘA Nevoia de adaptare managerială a noilor probleme de securitate modernă The need for managerial adaptation to new modern security issues Darius-Antoniu FERENȚ, Corneliu PREJA Implicarea NATO în domeniul apărării cibernetice NATO's involvement in cyber defence Alexandru CRISTIAN Paradigme în mediul internațional de securitate Paradigms in the international security environment Alexandru CRISTIAN Schimbarea paradigmelor în mediul internațional de securitate Changing paradigms in the international security environment Dan D. FARCAȘ Adevăr și dezinformare în fenomenul OZN Truth and disinformation in the UFO phenomenon Alexandru CRISTIAN Un nou mediu de securitate A new security environment -/- ȘTIINȚA INFORMAȚIEI / INFORMATION SCIENCE -/- Oana Ștefania COȘA Rolul structurilor de intelligence medical în atingerea obiectivul de consolidare a sistemului de sănătate The role of medical intelligence structures in achieving the objective of strengthening the health system Nicolae SFETCU Preocupări legislative în mineritul datelor Legislative concerns in data mining Nicolae SFETCU Utilizarea analiticii rețelelor sociale în intelligence Using social network analytics in intelligence Nicolae SFETCU Ingineria cunoașterii în colectarea informațiilor Knowledge Engineering in Intelligence Gathering -/- ISSN 2971 – 9089 ISSN-L 2821 – 8159, DOI: 10.58679/II26972. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the (...) normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

A deterrence theory of punishment holds that the institution of criminal punishment is morally justified because it serves to deter crime. Because the fear of external sanction is an important incentive in crime deterrence, the deterrence theory is often associated with the idea of severe, disproportionate punishment. An objection to this theory holds that hope of escape renders even the severest punishment inapt and irrelevant. -/- This article revisits the concept of deterrence and defend a more (...) plausible deterrence theory of punishment—the wide-scope deterrence theory. The wide-scope theory holds that we must make the best use of all the deterrence tools available, including both external and internal sanctions. Drawing on insights from the early Confucian tradition, the article develops a deep deterrence theory, which holds that the most important deterrence tool involves internal, not external, sanction. It describes how internal sanctions deter potential offenses and why relevant policies need not conflict with liberalism’s respect for neutrality. (shrink)

This is a presentation of the utilitarian approach to punishment. It is meant for students. A note added in July, 2022 advises the reader about the author's current views on some topics in the paper. The first section discusses Bentham's psychological hedonism. The second briefly criticizes it. The third section explains abstractly how utilitarianism would determine of the right amount of punishment. The fourth section applies the theory to some cases, and brings out how utilitarianism could favor punishments more or (...) less severe than the lex talionis. (shrink)

In this paper, I argue that what counts as the proper function of a trait is a matter of the de facto perspective that the biological system, itself, possesses on what counts as proper functioning for that trait. Unlike non-perspectival accounts, internal perspectivalism does not succumb to generality problems. But unlike external perspectivalism, internal perspectivalism can provide a fully naturalistic, mind-independent grounding of proper function and natural norms. The attribution of perspectives to biological systems is intended to be neither metaphorical (...) nor anthropomorphic: I do not mean to imply that such systems thereby must possess agency, cognition, intentions, concepts, or mental or psychological states. Instead, such systems provide the grounding for norms of performance when they internally enforce their own standard of (i.e., their own perspective on) what constitutes proper functioning or malfunctioning. By operating with a fixed, determinate level of generality, such systems provide the basis for an account of proper function that is immune to generality problems. (shrink)

This is the general introduction to the edited collection "A companion to Experimental Philosophy".

This study aims to determine driving factors significantly influencing the purchase intention and to identify impediments creating the intention –behavior gap regarding organic food consumption in Vietnam. The chosen driving factors affecting the organic food purchase intention in this study are health benefits, environmental awareness, and social norms, whereas trust, price, and convenience as well as availability are investigated as deterrent factors of the link between intention and behavior. A structured online questionnaire with snow-balling sampling method was distributed to collect (...) a representative sample of 466 Vietnamese consumers nationwide. A five-point likert scale was used for the level of approval for 36 statements. Statistical tools of SPSS 22.0 including descriptive analysis, principal component analysis, and multiple regression analysis models were used for data analysis. The results showed that health benefits, environmental awareness, and social norms were facilitators of organic food purchase intention. Although high intention to purchase organic foods was identified in Vietnam, it was not translated into actual purchase behavior. The main barriers for the inconsistency were premium price and low availability of organic products or inconvenience to buy in the market. Lack of trust insignificantly impacted on organic food choices among Vietnamese consumers in this study. These empirical findings and suggestions are beneficial for all players across supply chains. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those (...) in current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

I present and defend the generalized selected effects theory (GSE) of function. According to GSE, the function of a trait consists in the activity that contributed to its bearer’s differential reproduction, or differential retention, within a population. Unlike the traditional selected effects (SE) theory, it does not require that the functional trait helped its bearer reproduce; differential retention is enough. Although the core theory has been presented previously, I go significantly beyond those presentations by providing a new argument for GSE (...) and defending it from a recent objection. I also sketch its implications for teleosemantics and philosophy of medicine. (shrink)

Many scientists routinely generalize from study samples to larger populations. It is commonly assumed that this cognitive process of scientific induction is a voluntary inference in which researchers assess the generalizability of their data and then draw conclusions accordingly. We challenge this view and argue for a novel account. The account describes scientific induction as involving by default a generalization bias that operates automatically and frequently leads researchers to unintentionally generalize their findings without sufficient evidence. The result is unwarranted, overgeneralized (...) conclusions. We support this account of scientific induction by integrating a range of disparate findings from across the cognitive sciences that have until now not been connected to research on the nature of scientific induction. The view that scientific induction involves by default a generalization bias calls for a revision of the current thinking about scientific induction and highlights an overlooked cause of the replication crisis in the sciences. Commonly proposed interventions to tackle scientific overgeneralizations that may feed into this crisis need to be supplemented with cognitive debiasing strategies against generalization bias to most effectively improve science. (shrink)

According to Intellectualism knowing how to V is a matter of knowing a suitable proposition about a way of V-ing. In this paper, I consider the question of which ways of acting might figure in the propositions which Intellectualists claim constitute the object of knowledge-how. I argue that Intellectualists face a version of the Generality Problem – familiar from discussions of Reliabilism – since not all ways of V-ing are such that knowledge about them suffices for knowledge-how. I consider various (...) responses to this problem, and argue that none are satisfactory. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the (...) designatum of a predicate is a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

Gauthier claims: (1) a non-maximizing action is rational if it maximized to intend it. If one intended to retaliate in order to deter an attack, (2) retaliation is rational, for it maximized to intend it. I argue that even on sympathetic theories of intentions, actions and choices, (1) is incoherent. But I defend (2) by arguing that an action is rational if it maximizes on preferences it maximized to adopt given one's antecedent preferences. (2) is true because it maximized to (...) adopt preferences on which it maximizes to retaliate. I thus save the theory that rational actions must maximize, and extend it into the rational criticism of preferences. (shrink)

Scientists may sometimes generalize from their samples to broader populations when they have not yet sufficiently supported this generalization. Do such hasty generalizations also occur in experimental philosophy? To check, we analyzed 171 experimental philosophy studies published between 2017 and 2023. We found that most studies tested only Western populations but generalized beyond them without justification. There was also no evidence that studies with broader conclusions had larger, more diverse samples, but they nonetheless had higher citation impact. Our analyses reveal (...) important methodological limitations of many experimental philosophy studies and suggest that philosophical training may not protect against hasty generalizations. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and (...) structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Metacognition is the capacity to evaluate the success of one's own cognitive processes in various domains; for example, memory and perception. It remains controversial whether metacognition relies on a domain-general resource that is applied to different tasks or if self-evaluative processes are domain specific. Here, we investigated this issue directly by examining the neural substrates engaged when metacognitive judgments were made by human participants of both sexes during perceptual and memory tasks matched for stimulus and performance characteristics. By comparing (...) patterns of fMRI activity while subjects evaluated their performance, we revealed both domain-specific and domain-general metacognitive representations. Multivoxel activity patterns in anterior prefrontal cortex predicted levels of confidence in a domain-specific fashion, whereas domain-general signals predicting confidence and accuracy were found in a widespread network in the frontal and posterior midline. The demonstration of domain-specific metacognitive representations suggests the presence of a content-rich mechanism available to introspection and cognitive control. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms (...) like ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

Many current popular views in epistemology require a belief to be the result of a reliable process (aka ‘method of belief formation’ or ‘cognitive capacity’) in order to count as knowledge. This means that the generality problem rears its head, i.e. the kind of process in question has to be spelt out, and this looks difficult to do without being either over or under-general. In response to this problem, I propose that we should adopt a more fine-grained account of (...) the epistemic basing relation, at which point the generality problem becomes easy to solve. (shrink)

Vogel argues that sensitivity accounts of knowledge are implausible because they entail that we cannot have any higher-level knowledge that our beliefs are true, not false. Becker and Salerno object that Vogel is mistaken because he does not formalize higher-level beliefs adequately. They claim that if formalized correctly, higher-level beliefs are sensitive, and can therefore constitute knowledge. However, these accounts do not consider the belief-forming method as sensitivity accounts require. If we take bootstrapping as the belief-forming method, as the discussed (...) cases suggest, then we face a generality problem. Our higher-level beliefs as formalized by Becker and Salerno turn out to be sensitive according to a wide reading of bootstrapping, but insensitive according to a narrow reading. This particular generality problem does not arise for the alternative accounts of process reliabilism and basis-relative safety. Hence, sensitivity accounts not only deliver opposite results given different formalizations of higher-level beliefs, but also for the same formalization, depending on how we interpret bootstrapping. Therefore, sensitivity accounts do not fail because they make higher-level knowledge impossible, as Vogel argues, and they do not succeed in allowing higher-level knowledge, as Becker and Salerno suggest. Rather, their problem is that they deliver far too heterogeneous results. (shrink)

This paper focuses on how experiences of trauma can lead to generalized fear of people, objects and places that are similar or contextually or conceptually related to those that produced the initial fear, causing epistemic, affective, and practical harms to those who are unduly feared and those who are intimates of the victim of trauma. We argue that cases of fear generalization that bring harm to other people constitute examples of injustice closely akin to testimonial injustice, specifically, mnemonic injustice. Mnemonic (...) injustice is a label that has been introduced to capture how injustice can occur via the operation of human memory systems when stereotypes shape what is remembered. Here we argue that injustices can also occur via memory systems when trauma leads to a generalized fear. We also argue that this calls for a reformulation of the notion of mnemonic injustice. (shrink)

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are (...) not ontologically committed to the truthmakers of our sentences. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, (...) this analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

In this paper, I present a general theory of topological explanations, and illustrate its fruitfulness by showing how it accounts for explanatory asymmetry. My argument is developed in three steps. In the first step, I show what it is for some topological property A to explain some physical or dynamical property B. Based on that, I derive three key criteria of successful topological explanations: a criterion concerning the facticity of topological explanations, i.e. what makes it true of a particular (...) system; a criterion for describing counterfactual dependencies in two explanatory modes, i.e. the vertical and the horizontal; and, finally, a third perspectival one that tells us when to use the vertical and when to use the horizontal mode. In the second step, I show how this general theory of topological explanations accounts for explanatory asymmetry in both the vertical and horizontal explanatory modes. Finally, in the third step, I argue that this theory is universally applicable across biological sciences, which helps to unify essential concepts of biological networks. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s (...) intent by defining a rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

In this paper, I argue that Kant gives a philosophically plausible derivation of the general duty of benevolence and that this derivation can be used to show how to derive other general duties of commission with the universalizability tests.The paper is divided into four sections. In the first, I explain Kant’s notion of a general duty. In the second, I introduce the universalizability tests. In the third, I examine and argue against an account in the secondary literature (...) of how to derive general duties from these tests. In the fourth, I look at Kant’s derivation of the duty of benevolence in the Metaphysics of Morals, and I suggest how this reasoning can be extended to other duties. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether (...) these identities --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

Jobst Langrebe’s and Barry Smith’s book Why Machines Will Never Rule the World argues that artificial general intelligence (AGI) will never be realized. Drawing on theories of complexity they argue that it is not only technically, but mathematically impossible to realize AGI. The book is the result of cooperation between a philosopher and a mathematician. In addition to a thorough treatment of mathematical modelling of complex systems the book addresses many fundamental philosophical questions. The authors show that philosophy is (...) still relevant for questions of information technology in general and artificial intelligence in particular. This paper endorses Landgrebe’s and Smith’s arguments that artificial general intelligence cannot be realized, but not their conclusion that machines will never rule the world. It is not only a question of what technology can do. An equally important question is what technology does to us. Machines may not take over the world in a literal sense, but they may have many negative effects. Some of the most serious can be placed under the category of the “degeneration effect”. (shrink)

In this paper I will give an analysis of what I call ‘generalizing detached self-reference’ within a general account of reference to the first person. With generalizing detached self-reference an agent attributes properties to a range of individuals by putting himself into their shoes, or simulating them. I will show that generalizing detached self-reference plays an important role in the semantics of natural language, in particular in the English generic one and in what syntacticians call arbitrary PRO.

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules (...) has a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three (...) arguments for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)