The consequence argument is a salient argument in favor of incompatibilism which is the thesis that if determinism is true, then it is not the case that we have free will. In a nutshell, the consequence argument has it that if determinism is true, then our acts are determined by the laws of nature and events of the past. But we are neither able to change the past nor the laws of nature. Therefore, we are not able to change the (...) consequences of them. This short paper consists of two main sections. In the first section, I will explain the consequence argument and rule β. In addition, in the second section of the paper, I will introduce the no matter what interpretation which was suggested by Huemer (2000). Moreover, I will offer a counterexample to rule β∗ and α∗. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to (...) deny the conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

Philosophers of mind and cognitive scientists have recently taken renewed interest in cognitive penetration, in particular, in the cognitive penetration of perceptual experience. The question is whether cognitive states like belief influence perceptual experience in some important way. Since the possible phenomenon is an empirical one, the strategy for analysis has, predictably, proceeded as follows: define the phenomenon and then, definition in hand, interpret various psychological data. However, different theorists offer different and apparently inconsistent definitions. And so in addition to (...) the usual problems (e.g., definitions being challenged by counterexample), an important result is that different theorists apply their definitions and accordingly get conflicting answers to the question “Is this a genuine case of cognitive penetration?”. This hurdle to philosophical and scientific progress can be remedied, I argue, by returning attention to the alleged consequences of the possible phenomenon. There are three: theory-ladenness of perception in contexts of scientific theory choice, a threat to the general epistemic role of perception, and implications for mental architecture. Any attempt to characterize or define, and then empirically test for, cognitive penetration should be constrained by these consequences. This is a method for interpreting and acquiring experimental data in a way that is agreeable to both sides of the cognitive penetration debate. Put crudely, the question shifts to “Is this a cognitive-perceptual relation that results in (or constitutes) one or more of the relevant consequences?” In answering this question, relative to various data, it may turn out that there is no single unified phenomenon of cognitive penetration. But this should be no matter, since it is the consequences that are of central importance to philosophers and scientists alike. (shrink)

According to the Ought-Implies-Can principle (OIC), an agent ought to perform a certain action only if the agent can perform that action. Proponents of OIC interpret this supposed implication in several ways. Some argue that the implication in question is a logical one, namely, entailment. Some think that the relation between ‘ought’ and ‘can’ is a relation of presupposition. Still others argue that ‘ought’ conversationally implicates ‘can’. Opponents of OIC offer a variety of counterexamples in an attempt to show that (...) there are cases in which an agent ought to perform a certain action even though she cannot perform that action. Such counterexamples often involve either culpable or nonculpable inability. In cases of culpable inability, the agent renders herself unable to fulfill an obligation. For example, a student is unable to submit a paper on the due date because she procrastinated until it became too late to write a paper by the assigned deadline. In cases of non-culpable inability, the agent somehow becomes unable to fulfill an obligation, through no fault of her own. For example, an agent becomes unable to pay back a loan to a bank because she was robbed on her way to the bank. This paper attempts to offer counterexamples to OIC of a sort different from the one discussed by opponents of OIC so far. If these counterexamples are correct, then they seem to suggest that there are cases in which an agent has an obligation to perform an action even though she may not be able to perform that action, and thus OIC is false. In other words, ‘ought’ does not imply ‘can’. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

Philosophy begins and ends in disagreement. Philosophers disagree among themselves in innumerable ways, and this pervasive and permanent dissent is a sign of their inability to solve philosophical problems and establish substantive truths. This raises the question: What should I do with my philosophical beliefs in light of philosophy's epistemic failure? In this open-access book, János Tozsér develops four possible answers into comprehensive metaphilosophical visions and argues that we cannot find peace either by committing ourselves to one of these visions (...) or by abandoning our philosophical beliefs. Tozsér calls this disheartening insight "the experience of breakdown", making the case that philosophy's truth-seeking and justificatory tools are unsuitable for establishing truths. Shedding light on the epistemic status of our philosophical beliefs, Tozsér adopts a broad approach to assess the metaphilosophical visions used by philosophers to interpret their own activity and determine their epistemic self-esteem. Open access was funded by the Research Centre for the Humanities, Hungary. (shrink)

Quine (1960, "Word and object". Cambridge, Mass.: MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. 'Rabbit' might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous 'argument from below' to the conclusion that there can be no fact of the (...) matter as to how reference is to be divided. Putative counterexamples to Quine's claim have been put forward in the past (see especially Evans (1975, "Journal of Philosophy", LXXII(13), 343-362. Reprinted in McDowell (Ed.), "Gareth Evans: Collected papers." Oxford: Clarendon Press.), Fodor (1993, "The elm and the expert: Mentalese and its semantics." Cambridge, MA: Bradford)), and various patches have been suggested (e. g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), "A companion to the philosophy of language" (pp. 397-426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as 'rabbit' divide their reference over four-dimensional continuants (Quine's rabbits), instantaneous temporal slices of those continuants (Quine's rabbitslices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

Legal anti-positivism is widely believed to be a general theory of law that generates far too many false negatives. If anti-positivism is true, certain rules bearing all the hallmarks of legality are not in fact legal. This impression, fostered by both positivists and anti-positivists, stems from an overly narrow conception of the kinds of moral facts that ground legal facts: roughly, facts about what is morally optimific—morally best or morally justified or morally obligatory given our social practices. A less restrictive (...) view of the kinds of moral properties that ground legality results in a form of anti-positivism that can accommodate any legal rule consistent with positivism, including the alleged counter-examples. This form of “inclusive” anti-positivism is not just invulnerable to extensional challenges from the positivist. It is the only account that withstands extensional objections, while incorporating, on purely conceptual grounds, a large part of the content of morality into law. (shrink)

The article is an experiment that deals with "Embodied Simulation" and " Embodied Cognition". This work follows the procedures of studies of the Parma Group and against them try to demonstrate their failure. The cognition is not embodied at all, maybe a little and at least.

One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)

Derek Parfit argues that everyone ought to follow the principles whose universal acceptance would make things go best. I present a counterexample: a world in which no one's moral beliefs have any motivating force. I explain how Parfit's metaethical commitments imply that such a world is possible, and why this possibility is a problem for Parfit's project of reconciling Kantianism, contractualism, and consequentialism. I consider two of Parfit's responses to my counterexample.

A globalized world, some argue, needs a global democracy. But there is considerable disagreement about whether global democracy is an ideal worth pursuing. One of the main grounds for scepticism is captured by the slogan: “No global demos, no global democracy.” The fact that a key precondition of democracy—a demos—is absent at the global level, some argue, speaks against the pursuit of global democracy. The paper discusses four interpretations of the skeptical slogan—each based on a specific account of the notion (...) of “the demos”—and concludes that none of them establishes that the global democratic ideal must be abandoned. In so doing, the paper (i) systematizes different types of objections against global democracy, thus bringing some clarity to an otherwise intricate debate and (ii) offers a robust but qualified defense of the global democratic ideal. (shrink)

In this paper I will offer a comprehensive defense of the safety account of knowledge against counterexamples that have been recently put forward. In Sect. 2, I will discuss different versions of safety, arguing that a specific variant of method-relativized safety is the most plausible. I will then use this specific version of safety to respond to counterexamples in the recent literature. In Sect. 3, I will address alleged examples of safe beliefs that still constitute Gettier cases. In Sect. 4, (...) I will discuss alleged examples of unsafe knowledge. In Sect. 5, I will address alleged cases of safe belief that do not constitute knowledge for non-Gettier reasons. My overall goal is to show that there are no successful counterexamples to robust anti-luck epistemology and to highlight some major presuppositions of my reply. (shrink)

This paper interprets the influential colony management simulator ‘Dwarf Fortress’ existentially, in terms of finitude, absurdity, and narrative. It applies Aarseth/Möring’s proposed method of game interpretation, adopting their definition of ‘cybermedia’ as a generalized game ontology, then providing a specialized ontology of ‘Dwarf Fortress’ which describes its genre and salient gameplay features, incorporating Ian Bogost’s concept of ‘procedural rhetoric’. It then gives an existentialist interpretation of ‘Dwarf Fortress’ which centres on ‘finitude’, ‘absurdity’, and ‘narrative’, showing that ‘Dwarf Fortress’ (...) is a game about the existential tensions involved in being human. We live knowing our lives and civilizations are finite, that there are radical limits on what we can know and do. There is no meaning inherent in the world, or in history, so it is up to us to create our own, and one of our most powerful ways of doing this is narrative. (shrink)

A familiar interpretation of quantum mechanics (one of a number of views sometimes labeled the "Copenhagen interpretation'"), takes its empirical apparatus at face value, holding that the quantum wave function evolves by the Schrödinger equation except on certain occasions of measurement, when it collapses into a new state according to the Born rule. This interpretation is widely rejected, primarily because it faces the measurement problem: "measurement" is too imprecise for use in a fundamental physical theory. We argue (...) that this is a weak objection, as there may be many ways of making "measurement" precise. However, measurement-collapse interpretations face a more serious objection: a dilemma tied to the quantum Zeno effect. Is measurement itself an observable that can enter superpositions? If yes, then the standard measurement-collapse dynamics is ill-defined. If no, then (at least if measurement is an observable), measurements can never start or finish. The best way out is to deny that measurement is an observable, but this leads to strong and revisionary consequences. This reinforces the view that there is no nonrevisionary interpretation of quantum mechanics. (shrink)

This paper develops a counterexample to Davidson’s elaborate model of conventionless communication, first articulated in his (1986) and defended in his (1994a). The first part contains an analysis of the model and its assumptions. Then, in a second part, I present a case focused around the concept of overhearing. It subtracts active interaction from the model and reveals that, under these novel conditions, communication makes further demands on it, namely conformity of the prior interpretive theory of all but one (...) of the interacting members. The analysis of the case concludes, in the third part, that Davidson’s account is unsuited for explaining communication where active interpretive interactions are excluded. And hence, for describing the full range of our linguistic competence. (shrink)

Theorists of public reason such as John Rawls often idealize constitutional courts as exemplars of public reason. This paper raises questions about the seduction and limits of analogies between theorists’ account of public reason and actual constitutional jurisprudence. Examining the work product of the United States Supreme Court, the paper argues that while it does engage in reason-giving to support its decisions—as the public reason strategy suggests— those reasons are (largely) legalistic and specifically juristic reasons—not the theorists’ idealized moral-political reasons (...) on matters of fundamental principle. But if constitutional courts do not engage on matters of fundamental principle, then a public reason strategy for assuaging democratic worries about judicial review would no longer be open: prominent liberal and deliberative democratic theorists could no longer point to the alleged superiority of constitutional courts to speak in the name of, and for, the people’s shared political principles. The paper extends beyond the U.S. case study by pointing to three institutional factors explaining the disanalogy between what some constitutional courts do and what public reason theories require them to do. It concludes with considerations about whether the public reason strategy might be more successfully applied to international courts. (shrink)

1. The no form action theory is a novel philosophical theory that transcends traditional dualisms such as matter and spirit, form and substance. It establishes a two-dimensional theoretical framework composed of form and no form, and uses this two-dimensional theory to understand various aspects of the world. 2. The three key actions of no form are: isolation action (e.g., distinguishing between different things), motive force action (e.g., driving changes in things), and manifestation action (e.g., allowing us to perceive things). These (...) three actions have strong "self-reflexivity". For example, the relationships between these three actions can be divided into: isolation relationship, motive force relationship, and manifestation relationship. These three relationships, in turn, belong to isolation action, motive force action, and manifestation action respectively. 3. The no form action theory have strong universality, capable of providing unified theoretical explanations across various disciplines. For example, it can be used to explain quantum entanglement phenomena in physics, as well as the mechanism of consciousness generation in psychology; it can explain ontology, as well as time and space; it can explain emotions, as well as logic. It can explain language, as well as the macroscopic world. 4. The completion of the core ideas of the no form action theory marks the beginning of a new historical stage in philosophical research. It provides a completely new set of methods and perspectives to understand the world, and has achieved a series of important results: (1) It offers new interpretations of the most fundamental philosophical concepts such as "being", "existence", "is", "freedom", "consciousness", "beauty", "space", "time", "basis", "cause", "self", "identity", etc., and introduces many new concepts. It binds these concepts technically within the framework of the no form action theory. This establishes a highly logical and explanatory philosophical system. As a result, philosophical research now has clearer, more rigorous, and more reliable technical operational methods. (2) It derives and explains the three basic laws of formal logic, and demonstrates that they are interdependent and form an inseparable whole. (3) It provides a new solution to Descartes' "mind-body problem" and also explains difficult issues in physics such as quantum entanglement. (4) It discovers a third dimension in the world besides time and space: "now". This discovery provides a completely new perspective for understanding reality, consciousness, and the nature of the universe. (shrink)

Since the spread of Islam in Transoxiana (Mā-warāʾ al-Nahr), religious understandings based on the opinions of Abū Ḥanīfa (d. 150/767) have always been dominant in the region. Therefore, it was not possible for other understandings, which may seem to be opposite to Abū Ḥanīfa’s opinions, to be influential in the region. That Najjāriyya and Karrāmiyya could not be perennial in the region may be an example of this case. Similarly, Māturīdiyya, which benefited from Abū Ḥanīfa’s treatises of creed and his (...) rational method, could not adequately get the support of people at the time of Abū Manṣūr al-Māturīdī (d. 333/944) and Abū l-Muʿīn al-Nasafī (d. 508/1114) because the school was seen as an opposite approach to the prevailing imaginations about Abū Ḥanīfa. Moreover, the Ḥanafī jurists (Ḥanafī fuqahāʾ), who were influential in not only people but also bureaucracy, and the Ḥanafī theologians (Ḥanafī mutakallimūn), who followed al-Māturīdī’s theological method , did not come to terms on their interpretations of Abū Ḥanīfa. The Ḥanafī jurists who benefited mostly from juridical sources and manāqibworks were thinking different from the Ḥanafī theologians who relied on the treatises of Abū Ḥanīfa on such issues as the legitimacy of Kalām as a scholarly discipline, the responsibility of people of fatra(ahl al-fatra: people having no access to the message of Islam), and the creation of faith (īmān). The Ḥanafī jurists took different stance on various issues and argued that faith is not created; the informative (khabarī) attributes of God (ṣifāt Allāh) mentioned in the Qurʾān cannot be interpreted (taʾwīl); no one can be held accountable for faith only based on the intellect unless the message of the Prophet reaches to her or him; the people of fatracannot be responsible for faith. They also stated that Abū Ḥanīfa broke his relationship with the theological (kalāmī) issues in the last years of his life. Although these jurists accepted Abū Ḥanīfa’s distinction between faith and deeds and his view of the stability of one’s faith without increasing or decreasing they condemned theological discussions on these issues by going beyond the limits of the treatise of creed. While the Ḥanafī theologians known as the Ḥanafī scholars of Samarqand who adopted the religious views of Imām al-Māturīdī of Samarqand acknowledged the intellect and considered it as an independent source in religion, the Ḥanafī jurists known as the Ḥanafī scholars of Bukhārāauthorized the intellect only in understanding the transmission (naql) and its interpretation. The different opinions of the two groups can be seen clearly on the question of the religious responsibility of the people of fatra. When we look at the debates regarding Kalām and the Islamic law, we can see that the difference between these two cities (Samarqand and Bukhārā) stems from their methodological views on the epistemological values of the reason (ʿaql) and the transmission (tradition). Māturīdiyya is a school of theology established by the Ḥanafī theologians who upheld the necessity and significance of Kalām. It is possible to say that the Ḥanafī jurists did not contribute to the establishment and systematisation of this school; rather, they tried to prevent it. Our findings show that the Ḥanafī jurists who lived in Transoxiana differ from each other because of their different understandings of Abū Ḥanīfa. In the historical process extending today it is evident that the religious views of the Ḥanafī jurists and their interpretation of Abū Ḥanīfa have been prominent and effective, not that of Māturīdiyya, which is the understanding of the Ḥanafī theologians. (shrink)

The modern Everett interpretation of quantum mechanics describes an emergent multiverse. The goal of this paper is to provide a perspicuous characterisation of how the multiverse emerges making use of a recent account of (weak) ontological emergence. This will be cashed out with a case study that identifies decoherence as the mechanism for emergence. The greater metaphysical clarity enables the rebuttal of critiques due to Baker (2007) and Dawid and Th\'ebault (2015) that cast the emergent multiverse ontology as incoherent; (...) responses are also offered to challenges to the Everettian approach from Maudlin (2010) and Monton (2013). (shrink)

The aim of this paper is to comprehensively question the validity of the standard way of interpreting Chaitin's famous incompleteness theorem, which says that for every formalized theory of arithmetic there is a finite constant c such that the theory in question cannot prove any particular number to have Kolmogorov complexity larger than c. The received interpretation of theorem claims that the limiting constant is determined by the complexity of the theory itself, which is assumed to be good measure (...) of the strength of the theory. I exhibit certain strong counterexamples and establish conclusively that the received view is false. Moreover, I show that the limiting constants provided by the theorem do not in any way reflect the power of formalized theories, but that the values of these constants are actually determined by the chosen coding of Turing machines, and are thus quite accidental. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this (...) intuitive picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

This paper begins with a puzzle regarding Lewis' theory of radical interpretation. On the one hand, Lewis convincingly argued that the facts about an agent's sensory evidence and choices will always underdetermine the facts about her beliefs and desires. On the other hand, we have several representation theorems—such as those of (Ramsey 1931) and (Savage 1954)—that are widely taken to show that if an agent's choices satisfy certain constraints, then those choices can suffice to determine her beliefs and desires. (...) In this paper, I will argue that Lewis' conclusion is correct: choices radically underdetermine beliefs and desires, and representation theorems provide us with no good reasons to think otherwise. Any tension with those theorems is merely apparent, and relates ultimately to the difference between how 'choices' are understood within Lewis' theory and the problematic way that they're represented in the context of the representation theorems. For the purposes of radical interpretation, representation theorems like Ramsey's and Savage's just aren't very relevant after all. (shrink)

Relying on evidence from fifteen epigraphic collections and sixty-odd ancient sources as well as discussing a literature of over five hundred titles, the essay’s highly unorthodox conclusions are a case in point of the micrological ideal of achieving novelty on any given subject by way of transcribing and studying first-hand all relevant materials – edited and unedited alike. The paper’s ambition was to shed new light on one of the most intriguing analogies of the whole Aristotelian corpus, namely the comparison (...) between words and pebbles. A review of all material evidence and virtually all extant sources made short work of two related, albeit mutually exclusive, misconception about ancient reckoning boards and their workings: (1) the idea that – for all practical purposes – the abacus’ arrangement mirrored the decimal system, its columns and rows conveniently matching units, tens, hundreds, thousands, etc. (2) the idea that the inscriptions on several surviving counting boards were a nuisance to the extent that, being inconsistent to a fault with the decimal system itself, they made actual calculations harder than they already were (as opposed to making them easier, as one would expect). The paper demonstrated that the first assumption – the « decimal » bias – is simply mistaken and betrays little or no awareness of the epigraphic and archaeological evidence. The paper also demonstrated that the second assumption – the « abacus riddled with complications » bias – simply defeats the purpose of resorting to the abacus in the first place and betrays a poor understanding of its practical vocation which, most assuredly, was not to add to the very problem it was meant to solve. After bulldozing its way through both misunderstandings, the essay focused on the abacus most distinctive features, that is positionality (i.e. the abacus being a positional system through and through) and hybridity (i.e. the abacus’ place value system being monetary in nature and purpose, as opposed to it being abstract and homogeneous). The final result is an interpretation that moves away from the received views by showing that the prologue of the Sophistici elenchi offers no support to the notion that, when Aristotle referred to counters, he was leaning on a kinship of sorts – or any kinship, for that matter – between abstract calculation and speech. Once we turns the pebble’s simile on its head and set it back upon its feet (Aristotle’s pebble analogy is about pebbles, what else?), it becomes clear that it presupposed numeracy all right, but it was not about numeracy itself. Moreover its goal was not to explain why computational and linguistic symbolisms succeed, but to explain how they fail – failure being the whole point; in this particular instance, failure to detect and prevent abusive value shifts affecting words and counters alike. (shrink)

In this paper, I examine a new line of response to Frankfurt’s challenge to the traditional association of moral responsibility with the ability to do otherwise. According to this response, Frankfurt’s counterexample strategy fails, not in light of the conditions for moral responsibility per se, but in view of the conditions for action. Specifically, it is claimed, a piece of behavior counts as an action only if it is within the agent’s power to avoid performing it. In so far (...) as Frankfurt’s challenge presupposes that actions can be unavoidable, this view of action seems to bring his challenge up short. Helen Steward and Maria Alvarez have independently proposed versions of this response. Here I argue that this response is unavailable to Frankfurt’s incompatibilist opponents. This becomes evident when we put this question to its proponents: “Are actions that originate deterministically ipso facto unavoidable?” If they answer “yes,” they encounter one horn of a dilemma. If they answer “no,” they encounter the other horn. Since no one has a clearer stake in meeting Frankfurt’s challenge than these theorists do, it is significant that the Steward-Alvarez response is unavailable to them. (shrink)

The first and greatest commandment according to Jesus, and so the one most central to Christian practice, is the command to love God. We argue that this commandment is best interpreted in aretaic rather than deontic terms. In brief, we argue that there is no obligation to love God. While bad, failure to seek and enjoy a union of love with God is not in violation of any general moral requirement. The core argument is straightforward: relations of intimacy should not (...) be morally imposed upon autonomous beings. We contend that such reasoning applies to human beings’ relationship to God. So, even if our ultimate end is to enjoy communion with God, God has no right that human beings seek a relationship with him. If this is correct, then the command to ‘love God’ is not the sort of moral principle that can be supported by threats of hellfire or other forms of coercion. (shrink)

The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s (...) early theory of radical interpret at ion. I consider the possibility of distinguishing between locutionary and illocutionary act in uttering a sentence and its significance in the present project. I discuss the suggestion that the mood of the verb of the sentence signifies the required distinction between truth-evaluable utterances and non-truth-evaluable ones. I argue that no criterion for the distinction based on the mood of the verb is adequate. The solution that I propose to the problem of classifylng truth-evaluable utterances appeals to mental states. The view that grounds this line of inquiry is that the truth-evaluability of an utterance is a characteristic of it exclusively relevant to the doxastic dimension of the speaker’s mind. I discuss the constraints that the nature of radical interpretation puts upon the way we construe the notion of belief. I propose that a possible classification of mental states into doxastic and non-doxastic that would result in a classification of utterances into truth-evaluable and non-truthevaluable ones can be given by an elaborated version of a decision theoretic scheme. I suggest that a decision theoretic scheme based on a decision theory that, like Savage’s theory, grants independence axioms is a better candidate to offer a solution to the central problem of the dissertation than a scheme based on a non- standard decision theory such as Richard Jeffrey’s. I conclude by showing that the proposal I make satisfies the constraints I have considered and that it can be accommodated by a radical interpretation theory. (shrink)

The Theory of Relativity has been portrayed as a theory that redefined the way we look at the cosmos, enabling us to unlock the reality we live in. Its proponents are constantly reminding us of how Einstein managed to reveal the true nature of the universe with his groundbreaking theory, which has been proved multiple times until now. Yet, philosophy of science teaches us that no theory has any privileged connection with what we call reality per se. The role of (...) science is to formulate models of the cosmos we see and not to try to interpret or reveal reality. This paper tries to show how this holds true even for the famous relativity theory, by showing specific objections to the connection of the theory with the Holy Grail of philosophers. By analyzing various subjects related to the theory, from the twins’ paradox to the GPS satellites, this paper illustrates that relativity is much less connected to reality than what we would like to think. At the end, what Einstein’s theory provides is nothing more than a way to formalize the interactions of the world but without being able to make any claims whatsoever regarding the ‘reality’ of its conclusions. (shrink)

The book is an “introductory” reconstruction of Davidson on interpretation —a claim to be taken with a grain of salt. Writing introductory books has become an idol of the tribe. This is a concise book and reflects much study. It has many virtues along with some flaws. Ramberg assembles themes and puzzles from Davidson into a more or less coherent viewpoint. A special virtue is the innovative treatment of incommensurability and of the relation of Davidson’s work to hermeneutic themes. (...) The weakness comes in a certain unevenness. While generally convincing and well written, the book has low points which may leave the reader confused or unconvinced. Davidson is the hero in this book, and our hero is sometimes over idealized. (shrink)

Next year, there will be a 100-year celebration of quantum mechanics, but there is no consensus on the interpretation of this theory. This reprint presents recent works on one of the most intriguing interpretations, the many-worlds interpretation, presented at a workshop in October 2022 at Tel Aviv University. The many-worlds interpretation solves the measurement problem, avoids action at a distance and indeterminism, and does not contradict empirical evidence. The main question discussed in the workshop was as follows: (...) why is it not in the consensus? Major issues such as preferred basis, the meaning of probability, non-locality, and alternative approaches were discussed, which are increasingly drawing attention in physics and philosophy. The contributions demonstrated a striking diversity in understanding the basic concepts. What are the worlds in the many-worlds interpretation? Do the worlds diverge or split? Is probability objective or subjective, or is it just an illusion? Can we avoid the non-separability of quantum mechanics? Many questions were raised and significant progress in understanding was achieved, but the papers showed that consensus is still far away. This reprint describes the current status of the research and will be invaluable for physicists and philosophers who want to resolve the long-standing problem of the interpretation of quantum mechanics. (shrink)

This paper is about what we call Deontically-flavored Nominal Constructions (DNCs) in English, such as "No ice cream" or "Dogs on leash only". DNCs are often perceived as commands and have been argued to be a type of non-canonical imperative, much like root infinitives in German or Russian. We argue instead that DNCs at their core are declaratives that cite a rule but can be used performatively in the right context. We propose that DNCs contain an elided deontic modal, i.e., (...) allowed, whose presence explains their distributional restrictions and interpretational properties. Among other things, we speculate on the licensing conditions of DNCs (the presence of 'only' or the negative determiner 'no'), suggesting that these are tied to the properties of discourses in which rules can be used naturally. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

This chapter’s main topic revolves around Davidson’s account of radical interpretation and the concept of triangulation as a necessary feature of communication and the formation of beliefs. There are two important implications of this model of belief formation for feminists studying the effects of social location on knowledge production generally, and the production of scientific knowledge in particular. The first is Davidson’s argument that whatever there is to the meaning of any of our beliefs must be available from the (...) radical interpreter’s external, third-person perspective. The second important implication of triangulation is that Davidson’s model is a holistic one that shows that there is no substantive difference in the triangulation process by which we form beliefs concerning basic descriptive features of the world and beliefs concerning evaluative features of the world. (shrink)

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of how (...) to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

It is well known in contemporary Madhyamaka studies that the seventh century Indian philosopher Candrakīrti rejects the foundationalist Abhidharma epistemology. The question that is still open to debate is: Does Candrakīrti offer any alternative Madhyamaka epistemology? One possible way of addressing this question is to find out what Candrakīrti says about the nature of buddha’s epistemic processes. We know that Candrakīrti has made some puzzling remarks on that score. On the one hand, he claims buddha is the pramāṇabhūta-puruṣa (person of (...) epistemic and moral authority), sarvākārajñatājñānaṃ (omniscient, wise), pratyakṣalakṣaṇam (exclusively perceptual in characteristic) [Candrakīrti (MABh VI.214)], and claims that there are clearly four pramāṇas—epistemic warrants—direct perception (pratyakṣa), inference (anumāna), testimony (āgama) and analogy (upamāna) [Candrakīrti (Pp I.3), cf. MacDonald 2015, pp. 287–288]. On the other hand, somewhat paradoxically, Candrakīrti claims that buddhahood is an embodiment of a complete cessation of “mind and mental processes” [Candrakīrti (MABh XI.1, 155a; MAB XI.17d)] Now how are we to make sense of these two seemingly contradictory statements? Do these statements reflect any deeper conflicts within Candrakīrti’s system or is there a coherent way to interpret these statements? The Tibetan Prāsaṅgika interpreters of Candrakīrti’s Madhyamaka largely agree that there is no internal contradiction in Candrakīrti’s system, and agree there is a way to make coherent sense of these statements. Nevertheless, the Tibetans exegetes bring to the table two radically conflicting proposals to approach Candrakīrti’s Mādhyamaka; both claiming to successfully address the apparent tension arising from Candrakīrti’s statements. One proposal is made by Tsongkhapa Losang Dakpa (Tsong kha pa bLo bzang grags pa, 1357–1419), who maintains the tension can be plausibly resolved by demonstrating that Candrakīrti’s unique non-foundationalist epistemological program renders him an epistemological coherentist. In contrast Taktsang Lotsawa Sherap Rinchen (sTag tshang Lo tsā ba Shes rab rin chen, 1405–1477) argues that according to Candrakīrti buddha is a global agnostic, on the ground of the nonexistence of mind and mental processes for those who have attained fully awakening. Taktsang instead proposes the no-mind thesis as a more plausible way to resolve the tension in Candrakīrti’s philosophy, categorically refusing to attribute to buddha any cognitive processes and epistemic warrants. This paper is an analysis of Taktsang’s no-mind thesis—the claim that buddhas utterly lack any knowledge of the world because they do not have epistemic processes and warrants to perceive the world—in what follows a rational reconstruction of his arguments is developed in order to evaluate his thesis. We shall then assess the implications of accepting Taktsang’s no-mind thesis. (shrink)

The propensity interpretation of fitness (PIF) is commonly taken to be subject to a set of simple counterexamples. We argue that three of the most important of these are not counterexamples to the PIF itself, but only to the traditional mathematical model of this propensity: fitness as expected number of offspring. They fail to demonstrate that a new mathematical model of the PIF could not succeed where this older model fails. We then propose a new formalization of the PIF (...) that avoids these (and other) counterexamples. By producing a counterexample-free model of the PIF, we call into question one of the primary motivations for adopting the statisticalist interpretation of fitness. In addition, this new model has the benefit of being more closely allied with contemporary mathematical biology than the traditional model of the PIF. (shrink)

In an online, participatory class, we interpreted The Dream of the Flaming Sword knowing nothing of the dreamer beyond age and gender, and having none of the dreamer’s associations. Our interpretation included a series of predictions about the dreamer. When it was complete, we asked the bringer of the dream (who had until then been silent and who also gave no visual feedback to our discussion) to give us more information about the dreamer. Eight months later the bringer gave (...) us further information from the dreamer. Our predictions were mostly confirmed. In the dream, the dreamer’s identity is repeatedly questioned. -/- This record is another iteration of an experiment that is described more fully in the paper The Dream of the Six-Legged Dog, soon to be published. This iteration repeats and confirms the evidence given in that paper. -/- AUDIO RECORD OF THE CLASS ABOUT THE FLAMING SWORD: link is on the title page of the paper you can download here. (shrink)

All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models would describe maximum rationality, (...) which a finite reasoner can only approach in the limit of a reasoning sequence. This strategy has important consequences for epistemology. If a finite reasoner can only approach maximum rationality in the limit of a reasoning sequence, then the efficiency of reasoning is epistemically (and not only pragmatically) relevant. In this paper, I present an argument to this conclusion and discuss its consequences, as, for example, the vindication of the principle 'no rationality through brute-force'. (shrink)

In an online, participatory class, we interpreted 'The Dream of Geese Nesting in Trees' knowing nothing of the dreamer beyond age and gender, and having none of the dreamer’s associations. Our interpretation included predictions about the dreamer. When it was complete, we asked the bringer of the dream (who had until then been mostly silent and who also gave no visual feedback to our discussion) to give us more information about the dreamer. Our main predictions were confirmed. Goslings are (...) falling on the dreamer’s head. This record is another iteration of an experiment that will be described more fully in the paper, 'The Dream of the Six-Legged Dog: An Experimental System that Tests Meaning,' soon to be published. This iteration repeats and confirms the evidence given in that paper. AUDIO RECORD OF COMPLETE CLASS: link is at top of paper you can download from this page. (shrink)

This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion (...) does not follow from its premises? This result does nothing to vitiate the theories of distribution developed over the period beginning in medieval times. What it does vitiate is many if not all attempts to use distribution in tests of invalidity outside of the standard two-premise categorical arguments—where they were verified on a case-by-case basis without further theoretical grounding. In addition it shows that there was no theoretical basis for many if not all claims of fundamental status of rules of distribution. These results are further support for approaching historical texts using mathematical archeology. (shrink)

Many philosophers are impressed by the progress achieved by physical sciences. This has had an especially deep effect on their ontological views: it has made many of them physicalists. Physicalists believe that everything is physical: more precisely, that all entities, properties, relations, and facts are those which are studied by physics or other physical sciences. They may not all agree with the spirit of Rutherford's quoted remark that 'there is physics; and there is stamp-collecting',' but they all grant physical science (...) a unique ontological authority: the authority to tell us what there is. Physicalism is now almost orthodox in much philosophy, notably in much recent philosophy of mind. But although often invoked, it is rarely explicitly defined. It should be. The claim that everything is physical is not as clear as it seems. In this paper, we examine a number of proposed definitions of physicalism and reasons for being a physicalist. We will argue both that physicalism lacks a clear and credible definition, and that in no non-vacuous interpretation is it true. We are concerned here only with physicalism as a doctrine about the empirical world. In particular, it should not be confused with nominalism, the doctrine that there are no universals.2 Nominalism and physicalism are quite independent doctrines. Believers in universals may as consistently assert as deny that the only properties and relations are those studied by physical science. And nominalists may with equal consistency assert or deny that physical science could provide enough predicates to describe the world. That is the question which concerns physicalists, not whether physical predicates name real universals. (We will for brevity write as if they do, but we do not need that assumption.). (shrink)

Miranda Fricker's original presentation of Hermeneutical Injustice left open theoretical choice points leading to criticisms and subsequent clarifications with the resulting dialectic appearing largely verbal. The absence of perspicuous exposition of hallmarks of Hermeneutical Injustice might suggest scenarios exhibiting some – but not all – such hallmarks are within its purview when they are not. The lack of clear hallmarks of Hermeneutical Injustice, moreover, obscures both the extent to which Fricker's proposed remedy Hermeneutical Justice – roughly, virtuous communicative practices – (...) adequately addresses the injustice, and the accuracy of criticisms suggesting that Hermeneutical Justice is insufficient to the task. In what follows, after briefly defending necessary and sufficient conditions for what I take to be the best candidate interpretation of Hermeneutical Injustice, I build on recent work on moral responsibility to construct and defend a rigorous explication of Hermeneutical Justice. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further (...) reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

It is argued that those who defend the Everett, or ‘many-worlds’, interpretation of quantum mechanics should embrace what we call the general quantum theory of open systems (GT) as the proper framework in which to conduct foundational and philosophical investigations in quantum physics. GT is a wider dynamical framework than its alternative, standard quantum theory (ST). This is true even though GT makes no modifications to the quantum formalism. GT rather takes a different view, what we call the open (...) systems view, of the formalism; i.e., in GT, the dynamics of systems whose physical states are fundamentally represented by density operators are represented as fundamentally open as specified by an in general non-unitary dynamical map. This includes, in principle, the dynamics of the universe as a whole. We argue that the more general dynamics describable in GT can be physically motivated, that there is as much prima facie empirical support for GT as there is for ST, and that GT could be fully in the spirit of the Everett interpretation—that there might, in short, be little reason for an Everettian not to embrace the more general theoretical landscape that GT allows one to explore. (shrink)

How do we ensure agents formulating legal statements are not systematically in error? In this paper I assume that the success of legal statements follows from the fact that propositions expressed by legal statements adequately represent legal reality. I argue that the content of legal statements hinges implicetly on the sources of law and methods in which we attribute meaning to these sources. In this regard, I identify the primary obstacle to the success of actions that consist of asserting legal (...) statements as a systematic failure to refer to the proper method of interpretation by the agents formulating these statements. The paper explores several solutions to this challenge, focusing on the solution explaining the success in referring to the proper method of interpretation in virtue of meta-interpretive considerations. Subsequently, the paper discusses a challenge to this solution following from the claim that there are many different theories of meta-interpretation, and there is no fact (neither natural, nor conventional or intentional, anchored in the collective consciousness of society), determining that one of them is more accurate than the other ones. Given all the intricacies, this study focuses on exploring a coherent framework for understanding how different interpretive methods and meta-interpretative theories can be evaluated and applied in legal practice. It seeks to articulate a model that accommodates the diversity of interpretations while striving for a reasoned consensus on how legal texts should be understood and applied. (shrink)

According to Schopenhauer’s compensation argument for pessimism, the non-existence of the world is preferable to its existence because no goods can ever compensate for the mere existence of evil. Standard interpretations take this argument to be based on Schopenhauer’s thesis that all goods are merely the negation of evils, from which they assume it follows that the apparent goods in life are in fact empty and without value. This article develops a non-standard variant of the standard interpretation, which accepts (...) the relevance of the negativity thesis but rejects that the argument assumes that life’s goods are all empty and valueless. Instead, it argues that whatever value negative goods might possess, they do not have the kind of value to compensate for positive evils. This involves additional development of the negativity thesis and a defence of it against objections from Byron Simmons (2021). (shrink)

Non-locality is one of the great mysteries of quantum mechanics (qm). There is a new realist interpretation of qm on the table whose notion of time incorporates both of McTaggart's A-series and B-series. In this philosophically motivated interpretation there is no fact of the matter as to whether the 'now' of one system is the 'now' of another system, until measurement. But this reproduces the idea that the spins of a Bell pair of electrons do not become definite (...) 'until' measurement. And this almost trivially allows for non-locality. (shrink)

On the dominant interpretation, Ockham is an externalist about mental content. This reading is founded principally on his theory of intuitive cognition. Intuitive cognition plays a foundational role in Ockham’s account of concept formation and judgment, and Ockham insists that the content of intuitive states is determined by the causal relations such states bear to their objects. The aim of this paper is to challenge the externalist interpretation by situating Ockham’s account of intuitive cognition vis-à-vis his broader account (...) of efficient causation. While there can be no doubt that intuitive states are causally individuated, I argue that, given Ockham’s broader theory of efficient causation (on which causation turns out to be an internal relation), this very fact entails that the content of such states is determined by factors internal (rather than external) to the states themselves. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)