Strong adaptationists explore complex organic design as taskspecific adaptations to ancestral environments. This strategy seems best when there is evidence of homology. Weak adaptationists don't assume that complex organic (including cognitive and linguistic) functioning necessarily or primarily represents taskspecific adaptation. This approach to cognition resembles physicists' attempts to deductively explain the most facts with fewest hypotheses. For certain domainspecific competencies (folkbiology) strong adaptationism is useful but not necessary to research. With grouplevel belief systems (religion) strong (...) adaptationism degenerates into spurious notions of social function and cultural selection. In other cases (language, especially universal grammar) weak adaptationism's 'minimalist' approach seems productive. (shrink)

Kant’s attempts to formulate a conception of the harmony of nature and freedom have two logical presuppositions. The first presupposition is separation of ought and is, which provides a logical formulation of the separation of freedom and nature. Kant might well have settled on the view that the separation between nature and freedom cannot be bridged. Why did Kant attempt to overcome said separation? The second presupposition of Kant’s project to bridge nature and freedom involves an ought→can inference, stating that (...) moral obligation implies the possibility of its fulfillment. There are at least two ways this inference can be understood. There is a weak sense of the inference, stating that no one is obliged to do the impossible. There is also a very strong sense of the inference, stating that if a moral obligation is found to obtain, it must then be possible to fulfill it. Kant interprets the ought→can inference in this strong as well as in the weak sense. Nature, the law-governed totality of what exists, must be understood as able to provide a suitable field for moral realization. The isomorphism between the lawfulness of nature and that of moral freedom animate Kant’s account of moral judgment, and will provide the main focus of the current investigation. Kant conceives of nature and freedom as twin kingdoms, thus providing a theoretical model validating this ought→can inference. The weaker sense of this ought→can inference does justice to moral judgment without requiring the awesome task of bridging nature and freedom. Why, then, should we maintain the strong ought→can inference in our post-Kantian situation? I suggest that Kant’s insistence on the strong ought→can inference may yield an ethical approach to the ever more powerful ways in which human beings technologically transform nature, including human nature itself. (shrink)

According to the knowledge norm of belief, one should believe p only if one knows p. However, it can easily seem that the ordinary notion of belief is much weaker than the knowledge norm would have it. It is possible to rationally believe things one knows to be unknown The aim of belief, Oxford University Press, Oxford, 2013). One response to this observation is to develop a technical notion of ‘outright’ belief. A challenge for this line of response is to (...) find a way of getting a grip on the targeted notion of belief. In order to meet this challenge, I characterize ‘outright’ belief in this paper as the strongest belief state implied by knowledge. I show that outright belief so construed allows this notion to play important theoretical roles in connection with knowledge, assertion and action. (shrink)

Marušić & Schwenkler (Analytic Philosophy, 59, 309) offer a simple and elegant defense of strong cognitivism about intention: the view that an intention to φ is a form of belief that one will φ. I show that their defense fails: however simple and elegant, it fails to account for various aspects about intention and its expression, and faces distinctive challenges of its own, including a dilemma and counterexample. These also undermine Marušić & Schwenkler's claim to a best-explanation type of (...) account and recommend alternatives to strong cognitivism altogether. (shrink)

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic.

The prelims comprise: Introduction: Defining Hypertext Association vs. Connection: The Dual Origins of Hypertext The Language Machine and the Body The Computer as a Medium and the Question of the Interface The Designer as the Third Man The Distribution of Intelligence at the Interface and the Future of the Person Hypertext, Cybernetics, and Space‐time Conclusion Acknowledgments.

This article presents the Pilgrimage Model as a template for educators wishing to lead students on site-specific studies of engaged learning. During the 2015–2016 academic year, a group of Georgeto...

Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form of ligation by means of a dissipative particle dynamics (DPD) model extended to include the dynamic making and breaking of strong bonds, which we term dynamically bonding dissipative particle dynamics (DDPD). Then we use a chemical genetic algorithm (CGA) to optimize the model’s parameters to achieve a limited form of (...) ligation of trimers—a proof of principle for the evolutionary design of self-assembling chemical systems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 273 Verene, Donald Phillip. Vico's Science of Imagination. Ithaca, New York: Cornell University Press, 1981, Pp. 227. $19.5o. In Chapter 1 (Introduction: Vico's Originality), Verene announces two principal concerns, a two-fold approach, and the predominant contention of his study.. 1. Principal concerns: "to consider the philosophical truth of Vico's ideas themselves, rather than to examine their historical character" (p. 19); to consider "the importance of Vico's conception (...) of barbarism for understanding present society" (p. 28). 2. Two-fold approach: "to interpret the central theses of Vico's thought" from the inside in the spirit of the whole and, at the same time, "to develop the problems of Vico's philosophy themselves" (pp. 19--21 ). 3. Predominant contention: "that Vico's ideas constitute a philosophy of recollective universals which generates philosophical understanding fronl the image, not the rational category. This approach regards imagination as a method of pfiilosophical thought" (p. 19) and the imaginative universal as "a key to his conception of knowledge" (p. 67). Vico's philosophy is depicted and characterized by Verene as fi)llows. Beginning with the imagination (fantasia) as an original and independent power of mind, Vico builds his philosophy on the image, the imaginative universal, thereby creating a position outside Western philosophy as traditionally understood. His New Science is a process of recollective fantasia, a kind of memory, and the system built constitutes a system of memory for all of human reality. By means of his concept of memory, Vico works his way back to the world of original thought, the mythicopoeticfantasia of the first men. His discovery of the imaginative universal as their way of thinking and their kind of knowledge establishes a new genetic origin for philosophical thought. Recollective fantasia constitutes the subject-matter and form of Vico's science itself', i.e., the term designates a type of nlemory through which the New Science is acconlplished as well as the type of thought from which it must be understood. "The New Science is a metaphysical fable, h creates a vera narratio of the recollectire imagination. The storia ideale eterna is an ideal trnth, but not an a priori or fictional one. As the master image of the recollective mind, it precisely contains all of the human event. Metaphysical truth, achieved through the exercise of.[antasia.., is generated out of the mind itself.., as images that actually contain the providential structure of reality" (p. 125). Vico's per|ornlative science "is man's true production of a knowledge of" his own nature" (p. 133). "The proof of the science is found through the reader making it for himself" (p. 156). What is the "recollective imaginative universal"? (a term coined by Verene) as distinguished from the universale fantastico? Vico identifies the latter quite simply. Poetic imagination, he tells us, was active in the first men who, "not being able to form intelligible class concepts of things, had a natural need to create poetic characters ; that is, imaginative class concepts or universals, to which, as to certain models or ideal portraits, to reduce all the particular species that resembled them." (The New Science of Giambattista Vico, trans. Thomas Goddard Bergin and Max Harold Fisch. Cornell University Press, 1968; orig. pub. 1948, w ) Thus in the theological age, 274 HISTORY OF PHILOSOPHY "Jove was born naturally in poetry as a divine character or imaginative universal, to which everything having to do with the auspices was referred by all the ancient gentile nations, which must therefore all have been poetic by nature" (9 381). In the age of heroes, Achilles embodies the idea of valor common to all strong men and Ulysses the idea of prudence common to all wise men (9 403). The myths, fables, and allegories brought to birth by poetic imagination were true stories for their makers. Imaginative universals or genera, "as the human mind later learned to abstract forms and properties from subjects, passed over into intelligible genera, which prepared the way for philosophers.... " (9 934)- Abstracting, categorizing, and predicating on the basis of properties in common, the philosophers in their intelligible class concepts no hmger think in the same manner as the first men did... (shrink)

Hypertext publishing, the integration of a large body (perhaps billions) of public writings into a unified hypertext environment, will require the simultaneous solution of problems involving very wide database distribution, royalties, freedom of speech, and privacy. This paper describes these problems and presents, for criticism and discussion, an abstract design which seems to solve many of them. This design, called LinkText, is presented both as a specification and as design approaches grouped around various levels of (...) electronic publishing. (shrink)

John Searle's attack on the Strong AI thesis, and the published replies, are all based on a failure to distinguish two interpretations of that thesis, a strong one, which claims that the mere occurrence of certain process patterns will suffice for the occurrence of mental states, and a weak one which requires that the processes be produced in the right sort of way. Searle attacks strong strong AI, while most of his opponents defend weak (...) strong AI. This paper explores some of Searle's concepts and shows that there are interestingly different versions of the 'Strong AI' thesis, connected with different kinds of reliability of mechanisms and programs. (shrink)

Thomas & Karmiloff- Smith provide evidence from computational modeling against modular assumptions of “Residual Normality” in developmental disorders. Even though I agree with their criticism, I find their choice of empirical evidence disappointing. Cognitive neuroscience cannot as yet provide a complete understanding of most developmental disorders, but what is known is more than enough to debunk the idea of RN.

The lostness measure, an implicit and unobtrusive measure originally designed for assessing the usability of hypertext systems, could be useful in Virtual Reality (VR) games where players need to find information to complete a task. VR locomotion systems with node-based movement mimic actions for exploration and browsing found in hypertext systems. For that reason, hypertext usability measures, such as “lostness” can be used to identify how disoriented a player is when completing tasks in an educational game by (...) examining steps made by the player. An evaluation of two different lostness measures, global and local lostness, based on two different types of tasks, is described in a VR educational game using 13 college students between 14 and 18 years old in a first study and extended using 12 extra participants in a second study. Multiple Linear Regression analyses showed, in both studies, that local lostness, and not global lostness, had a significant effect on a post-game knowledge test. Therefore, we argued that local lostness was able to predict how well-participants would perform on a post-game knowledge test indicating how well they learned from the game. In-game experience aspects (engagement, cognitive interest, and presence) were also evaluated and, interestingly, it was also found that participants learned less when they felt more present in the game. We believe these two measures relate to cognitive overload, which is known to have an adverse effect on learning. Further research should investigate the lostness measure for use in an online adaptive game system and design the game system in such a way that the risk of cognitive overload is minimized when learning, resulting in higher retention of information. (shrink)

We show that several logics of common belief and common knowledge are not only complete, but also strongly complete, hence compact. These logics involve a weakened monotonicity axiom, and no other restriction on individual belief. The semantics is of the ordinary fixed-point type.

We study the first-order consequences of Ramsey’s Theorem fork-colourings ofn-tuples, for fixed$n, k \ge 2$, over the relatively weak second-order arithmetic theory$\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of$\mathrm {RCA}^*_0$that does not satisfy$\Sigma ^0_1$induction,$\mathrm {RT}^n_k$is equivalent to its relativization to any proper$\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.We give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$for$n (...) \ge 3$. We show that they form a non-finitely axiomatizable subtheory of$\mathrm {PA}$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _{\ell +3}$fragment for$\ell \ge 1$lies between$\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$and$\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$form a subtheory of$\mathrm {I} \Sigma _2$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _4$fragment is strictly weaker than$\mathrm {B} \Sigma _2$but not contained in$\mathrm {I} \Sigma _1$.Additionally, we consider a principle$\Delta ^0_2$-$\mathrm {RT}^2_2$which is defined like$\mathrm {RT}^2_2$but with both the$2$-colourings and the solutions allowed to be$\Delta ^0_2$-sets rather than just sets. We show that the behaviour of$\Delta ^0_2$-$\mathrm {RT}^2_2$over$\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$is in many ways analogous to that of$\mathrm {RT}^2_2$over$\mathrm {RCA}^*_0$, and that$\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$is$\Pi _4$- but not$\Pi _5$-conservative over$\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of$\Pi _5$-conservativity is not provable in$\mathrm {RCA}_0 +\mathrm {RT}^2_2$. (shrink)

Searle (1980) constructed the Chinese Room (CR) to argue against what he called \Strong AI": the claim that a computer can understand by virtue of running a program of the right sort. Margaret Boden (1990), in giving the English Reply to the Chinese Room argument, has pointed out that there isunderstanding in the Chinese Room: the understanding required to recognize the symbols, the understanding of English required to read the rulebook, etc. I elaborate on and defend this response to (...) Searle. In particular, I use the insight of the English Reply to contend that Searle's Chinese Room cannot argue against what I call the claim of \Weak Strong AI": there are some cases of understanding that a computer can achieve solely by virtue of that computer running a program. I refute several objections to my defense of the Weak Strong AI thesis. (shrink)

We give a model of set theory in which the strongly non‐stationary ideal over is weakly presaturated below some canonical set. Here μ is a regular uncountable cardinal. The model is the forcing extension with the Lévy collapse of a Woodin cardinal to the successor of μ. This improves on results of Goldring and of the first author.

Bernard Wills (2018) joins Christopher Brown (2017, 2018) in criticizing my defense of Weak Scientism (Mizrahi 2017a, 2017b, 2018a). Unfortunately, it seems that Wills did not read my latest defense of Weak Scientism carefully, nor does he cite any of the other papers in my exchange with Brown.

The article deals with Habermas's intersubjective approach to critical social theory, focusing on his intersubjective accounts of truth, justice and democratic legitimacy. Distinguishing between stronger and weaker versions of an intersubjective account, it draws attention to Habermas's recent move from a strong intersubjective, constructivist, interpretation of truth to a weaker, non-constructivist, one. It then looks at his refusal to make a similar move in the case of justice, arguing that it is not well-founded, even from the point of view (...) of Habermas's overall concerns. It contends, in particular, that a strong intersubjective conception is not necessary in order to maintain the close link between normative validity and argumentation that plays an important role in Habermas's project of a critical social theory and concludes that the advantages of abandoning a strong intersubjective position outweigh the disadvantages. Consequently, it recommends extension of the weaker, non-constructivist, account that Habermas now proposes in the case of truth to justice as well. In the final section, it considers the implications of this recommendation for Habermas's conception of normative validity in the domain of law and politics. (shrink)

In this article, I indicate and illustrate several flaws in a recent “ethical defence” of homeopathy. It transpires that the authors’ arguments have several features in common with homeopathic remedies, including strong claims, a lack of logic or evidence, and no actual effect.

We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.

Over the past decades, due to the course towards digitalization of all areas of life, interest in modeling and creating intelligent systems has increased significantly. However, there are now a stagnation in the industry, a lack of attention to analog and bionic approaches as alternatives to digital, numerous speculations on “neuro” issues for commercial and other purposes, and an increase in social and environmental risks. The article provides an overview of the development of artificial intelligence (AI) conceptions toward increasing the (...) human likeness of machines: from the key ideas of A. Turing and J. von Neumann, who initiated the digitalization of society, to discussions about the definition of AI and the emergence of conceptions of strong and weak AI. Special attention is paid to the approach of A. Sloman, to ideas about the architecture and design of complex artificial systems are considered, which make it possible to “emotionally” expand the idea of weak/strong AI. In the article's section on the necessity and possibility of incorporating emotions into the architecture of AI, the authors reveal the goals and methodological limitations for creating an emotional artificial agent. In addition, the article briefly presents the main principles of the authors' architectural approach to the creation of emotional intellectual systems on the example of the cognitive-affective model of architecture, which allow modeling the impact of emotions on the cognitive processes involved in decision-making processes. The described architectural approach to modeling intelligent systems can be used as a conceptual basis for discussing and formulating a strategy for the development of neurocomputing, philosophy of artificial intelligence, and experimental philosophy, for developing innovative research programs, formulating and solving theoretical and methodological problems. (shrink)

Theories of networked individualism and forms of urban alienation challenge the continued purpose and relevance of conventional community tools in urban neighbourhood. However, the majority of urban residents surveyed in this research still believe that there are people living in their immediate neighbourhood who may share their interests or who are at least personally compatible, but they do not know them. Web-based community networking systems have the potential to facilitate intra-neighbourhood interaction and support community-building efforts. Community networking studies have shown (...) that technical connectivity alone does not ensure community and that new and weak communities do not benefit from community networking systems as much as existing and strong communities do. This paper builds on these findings to present a methodology combining principles of participation, animation and design. This approach builds on intrinsic motivation in residents to find out about and meet one another in a private and inobtrusive way. It encourages residents to take social ownership of the community-building process and the community network. The approach recognises the network qualities in the communicative ecology of urban residents and supplements collective approaches towards community-building with personalised networking strategies. (shrink)

Feminist strong substantive autonomy (FSSA), as presented by Natalie Stoljar and Anita Superson, pronounces judgment on the autonomy status of certain women living under oppression. These women act on deformed desires, Superson explains, and as deformed desires cannot be the agent's own, the women are heteronomous. Stoljar argues that some women's choices violate the Feminist Intuition; by acting on false and oppressive values, these women render themselves heteronomous. I argue against Stoljar and Superson on epistemological grounds. I present six (...) different ways in which agents' choices can be related to deformed desires, with varying results for their autonomy statuses. I show that Stoljar and Superson are not able to distinguish properly among the differing autonomy statuses in these six cases, because doing so requires attention to agents' inner processes of decision-making, as those processes are enacted in the agents' social and temporal contexts. Stoljar and Superson judge others' autonomy statuses based on abstract generalizations rather than via empirical attention to agents' actual decision-making processes. Consequently, their judgments are not adequate to the lived self-direction of real persons. Assessing others' autonomy status requires consideration of agents' inner choice-making in sociotemporal context, which favors a procedural or weak substantive account of autonomy. (shrink)

This paper shows that weak Pareto and strong Pareto are equivalent under continuity and strong quasi-concavity. We use a framework that incorporates welfare as well as non-welfare information.

A rational economic analysis complements Grossmann's fearful ape hypothesis. Two examples of mixed-motive games with strong inter-dependence (i.e., weak chirping nestling, boxed pigs) demonstrate that signaling weakness is a dominant strategy. Weakness elicits cooperative, caring response, comprising the equilibrium of the game. In extensive form, a reliable reputation of weakness elicits caring as a sequential equilibrium.

This article concentrates on the Jacobs and Daly criticisms (Environmental Values, Spring 1994) of my earlier article in the same journal (Autumn 1994) criticising the concept of 'sustainable development'. Daly and Jacobs agreed with my criticisms of 'weak' sustainability, but defended 'strong' sustainability on the grounds that natural and manmade capital were 'complements' in the productive process and that economists are wrong, therefore, in assuming that they are infinitely substitutable. This article maintains that they are confusing different concepts (...) of 'complementarity' and 'substitutability'. It is also argued that, in fact, they do both sell crucial passes in their defence of strong sustainability without providing any clear criteria for their abandonment of it in certain cases. It is also denied that the fact that environmental services may provide different satisfactions from those obtained from other goods and services elevates it to the status of some over-riding moral value, or that discounting future costs and benefits is 'unfair' to future generations. (shrink)

Guala is right to draw attention to the difficulty of extrapolating from the experimental evidence for weak or strong reciprocity to what is observed in the However, there may be more strong reciprocity in real-world communities than he allows for, as strikingly illustrated in the example of the Mafia.

In this paper it is shown how plausible reasoning of the kind illustrated in the ancient Greek example of the weak and strong man can be analyzed and evaluated using a procedure in which the pro evidence is weighed against the con evidence using formal, computational argumentation tools. It is shown by means of this famous example how plausible reasoning is based on an audience’s recognition of situations of a type they are familiar with as normal and comprehensible (...) in their shared common knowledge. The paper extends previous work on this example by using three new multiagent argumentation schemes closely related to the scheme for argument from negative consequences. (shrink)

In a reply to Mizrahi (2019), Bryant (2020) raises several methodological concerns regarding my attempt to test hypotheses about the observation that academic philosophers tend to find “scientism” threatening empirically using quantitative, corpus based methods. Chief among her methodological concerns is that numbers of philosophical publications that mention “scientism” are a “poor proxy for scholarly sentiment” (Bryant 2020, 31). In reply, I conduct a sentiment analysis that is designed to find out whether academic philosophers have negative, positive, or neutral sentiments (...) toward “scientism.” The results of this analysis suggest that, for the most part, articles on “scientism” written by academic philosophers tend to contain mostly negative rather than positive (or neutral) sentiments about “scientism.”. (shrink)

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent to the (...) existence of a $\Sigma _n$ -strong cardinal (Definition 5.1). Hence, $\mathrm {WVP}$ is equivalent to the existence of a $\Sigma _n$ -strong cardinal for all $n<\omega $. (shrink)

The article examines recent theories of legal and constitutional pluralism, especially their adoption of sociological perspectives and criticisms of the concept of sovereignty. The author argues that John Griffiths's original dichotomy of “weak” and “strong” pluralism has to be reassessed because “weak” jurisprudential theories contain useful sociological analyses of the internal differentiation and operations of specific legal orders, their overlapping, parallel validity and collisions in global society. Using the sociological methodology of legal pluralism theories and critically elaborating (...) on Teubner's societal constitutionalism, the author subsequently reformulates the question of sovereignty as a sociological problem of complex power operations communicated through the constitutional state's organization and reconfigured within the global legal and political framework. (shrink)

Strong reciprocity is not the only account that can explain costly punishment in the lab; it can also be explained by reputation-based accounts. We discuss these two accounts and suggest what kinds of evidence would support the two different alternatives. We conclude that the current evidence favors a reputation-based account of costly punishment.

Built on the foundations laid by Peirce, Schröder, and others in the 19th century, the modern development of relation algebras started with the work of Tarski and his colleagues [21, 22]. They showed that relation algebras can capture strong first‐order theories like ZFC, and so their equational theory is undecidable. The less expressive class WA of weakly associative relation algebras was introduced by Maddux [7]. Németi [16] showed that WA's have a decidable universal theory. There has been extensive research (...) on increasing the expressive power of WA by adding new operations [1, 4, 11, 13, 20]. Extensions of this kind usually also have decidable universal theories. Here we give an example – extending WA's with set‐theoretic projection elements – where this is not the case. These “logical” connectives are set‐theoretic counterparts of the axiomatic quasi‐projections that have been investigated in the representation theory of relation algebras [22, 6, 19]. We prove that the quasi‐equational theory of the extended class PWA is not recursively enumerable. By adding the difference operator D one can turn WA and PWA to discriminator classes where each universal formula is equivalent to some equation. Hence our result implies that the projections turn the decidable equational theory of “WA + D ” to non‐recursively enumerable (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is (...) sound and complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with (...) two designated elements. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called ' weak analogy'. As Patrick Hurley writes, the weak analogy fallacy “occurs when the conditions of an argument depend on an analogy (or similarity) that is not strong enough to support the conclusion”. Often, vegetarians and vegans will hear the following argument from analogy in defense of carnivorism: “Animals eat each other in nature, so it's permissible for us to eat them as well”. By (...) focusing on the similarities between animals and humans, and by arguing that these similarities are indeed relevant to the issue at hand, philosopher Peter Singer presents a strong argument from analogy in favor of the conclusion that animals are indeed sentient beings. (shrink)

In this paper I take issue with Rainer Forst's claim that his account of the demand for justification that is at the core of the idea of justice provides our political thinking with a final “fundamentum inconcussum”.

A large literature has grown up around the proposed use of ‘weak measurements’ to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that ‘weak measurements’ involve strong measurements on one member of an entangled system. The only thing ‘weak’ about such measurements is that the correlation established via the entanglement does not correspond to eigenstates of the ‘weakly measured observable’ for the remaining component system subject to the (...) weak measurement. All observed statistics are straightforwardly and easily predicted by standard quantum mechanics. Specifically, it is noted that measurement of the pointer steers the remaining degree of freedom into new states with new statistical properties—constituting a non-trivial disturbance. In addition, standard quantum mechanics readily allows us to conditionalize on a final state if we choose, so the ‘post-selection’ that features prominently in time-symmetric formulations is also equipment from standard quantum theory. Assertions in the literature that weak measurements leave a system negligibly disturbed, and/or that standard quantum theory is cumbersome for computing the predicted measurement results, are therefore unsupportable, and ontological claims based on such assertions need to be critically reassessed. (shrink)

A large literature has grown up around the proposed use of 'weak measurements' to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that 'weak measurements' are simply strong measurements on one member of an entangled pair, and that all such measurements thus effect complete disentanglement of the pair. The only thing 'weak' about them is that the correlation established via the entanglement does not correspond to eigenstates of (...) the 'weakly measured observable' for the component system that is subject to the weak measurement. It is observed that complete disentanglement always occurs, whether post-­‐selection is performed before or after the pointer detection. Assertions in the literature that weak measurements leave a system negligibly disturbed are therefore inaccurate, and claims based on those assertions need to be critically reassessed. (shrink)

Transhumanism aims to bring about radical human enhancement. In ‘Truly Human Enhancement’ Agar (2014) provides a strong argument against producing radically enhancing effects in agents. This leaves the transhumanist in a quandary—how to achieve radical enhancement whilst avoiding the problem of radically enhancing effects? This paper aims to show that transhumanism can overcome the worries of radically enhancing effects by instead pursuing radical human enhancement via incremental moderate human enhancements (Weak Transhumanism). In this sense, weak transhumanism is (...) much like traditional transhumanism in its aims, but starkly different in its execution. This version of transhumanism is weaker given the limitations brought about by having to avoid radically enhancing effects. I consider numerous objections to weak transhumanism and conclude that the account survives each one. This paper’s proposal of ‘weak transhumanism’ has the upshot of providing a way out of the ‘problem of radically enhancing effects’ for the transhumanist, but this comes at a cost—the restrictive process involved in applying multiple moderate enhancements in order to achieve radical enhancement will most likely be dissatisfying for the transhumanist, however, it is, I contend, the best option available. (shrink)

First aim of this paper is to show that Evidentialism, when paired with a Psychologistic ontology of evidence, is unable to account for ordinary cases of inferential justification. As many epistemologists have maintained, however, when it is paired with a Propositionalist ontology of evidence, Evidentialism is unable to explain in a satisfactory way ordinary cases of perceptual justification. So, the Evidentialist is faced with a dilemma. Second aim of this paper is to give an argument in favour of Propositionalism about (...) evidence, and so to motivate the conclusion that perceptual justification must be accounted for in non-evidentialist terms. By this I do not mean to defend a strongly Non-Evidentialist epistemology, according to which there are doxastic attitudes which are unsupported by any justifier. More modestly, I aim to motivate the weakly Non-Evidentialist epistemology according to which a subject’s perceptual beliefs may be justified by non-evidential justifiers. I conclude the paper by explaining why I believe that Pryor's dogmatism supplies a model for the way in which an internalist who is persuaded by my argument might want to detail her weakly Non-Evidentialist account of perceptual justification. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

An involutive micanorm-based logic with a weak form of associativity is introduced and its finite standard completeness is addressed. More precisely, we first introduce the logic WAuIBUL as a [0, u]-continuous wau-uninorm analogue of the involutive logic IBUL. We next discuss its algebraic semantics. We then introduce involutive wau-uninorms as involutive uninorms with weak u-associativity in place of associativity and deal with related properties. We last provide finite strong standard completeness for WAuIBUL using a construction of Yang-style. (...) -/- 약한 형식의 결합 원리를 만족하는 누승적인 미카놈에 기반한 논리 체계를 소개하고 그 체계의 유한 표준 완전성을 다룬다. 보다 구체적으로 논리 체계 WAuIBUL을 누승적 유니놈 논리 IUML의 [0, u]-연속인 wau-유니놈 일반화로 먼저 소개한다. 그리고 이 체계의 대수적 완전성을 다룬다. 다음으로 결합 원리 대신에 약한 u-결합 원리를 만족하는 누승적 유니놈으로 누승적 wau-유니놈을 소개하고 그 성질을 다룬다. 마지막으로 유한 집합 위에서 WAuIBUL의 표준 완전성을 보인다. (shrink)

I argue that in "en", Aristotle allows not only for weak akrasia but also for "strong akrasia". In weak akrasia, The agent makes only a "nominal" choice according to the right principle, While in strong akrasia he/she makes a "real" choice, But still acts against it. I show that, Although aristotle does not give a detailed account of strong akrasia, Such an account can be reconstructed on the basis of the analyses and examples of choice (...) and akratic behaviour provided by him in "en" and "de motu". (shrink)