This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of (...) Formal Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

In the article ”Inconsistency of N from a not-finitist point of view” we have shown the inconsistency of N, going through a denial. Here we delete this indirect step and essentially repeat the same proof. Contextually we find a contradiction about natural number definition. Then we discuss around the rejection of infinity.

Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my (...) own solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied (...) to contradictory assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative (...) results hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author (...) has proved that the theories T+, T−, and T′ are equivalent. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to (...) apply to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

If a subject’s belief system is inconsistent, does it follow that the subject’s beliefs (all of them) are unjustified? It seems not. But, coherentist theories of justification (at least some of them) imply otherwise, and so, it seems, are open to counterexample. This is the “Problem of Justified Inconsistent Beliefs”. I examine two main versions of the Problem of Justified Inconsistent Beliefs, and argue that coherentists can give at least a promising line of response to each of (...) them. (shrink)

The existential insecurity of human beings has induced them to create protective spheres of symbols: myths, religions, values, belief systems, theories, etc. Rationality is one of the key factors contributing to the construction of civilisation in technical and symbolic terms. As Hankiss (2001) has emphasised, protective spheres of symbols may collapse – thus causing a profound social crisis. Social and political transformations had a tremendous impact at the end of the 20th century. As a result, management theories have been (...) revised in order to deal with transition and uncertainty. Francis Fukuyama's (2000) approach is supportive of hierarchical organisation as the best solution when facing a 'disruption'. The notion of Homo Hierarchicus has been based on, allegedly, rational presumptions. This paper contributes to the discussion on hierarchy within contemporary organisations. It criticises so-called 'natural' and 'rational' necessities justifying hierarchy. A key issue identified by the paper is the formalisation of language in claiming value-free knowledge and 'detached' observation as the basis for neutral rationality and aspired efficiency. This should be seriously reconsidered as hindering rather than aiding understanding of social complexity. All in all, Homo Hierarchicus appears to be misleading rather than helping symbolic sphere or construct. (shrink)

The paper presents an analysis of the ethics of abortion and infanticide. The work considers two main approaches: the argument of J.J. Thomson on the right to use his body and the absence of responsibilities regarding the fetus, and the argument about the difference in the moral status of the fetus and the adult, which are used both in the argumentation of supporters and opponents of abortion. The paper shows the fallacy of the first approach, and also, in order for (...) the second approach to remain internally consistent, we must agree that infanticide is permissible. (shrink)

Can a perceptual experience justify (epistemically) a belief? More generally, can a nonbelief justify a belief? Coherentists answer in the negative: Only a belief can justify a belief. A perceptual experience can cause a belief but cannot justify a belief. Coherentists eschew all noninferential justification—justification independent of evidential support from beliefs—and, with it, the idea that justification has a foundation. Instead, justification is holistic in structure. Beliefs are justified together, not in isolation, as members of a coherent belief system. The (...) main question of the paper is whether coherentism is consistent. I set out an apparent inconsistency in coherentism and then give a resolution to that apparent inconsistency. (shrink)

Rawls’s consideration not to include the choice of economic systems as part of a theory of justice is inconsistent with his comments on redistribution and the political effects of economic inequality. When Rawls’s discussion of economic systems and his discussion of economic inequalities is examined, it is apparent that the selection of economic systems is a pertinent topic for a theory of justice. The propensity for the primary social good of self-respect to be satisfied can be (...) affected by the selection of economic systems. Rawls has incorrectly determined the selection of economic systems to be unimportant if different economic systems can be more advantageous to the satisfaction of self-respect than others. When socialism and Rawls’s version of regulated capitalism are compared, socialism is a maximin solution, and accordingly will be selected by people within the original position under the veil of ignorance. (shrink)

According to the two-systems account of mindreading, our mature perspective-taking abilities are subserved by two distinct mindreading systems: a fast but inflexible, “implicit” system, and a flexible but slow “explicit” one. However, the currently available evidence on adult perspective-taking does not support this account. Specifically, both Level-1 and Level-2 perspective-taking show a combination of efficiency and flexibility that is deeply inconsistent with the two-systems architecture. This inconsistency also turns out to have serious consequences for the two- (...) class='Hi'>systems framework as a whole, both as an account of our mature mindreading abilities and of the development of those abilities. What emerges from this critique is a conception of context-sensitive, spontaneous mindreading that may provide insight into how mindreading functions in complex social environments. This in turn offers a bulwark against skepticism about the role of mindreading in everyday social cognition. (shrink)

Memory evolved to supply useful, timely information to the organism’s decision-making systems. Therefore, decision rules, multiple memory systems, and the search engines that link them should have coevolved to mesh in a coadapted, functionally interlocking way. This adaptationist perspective suggested the scope hypothesis: When a generalization is retrieved from semantic memory, episodic memories that are inconsistent with it should be retrieved in tandem to place boundary conditions on the scope of the generalization. Using a priming paradigm and (...) a decision task involving person memory, the authors tested and confirmed this hypothesis. The results support the view that priming is an evolved adaptation. They further show that dissociations between memory systems are not—and should not be—absolute: Independence exists for some tasks but not others. (shrink)

This article considers whether the international legal human rights system founded on liberal individualism, as endorsed by liberal theorists, can function as a fair universal legal regime. This question is examined in relation to the collective right to self-determination demanded by indigenous peoples, who are paradigmatic decent nonliberal peoples. Indigenous peoples’ collective right to self-determination has been internationally recognized in the Declaration on the Rights of Indigenous Peoples, which was adopted by the United Nations in 2007. This historic event may (...) seem to exemplify the international legal human rights system’s ability to function as a truly global legal regime applicable cross-culturally to all well-ordered societies, whether liberal or nonliberal. The article argues, however, that the collective right to self-determination advocated by indigenous peoples for the sake of cultural integrity is inconsistent with the international legal human rights system founded on liberal individualism. By showing the plausibility of indigenous peoples’ defense of their cultural integrity, this article suggests that the international legal human rights system ought to be reconceptualized to reflect a genuine international consensus on human rights among all well-ordered societies if it is to function as a just mechanism for global governance. (shrink)

This paper investigates the fundamental idea at stake in current bioeconomies such as Europe's Bio-Based Economy (BBE). We argue that basing an economy upon ecology is an ambivalent effort, causing confusion and inconsistencies, and that the dominant framing of the damaged biosphere as a market-failure in bioeconomies such as the BBE is problematic. To counter this dominant narrative, we present alternative conceptualisations of bio-economies and indicate which concepts are overlooked. We highlight the specific contradictions and discrepancies in the relation between (...) economy and ecology, and then work towards outlining a genuine and consistent conceptualisation of the BBE. The philosophical perspective of Emmanuel Levinas is employed to develop a more profound understanding of the tensions at stake; Levinas’ work is compared with that of Nicholas Georgescu-Roegen's work on bioeconomics, and found to be of complementary value. Our hypothesis is that, rather than the impossible, absolute amalgamation of economy and ecology striven for today, a principal heterogeneity between humankind and nature must be acknowledged if a bioeconomy that truly operates within the carrying capacity of planet Earth is to be achieved. (shrink)

In this paper, we theoretically address the relevance of unintentional and inconsistent interactional elements in human–robot interactions. We argue that elements failing, or poorly succeeding, to reproduce a humanlike interaction create significant consequences in human–robot relational patterns and may affect human–human relations. When considering social interactions as systems, the absence of a precise interactional element produces a general reshaping of the interactional pattern, eventually generating new types of interactional settings. As an instance of this dynamic, we study the (...) absence of metacommunicative abilities in social artifacts. Then, we analyze the pragmatic consequences of the aforementioned absence through the lens of Paul Watzlawick’s interactionist theory. We suggest that a fixed complementary interactional setting may be produced because of the asymmetric understanding, between robots and humans, of metacommunication. We highlight the psychological implications of this interactional asymmetry within Jessica Benjamin’s concept of “mutual recognition”. Finally, we point out the possible shift of dysfunctional interactional patterns from human–robot interactions to human–human ones. (shrink)

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must (...) be aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.

Legal positivists maintain that the legality of a rule is fundamentally determined by social facts. Yet for much of legal history, ordinary officials used legal terminology in ways that seem inconsistent with positivism. Judges regularly cited, analyzed, and predicated their decisions on the ‘laws of justice’ which they claimed had universal legal import. This practice, though well-documented by historians, has received surprisingly little philosophical attention; I argue that it invites explanation from positivists. After taxonomizing the positivist’s explanatory options, I (...) suggest that the most viable option appeals to conceptual change: classical Romans, early modern Europeans, founding-era Americans were not using ‘law’ (or ‘lex’ or ‘jus’) to refer to the subject matter of contemporary legal philosophy. But the strategy is costly. It renders positivism’s truth surprisingly parochial. And it supplies new reasons for doubting positivist accounts of contemporary practices, including the treatment of moral principles in modern adjudication. (shrink)

Questions concerning the validity of religious beliefs.

Logic systems that can handle contradictions were being used for some time without having a general technical name. One of the main proposers of these systems, Newton da Costa, asked Francisco Miró Quesada to suggest him a name for those systems. In the historical letter that here we translate into English for the first time, Miró Quesada suggests three names to da Costa for this purpose: ‘ultraconsistent’, ‘metaconsistent’, and ‘paraconsistent’; explaining their pros and cons. -/- Paper based (...) on a letter by Francisco Miró Quesada Cantuarias to Newton da Costa, edited, translated, and annotated by Luis Felipe Bartolo Alegre. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three (...) usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of (...) formal consistency. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The inconsistent relation between word frequency and free recall performance and the non-monotonic relation found between the two cannot all be explained by current theories. We propose a theoretical framework that can explain all extant results. Based on an ecological psychology analysis of the free recall situation in terms of environmental and informational resources available to the participants, we propose that because participants’ cognitive system has been shaped by their native language, free recall performance is best understood as the (...) end result of relational properties that preexist the experimental situation and of the way the words from the experimental list interact with those. In addition to this, we borrow from predictive coding theory the idea that the brain constantly predicts “what is coming next” so that it is mainly prediction errors that will propagate information forward. Our ecological psychology analysis indicates there will be “prediction errors” because the word frequency distribution in an experimental word list is inevitably different from the particular Zipf’s law distribution of the words in the language that shaped participants’ brains. We further propose the particular distributional discrepancies inherent to a given word list will trigger, as a function of the words that are included in the list, their order, and of the words that are absent from the list, a surprisal signal in the brain, something that is isomorphic to the concept of Bayesian surprise. The precise moment when Bayesian surprise is triggered will determine to what word of the list that Bayesian surprise will be associated with, and the word the Bayesian surprise will be associated with will benefit from it and become more memorable as a direct function of the magnitude of the surprisal. Two experiments are presented that show a proxy of Bayesian surprise explains the free recall performance and that no effect of word frequency is found above and beyond the effect of that proxy variable. We then discuss how our view can account for all data extant in the literature on the effect of word frequency on free recall. (shrink)

A rational man’s beliefs are not logically consistent, and he does not believe all the logical consequences of his beliefs. This is because in any situational context, we only accept certain believed sentences. Within that context, we insist that sentences be logically consistent, and we accept the logical consequences of the other sentences we accept in that context. But such sentences do not have to be consistent with sentences we accept in other contexts, nor will we always accept in that (...) context the logical consequences of sentences that we accept in other contexts. We go through many different situational contexts in the course of a day. For example, in trying to start a car with a dead battery, explaining why the car won’t start may form one context, while explaining how to start it may form a different context; sentences we accept in the first context may be logically inconsistent with sentences we accept in the second. (shrink)

Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly (...) shown with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. (shrink)

The measurement problem concerns an apparent conflict between the two fundamental principles of quantum mechanics, namely the Schrödinger equation and the measurement postulate. These principles describe inconsistent behavior for quantum systems in so-called "measurement contexts." Many theorists have thought that the measurement problem can only be resolved by proposing a mechanistic explanation of (genuine or apparent) wavefunction collapse that avoids explicit reference to "measurement." However, I argue here that the measurement problem dissolves if we accept Humeanism about laws (...) of nature. On a Humean metaphysics, there is no conflict between the two principles, nor is there any inherent problem with the concept of "measurement" figuring into the account of collapse. (shrink)

In western philosophy and beyond, a tension between pluralism and monism has sparked many developments and debates. Pluralism of norms, of forms of knowledge, of aesthetic and moral values, of interests etc. has often been pitted against monism. Monism usually implies a hierarchical order of such norms etc. After having traced the origin of this tension between pluralism and monism in ancient tragedy and philosophy, I’m asking in this article whether a rejection of monism and embrace of pluralism necessarily raises (...) the specter of inconsistency and contradiction. The threat of inconsistency need not be associated with pluralism as even with regard to logic an argument can be made for a ‘multiplicity of logics’, as van Lambalgen and Stenning argue in several places. They refer to the varieties in reasoning that can be observed in humans and which are partly due to there being ‘dual systems’ of reasoning: System 1 processes information fast, automatized, and emotional, while System 2 is rather slow, more deliberative, and more rational. In contrast to a widely held view, the authors argue that System 1 processing is not without logic, even though it is a different form of logic from System 2. In addition, the multiplicity of logics they discuss is related to the multiple semantics required for distinct domains of reasoning. This perspective raises the subsequent question how this pluralism can be available while maintaining consistency, how should the available options be configured or related to each other? In the remainer of this chapter I’m addressing several such options for configurating pluralism like: non-foundational pluralism and foundational pluralism, moderate or temporary pluralism, antagonistic pluralism, incompatible pluralism, incommensurable pluralism, ‘Anything goes’ pluralism, complementary pluralism, integrative pluralism, and interactive pluralism. The discussion and examples of these options show that irrespective of its domain, the encounter with different configurations of pluralism shows how some forms of pluralism are likely to be productive, whereas others are less so - which is an important lesson given the prominent pluralism of pluralisms in philosophy and beyond. (shrink)

Charges of inconsistency are frequently made against opponents of abortion for failing to ‘live out’ their beliefs. One such popular charge is that opponents of abortion are inconsistent for failing to ‘adopt the babies they don’t want aborted’—in this chapter, I will focus on a slightly broader version of this charge. I will understand adoption* broadly to include adopting and/or fostering children, as well as concretely supporting the systems involved in facilitating adoption and foster care through financial means, (...) volunteering, and/or advocacy. I will argue that opponents of abortion do not have special obligations to adopt* for the reasons often presumed, and thus are not inconsistent for failing to do so. However, I will go on to argue that they nevertheless have compelling reasons to do so—to decrease future abortions and oppose abortion with integrity. (shrink)

The digitization of cadastral maps plays a vital role in modern land management, facilitating efficient land administration, property transactions, and urban planning. However, many existing cadastral maps are still in paper form or stored in outdated digital formats, which are often difficult to access, process, and update. This paper presents an innovative solution utilizing Artificial Intelligence (AI) to automate the digitization of cadastral maps. By applying machine learning, computer vision, and image processing techniques, the proposed system is designed to accurately (...) extract property boundaries, classify map features (such as plot numbers, ownership details, and administrative boundaries), and convert legacy map data into standardized digital formats compatible with Geographic Information Systems (GIS). The system addresses key challenges such as poor map quality, inconsistent boundary definitions, and varying map scales. The result is an AI-driven approach that significantly enhances the efficiency, accuracy, and scalability of cadastral data management, enabling real-time updates, minimizing human error, and improving the overall accessibility of cadastral information for land administration and policy-making. This paper presents an AIdriven approach for automating the digitization of cadastral maps, converting paper- based or outdated digital maps into accurate, standardized digital formats. Using machine learning and computer vision, the system extracts property boundaries, recognizes map features, and integrates them into modern Geographic Information Systems (GIS). The proposed solution addresses challenges such as poor image quality, irregular boundaries, and inconsistent annotations, streamlining land management, reducing human error, and enhancing the accessibility of cadastral data for urban planning and property administration. (shrink)

Before the Darwinian revolution species were thought to be universals. Since then, numerous attempts have been made to propose new definitions. The twentieth-century German philosopher Nicolai Hartmann defined 'species' as an individual system of processes and a process of life of a higher-order. To provide a clear understanding of Hartmann's conception of species, I first present his method of definition. Then I look at Hartmann's Philosophie der Natur (1950) to present his concepts of "organism" and "species." And I end the (...) paper by pointing out two possible systematic inconsistencies. (shrink)

The Integrated Information Theory of consciousness (IIT) claims that consciousness is identical to maximal integrated information, or maximal Φ. One objection to IIT is based on what may be called the intrinsicality problem: consciousness is an intrinsic property, but maximal Φ is an extrinsic property; therefore, they cannot be identical. In this paper, I show that this problem is not unique to IIT, but rather derives from a trilemma that confronts almost any theory of consciousness. Given most theories of consciousness, (...) the following three claims are inconsistent. INTRINSICALITY: Consciousness is intrinsic. NON-OVERLAP: Conscious systems do not overlap with other conscious systems (a la Unger’s problem of the many). REDUCTIONISM: Consciousness is constituted by more fundamental properties (as per standard versions of physicalism and Russellian monism). In view of this, I will consider whether rejecting INTRINSICALITY is necessarily less plausible than rejecting NON-OVERLAP or REDUCTIONISM. I will also consider whether IIT is necessarily committed to rejecting INTRINSICALITY or whether it could also accept solutions that reject NON-OVERLAP or REDUCTIONISM instead. I will suggest that the best option for IIT may be a solution that rejects REDUCTIONISM rather than INTRINSICALITY or NON-OVERLAP. (shrink)

In "Essence and Modality", Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for metaphysical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation (...) group (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

The judiciary system deals with various types of cases, including civil disputes and criminal trials, that require efficient management and strict adherence to procedures. Traditionally, handling these cases involves extensive paperwork, complex scheduling, and logistical challenges. These existing methods often lead to delays, high costs, limited accessibility, and inconsistent data management. To address these issues, we propose developing an online portal for case management and hearings. This e-portal aims to automate processes, reduce costs, improve accessibility, enhance transparency, and ensure (...) consistent data management. By implementing this solution, we aim to expedite case resolutions, lower expenses, provide better access to information for all parties, and create a more efficient legal system. (shrink)

This paper outlines the fundamental of a new Pragmatics, formulated in a new conceptual framework, including a new normative system - Conversational Etiquette. It's claimed that it does better than the Gricean system or its offshoots, and covers a much broader domain. It's main new concepts are: Steering-Thrust; Posting; and Pragmatic Stances. Its main applications are: 1. Assertion is a Pragmatic construction, which invokes a raise in the degree of Steering Thrust. 2. 'presupposition' as used in Logic/Linguistics (or what's in (...) the 'Common Ground') is analyzed in terms of the new Pragmatics: The main phenomenon involves is: Posting-without Steering. 3. There is no Pragmatic Encroachment (into the semantics of 'know'). Fluctuations in knowledge-ascriptions in High/Low Stakes convey a DIFFERENT dominant Pragmatic content that drives our intuitions, which track so-called 'Sayability' rather than Truth-Values. 4. Pragmatic Inconsistencies amount to Steering-Thrusts in opposite directions (polarity). Moorean sentences invoke Pragmatic Inconsistencies. 5. Misleading is a Pragmatic phenomenon. (shrink)

In light of recent breakneck pace in machine learning, questions about whether near-future artificial systems might be conscious and possess moral status are increasingly pressing. This paper argues that as matters stand these debates lack any clear criteria for resolution via the science of consciousness. Instead, insofar as they are settled at all, it is likely to be via shifts in public attitudes brought about by the increasingly close relationships between humans and AI users. Section 1 of the paper (...) I briefly lays out the current state of the science of consciousness and its limitations insofar as these pertain to machine consciousness, and claims that there are no obvious consensus frameworks to inform public opinion on AI consciousness. Section 2 examines the rise of conversational chatbots or Social AI, and argues that in many cases, these elicit strong and sincere attributions of consciousness, mentality, and moral status from users, a trend likely to become more widespread. Section 3 presents an inconsistent triad for theories that attempt to link consciousness, behaviour, and moral status, noting that the trends in Social AI systems will likely make the inconsistency of these three premises more pressing. Finally, Section 4 presents some limited suggestions for how consciousness and AI research communities should respond to the gap between expert opinion and folk judgment. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Despite the end of the Cold War and the ascendancy of liberal democracy celebrated by Francis Fukuyama as “the end of history”, a growing number of scholars and political activists point to its inherent shortcomings. However, they have tended to dismiss it on the basis of one or two of its salient weaknesses. While this is a justifiable way to proceed, it denies the searching reader an opportunity to see the broad basis for the growing rejection of liberal democracy among (...) African political theorists. Consequently, in this article, I argue that from an African perspective, the almost hegemonic status of liberal democracy can be challenged on at least five grounds, namely, logical inconsistency, impracticability due to the largely communalistic outlook of many africans, inconsistency between affirmation and action, violation of the right to ethnic identity, and the moral imperative to assert the right to cultural emancipation. -/- I conclude by calling upon African and Africanist political theorists to utilise indigenous African political thought, coupled with emancipatory aspects of political thought from other parts of the world, to design practicable models of democracy for contemporary African states. I further conclude that in order to promote genuine inter-cultural dialogue on democratisation, people from Western cultures ought to acknowledge the equality of all cultures, and to recognise that systems of governance are part and parcel of those cultures. (shrink)

I point out a sign mistake in the GHZ variant of Bell's theorem, invalidating the GHZ's claim that the premisses of the EPR argument are inconsistent for systems of more than two particles in entangled quantum states.

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally (...) a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the (...) world supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

Introduction. The book is a study in Adam Smith's system of ideas; its aim is to reconstruct the peculiar framework that Adam Smith’s work provided for the shaping of a semi-autonomous new discipline, political economy; the approach adopted lies somewhere in-between the history of ideas and the history of economic analysis. My two claims are: i) The Wealth of Nations has a twofold structure, including a `natural history' of opulence and an `imaginary machine' of wealth. The imaginary machine is a (...) kind of Newtonian theory, whose connecting links are principles; provided either by `partial' characteristics of human nature or by analoga of physical mechanisms transferred to the social world; ii) a domain of the economic, understood as a self-standing social sub-system, was discovered first by Adam Smith. His `discovery' of the new continent of the economic was an `unintended result' of a deviation in his voyage to the never-found archipelago of natural jurisprudence. -/- 1. Imaginary machines and invisible chains: natural philosophy and method. The first chapter reconstructs Smith's views on the method in natural philosophy, presented primarily in the History of Astronomy (HA). The peculiar kind of semi-sceptical Newtonianism which permeates the essay is highlighted. Its reconstruction of the history of one natural science is shown to be based on the assumptions of Hume’s epistemology, and to lead to a self-aware deadlock. Smith's dilemma is between an essentialist realism and sceptical instrumentalism; the Cartesian presuppositions he shares with Hume and with the 18th century as a whole make it impossible for him to overcome his dilemma. The following chapters will show how, on the one hand, Smith's skeptical methodology encourages him in the enterprise to `carve off' a new self-contained discipline and how, on the other hand, his epistemological dilemma is reflected in the inner tensions of his moral and political theory as well as in a number of basic oscillations concerning the status of the new discipline. -/- 2. Chessboards and clocks: moral philosophy and method. -/- The second chapter reconstructs Smith's views on the method in the parallel field of moral philosophy, including the theory of moral sentiments and natural jurisprudence. I argue that The Theory of Moral Sentiments, when considered together with with the Lectures on Jurisprudence, where Smith's peculiar version of a `weaker' form of natural law is presented, wins special interest, not only for the history of ethics but even more for the history of political theory and the social sciences. The two most striking features of Smith's work in this area are highlighted. First, his effort at reformulating the `practical science' is a methodologically self-aware attempt at applying the Newtonian method to moral subjects. Secondly, this attempt ends in a stalemate as two distinguished kinds of normative order are introduced: one ultimate order of Reason, ultimately justifiable but inaccessible, and one weaker order of our `natural sentiments', to which we have empirical access, but which is so variable as to lack any ultimate value as a basis for grounding our normative claims. These two parallel conundrums may arguably account for the author's inability to publish during his lifetime both The History of Astronomy and the projected history and theory of law and government. -/- 3. Wheels, dams, and gravitation: the structure of scientific argument in The Wealth of Nations. -/- The third chapter provides the core of the book, dealing with the structure of the argument in WN. I argue that the main presupposition that makes the shift possible from a `natural history' to a `system' approach is the Newtonian contrast of `mathematical' with `physical' explanation; that is, Smith drops any discussion of the "original qualities" of human nature that could account for economic behaviour, while introducing, as `principles' for the system, a set of `hypothetical' statements of `observed' regularities in human behaviour and of `observed' super-individual self-regulating mechanisms. In bringing this presupposition to light, the coexistence of a teleological with a mechanistic approach is clarified; fresh light is shed on the notion of the invisible hand by a comparison of its occurrence in Smith with the occurrence of the same expression (until now overlooked) in the correspondence between Newton and Cotes. Finally, the peculiar semi-prescriptive and semi-descriptive character of political economy are highlighted, and the consistency of Smith's `impure' semi-prescriptive social science, when understood in his own terms, is defended against familiar charges with inconsistency and against even more familiar strained modernizations. -/- 4. Apples, deer, and frivolous trinkets: the construction of the economic. -/- The fourth chapter draws consequences from the third, examining how Smith's achievement in political economy, marking its transition to scientific status, carried a re-description of the phenomena, creating the comparatively independent and unified field of the economic. Smith's achievement is interpreted not as the `discovery' of an autonomous character already possessed by the economy out there, so much as a Gestalt-switch by which our perception of social phenomena is modified making us `see' the partial order of the economy as an isolated system. To sum up, the autonomy of the economic in social reality and the autonomy of the economic in social consciousness are shown to be two sides of one process. -/- 5. Concluding considerations: Political economy and the Enlightenment halved. -/- A few suggestions on the status of economic theory two centuries after The Wealth of Nations in its relationship to ‘practical philosophy’ are illustrated. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to (...) the negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

Within the United States, the most prominent justification for criminal punishment is retributivism. This retributivist justification for punishment maintains that punishment of a wrongdoer is justified for the reason that she deserves something bad to happen to her just because she has knowingly done wrong—this could include pain, deprivation, or death. For the retributivist, it is the basic desert attached to the criminal’s immoral action alone that provides the justification for punishment. This means that the retributivist position is not reducible (...) to consequentialist considerations nor in justifying punishment does it appeal to wider goods such as the safety of society or the moral improvement of those being punished. A number of sentencing guidelines in the U.S. have adopted desert as their distributive principle, and it is increasingly given deference in the “purposes” section of state criminal codes, where it can be the guiding principle in the interpretation and application of the code’s provisions. Indeed, the American Law Institute recently revised the Model Penal Code so as to set desert as the official dominate principle for sentencing. And courts have identified desert as the guiding principle in a variety of contexts, as with the Supreme Court’s enthroning retributivism as the “primary justification for the death penalty.” While retributivism provides one of the main sources of justification for punishment within the criminal justice system, there are good philosophical and practical reasons for rejecting it. One such reason is that it is unclear that agents truly deserve to suffer for the wrongs they have done in the sense required by retributivism. In the first section, I explore the retributivist justification of punishment and explain why it is inconsistent with free will skepticism. In the second section, I then argue that even if one is not convinced by the arguments for free will skepticism, there remains a strong epistemic argument against causing harm on retributivist grounds that undermines both libertarian and compatibilist attempts to justify it. I maintain that this argument provides sufficient reason for rejecting the retributive justification of criminal punishment. I conclude in the third section by briefly sketching my public health-quarantine model, a non-retributive alternative for addressing criminal behavior that draws on the public health framework and prioritizes prevention and social justice. I argue that the model is not only consistent with free will skepticism and the epistemic argument against retributivism, it also provides the most justified, humane, and effective way of dealing with criminal behavior. (shrink)