Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical (...) account for phenomena that are beyond the domain of existing models, such as extinction and the detection of novelty, from which “external inhibition” can be explained. Examples of the methods applied to make predictions are given using previously published results. The present theory proposes a new way to envision the minimal functions of the nervous system, and provides possible new insights into the way that brains ultimately create and use knowledge about the world. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific and (...) standard propositional-functional syntaxes and created the syntactic conditions for the development of contemporary philosophical logic. The specifics of contemporary philosophical logic and the methodological possibilities of its application to philosophical discourse are studied. The article aims to reevaluate the undeservedly forgotten systems of philosophical logic of the continental tradition, created by such prominent representatives as Aristotle, G.W.F. Hegel, and E. Husserl, and to actualize these logics in the context of contemporary philosophical culture. The potential of the above-mentioned logics is not fully involved in the philosophical discourse of modernity, primarily because they primarily used an imperfect elementary subject-predicate syntax and modified definitive-specificative syntax as its slightly improved version. Both syntaxes have one thing in common: the grammatical style of sentence structure. Nevertheless, they also have one common flaw – a high dependence on grammar formalism. As a result, the interaction between these syntaxes and Frege’s standard propositional-functional syntax is impossible, because the latter is based on mathematical formalism, which operates on the philosophical logic of the analytic tradition. The article substantiates the way to solve this problem by constructing a modified subject-predicate syntax of contemporary philosophical logic. This syntax provides information interaction between Aristotle’s elementary subject-predicate syntax, and Frege’s standard propositional-functional syntax based on Hegel’s modified definitive-specificative syntax. The proposed solution to this problem can create new opportunities for complementarity and mutual enrichment between the philosophical logic of continental and analytical traditions. The theoretical basis for the construction and study of contemporary philosophical logic is a functional analysis of contemporary symbolic logic, which improves the grammatical analysis of traditional formal logic. Functional-grammatical analysis is a way to rehabilitate the philosophical logic of the continental tradition. The novelty of this paper lies in the substantiation of the modified subjectpredicate syntax of contemporary philosophical logic. It makes it possible to establish a dialogue between continental and analytical traditions, which is designed to promote the further development of philosophy. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent (...) to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

[Author note: There is a video explainer of this paper on youtube at the new work in philosophy channel (search for surname+deepfakes).] -/- It is widely thought that deepfake videos are a significant and unprecedented threat to our epistemic practices. In some writing about deepfakes, manipulated videos appear as the harbingers of an unprecedented _epistemic apocalypse_. In this paper I want to take a critical look at some of the more catastrophic predictions about deepfake videos. I will argue for three (...) claims: (1) that once we recognise the role of social norms in the epistemology of recordings, deepfakes are much less concerning, (2) that the history of photographic manipulation reveals some important precedents, correcting claims about the novelty of deepfakes, and (3) that proposed solutions to deepfakes have been overly focused on technological interventions. My overall goal is not so much to argue that deepfakes are not a problem, but to argue that behind concerns around deepfakes lie a more general class of social problems about the organisation of our epistemic practices. (shrink)

This article aims to unify all scientific theories based on the concept of “intrinsicality of nature”, including the fundamental theories in physics. First, the general property within existing natural phenomena, say “intrinsicality of nature”, was deduced as “logicality” and "imperfectness". Then, the identical intrinsicality was deduced out for the science to unify all scientific theories. Finally, with this intrinsicality and the novelties of consciousness, the unification of physics theories, say Theory of Everything, was framed by a physical model of more (...) fundamental element (MFE), which had managed to cover the concepts of quantum mechanics, general relativity, and the physics of consciousness altogether, to test this model of unification. Since the MFE is only a theoretical model, two methods were introduced for its experimental verification. While its application to explain yet unanswered questions in science was tested, and further verification of this model in a lab by measuring consciousness signals was discussed. (shrink)

The article aims at clarifying the historical status and cognitive potentials of such a genre of contemporary historiography of philosophy as biographical encyclopedia (dictionary). Based on extensive bibliographic material, the author demonstrates that in the late XX – early XXI centuries in the English-speaking countries there was a real outbreak of interest in encyclopedias and dictionaries, compiled from personalized articles about the life and works of philosophers of certain epochs, countries, trends, etc. According to the author, the increasing popularity of (...) this genre can be considered as a logical continuation of the historical and biographical turns that took place in the Anglo-American (analytic) philosophy in the 1980s and 1990s, respectively. The author specifically emphasizes that it caused the appearance of a significant number of encyclopedias and dictionaries, which contain the well-known facts as well as the significant elements of scholar novelty. The article also shows that similar tendencies have taken place in the contemporary Ukrainian historiography of philosophy. It is shown that Ukrainian experts also made their own significant contribution to the development of this genre. They have successfully developed a special approach, which presupposes the focus on life and works of the representatives of a particular academic institution. The intellectual value of this approach is demonstrated by the example of the recently published two-volume encyclopedia “Kyiv Theological Academy in Names: 1819-1924”. It contains a systematic and very informative presentation of the biographies of many representatives of the national philosophy, whose activities were associated with this institution. The author also shows that from the perspective of the historiography of philosophy, the general methodological foundations of this encyclopedic research is a matter of special interest. (shrink)

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show (...) that the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground. (shrink)

The subject of the article is a mass psychology of B.P. Vysheslavtsev. This is a socio-philosophical conception, which created by Vysheslavtsev through the synthesizing of German classical philosophy, neo-Kantianism, Russian religious philosophy and analytical psychology. He developed the mass psychology in close collaboration with C.G. Jung by his direct order. The mass psychology, despite the heterogeneity of its foundations, became an organic continuation of analytical psychology. Moreover, there is reason to suppose that Vysheslavtsev's socio-philosophical and religious ideas influenced all of (...) Jung’s later work. The main method used was a comparative analysis of the ideas of Vysheslavtsev and Jung, as well as a critical interpretation of the original sources, including unpublished archival materials — letters and manuscripts. The novelty lies in the fact that previously the mass psychology of Vysheslavtsev eluded the attention of researchers. This is primarily due to the inaccessibility of sources on this issue, since some of them are either not published and stored in archives, including the Bakhmeteff Archive (Columbia University in the City of New York) and C.G. Jung Papers Collection (ETH Zurich University Archive), or was published in rare foreign journals and not translated into Russian. At the same time, without these sources it is difficult to understand not only the evolution of Vysheslavtsev’s views, but also the logic and reasons for the development of Jung’s ideas from the 1940s to his death. Thus, this article is intended to partially replenish these gaps in the history of Russian and European philosophy and psychology. Предметом исследования данной статьи является созданная на основе синтеза немецкой классической философии, неокантианства, русской религиозной философии и аналитической психологии социально-философская концепция Б.П. Вышеславцева, названная им "массовая психология". Данная концепция разрабатывалась в тесном взаимодействии с К.Г. Юнгом, в том числе, по его непосредственному заказу. Массовая психология Вышеславцева, несмотря на разнородность её основ, стала органичным продолжением аналитической психологии. Более того, есть основания полагать, что социально-философские и религиозные идеи Вышеславцева оказали влияние на всё позднее творчество Юнга. В качестве основного метода использовался компаративный анализ идей Вышеславцева и Юнга, а также критическая интерпретация первоисточников, включая неопубликованные архивные материалы - письма и рукописи. Новизна заключается в том, что ранее массовая психология Вышеславцева ускользала от внимания исследователей. Обусловлено это, в первую очередь, труднодоступностью источников по данной проблеме, так как часть из них либо не опубликована и хранится в архивах, в том числе в Бахметьевском архиве Колумбийского университета (Нью-Йорк) и Архиве Юнга (Цюрих), либо была опубликована в редких иностранных изданиях и не переведена на русский язык. Вместе с тем, без данных источников трудно понять не только эволюцию взглядов Вышеславцева, итогом которой стал труд "Кризис индустриальной культуры", но также логику и причины развития представлений Юнга начиная с 1940-х годов и заканчивая его смертью. Тем самым, данная статья призвана отчасти восполнить указанные лакуны в истории русской и европейской философии и психологии. (shrink)

TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...) that of describing the human condition as consisting of choices, as unavoidable as arbitrary, without any attempt at providing criteria for making such choices. In the Anglo-Saxon countries, the heir of ethics was a philosophy of morality, that is, an analysis of the language of morality that intended to clarify valuations without trying to justify them. 1958 was the year of the normative turn that led to the Rehabilitation of practical philosophy, a turn followed by decades of controversies between distinct kinds of normative ethics: utilitarian, Kantian, virtue ethics. While the controversy was raging, a quiet revolution took place, that of applied ethics which surprisingly dissolved the controversy's very subject matter by providing methods for making convergence possible on intermediate principles even when no agreement was available about first principles. The normative turn and the revolution of applied ethics have led us, at the turn of the century, to a goal that was quite far from the starting point. Instead of scepticism and relativism that was the fashion at the beginning of the century, at the beginning of the third millennium impartial and universal moral arguments seem to hold the spot being supported, if not by a final rational foundation, at least by reasonableness, the most precious legacy of the Enlightenment. -/- ● TABLE OF CONTENTS -/- ● I Anglo-Saxon philosophy: naturalism 1. Dewey beyond evolutionism and utilitarianism 2. Dewey and anti-essentialist moral epistemology 3. Dewey and naturalist moral ontology 4. Dewey and normative ethics of conduct and function 5. Perry and semantic naturalism -/- ● II Anglo-Saxon philosophy: ideal utilitarianism and neo-intuitionism 1. Moore's critique of utilitarian empiricism 2. Moore on the naturalistic fallacy 3. Moore on the nature of intrinsic value 4. Moore on ideal utilitarianism 5. Prichard on the priority of the right over the good 6. Ross's coherentist moral epistemology 7. Ross's moral ontology: realism, pluralism, and non-naturalism 8. Ross's normative ethics of prima facie duties -/- The chapter reconstructs the background of ideas, concerns and intentions out of which Moore's early essays, the preliminary version, and then the final version of Principia Ethica originated. It stresses the role of religious concerns, as well as that of the Idealist legacy. It argues that PE is more a patchwork of somewhat diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. -/- ●III Anglo-Saxon philosophy: non-cognitivism 1. The Scandinavian School, the Vienna circle and proto-emotivism 2. Wittgenstein and the ineffability of ethics 3. Russell's and Ayer's radical emotivism 4. Stevenson and moderate emotivism 5. Stevenson and the pragmatics of moral language 6. Stevenson and the methods for solving ethical disagreement 7. Hare and prescriptivism The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of 'good', its non-cognitive meaning, in a first phase identified with 'emotive' meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell's ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson's theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. A section reconstructs the discussion from the Forties about Hume's law, mentioning Karl Popper's argument and Richard Hare's early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- ●IV Anglo-Saxon philosophy: critics of non-cognitivism 1. Neo-naturalism and its objections to the naturalistic fallacy argument 2. Objections to Hume's law 3. Clarence Lewis and the pragmatic contradiction 4. Toulmin and the good reasons approach 5. Baier and moral reasons 5. Baier, social moralities and the absolute morality 6. Baier and the moral point of view 7. Baier and the contents of absolute ethics -/- ● V Continental philosophy: the philosophy of values 1. Max Weber and the polytheism of values 2. Phenomenology against psychologism and rationalism 3. Reinach and the theory of social acts 4. Scheler and the material ethics of values 5. Hartmann and the ontology of values 6. Plessner, Gehlen and the Philosophische Anthropologie -/- The chapter illustrates first the idea of phenomenology and the Husserl's project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the apriori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy conducted in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach's theory of social acts as a key the grounding of norms, a view that sketches the ideas 'discovered' later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section discusses Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of 'values' – with surprising affinities with George E. Moore - than philosophers such as Max Scheler, who claimed to be Husserl's legitimate heirs. -/- ● VI Continental philosophy: the critics of the philosophy of values 1. Freud, the Superego and Civilization 2. Heidegger on original ethos against ethics 3. Sartre and de Beauvoir on authenticity and ambiguity 4. Adorno and Horkheimer on emancipation and immoralism -/- ●VII Post-liberal theologians and religious thinkers 1. Barth on the autonomy of faith from ethics 2. Developments of Reformed moral theology after Barth 3. Bonhoeffer on the concrete divine command and ethics of penultimate realities 4. Developments of Reformed and Catholic moral theology after world war II 5. Baeck and the transformation of liberal Judaism 6. Rosenzweig against liberal Judaism 7. Buber and religion as the vital lymph of morality 8. Heschel and Judaism as a science of actions -/- The chapter examines the main protagonists of Christian theology and Jewish religious thinking in the twentieth century. It stresses how the main dilemmas of contemporary philosophical ethics lie at the root of the various path of inquiry taken by these thinkers. -/- ● VIII Normative ethics: neo-Utilitarianism 1. The discussion on act and rule utilitarianism 2. Hare on two-tiered preference utilitarianism 3. Harsanyi, Gauthier and rational choice ethics 4. Parfit, utilitarianism and the idea of a person 5. Brandt and indirect conscience utilitarianism -/- The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick's and Moore's fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine refuted. Two examples give the reader a glimpse at this uproarious process. The first is Roy Harrod Wittgensteinian transformation of utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This transformation results in preference utilitarianism combined with a 'Kantian' version of rule utilitarianism. The second is Richard Hare's two-level preference utilitarianism, where act utilitarianism plays the function of the eventual rational justification of moral judgments and rule-utilitarianism that of an action-guiding practical device. -/- ● IX Normative ethics: neo-Aristotelianism and virtue ethics 1. Hannah Arendt, action and judgement 2. Hans-Georg Gadamer and phronesis 3. Alasdair MacIntyre on practices, virtues, and traditions 5. Stuart Hampshire on deliberation 6. Bernard Williams and moral complexity 7. Feminist ethics -/- Sect 1 reconstructs the post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named 'Rehabilitation of practical philosophy' is described. Heidegger's most brilliant disciples were the promoters of this Rehabilitation. Hans-Georg Gadamer is a paradigmatic example. His reading of Aristotle's lesson I reconstructed, starting with Heidegger's lesson but then subtly subverting its outcome thanks to the recovery of the significant role of the notion of phronesis. Sect 3 discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. It argues that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. The chapter gives a short look at further developments in the neo-naturalist current trough a reconstruction of Philippa Foot's and Peter Geach's critiques to the naturalist-fallacy argument and Alasdair MacIntyre's grand reconstruction of the origins and allegedly inevitable failure of the Enlightenment project of an autonomous ethic. -/- ● X Normative ethics: Kantian and rights-based ethics 1. Dialogical constructivism 2. Apel, Habermas and discourse ethics 3. Gewirth and rights-based ethics 4. Nagel on agent-relative reasons 5. Donagan and persons as ends in themselves Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This current started with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. The chapter offers an examination of his argument in some detail, followed by a more cursory reconstruction of Jürgen Habermas's elaboration on Apel's theory. -/- ● XI The applied ethics renaissance 1. Elisabeth Anscombe on the atom bomb 2. From medical ethics to bioethics 3. Rawls and public ethics 3. Nozick, Dworkin and further developments of public ethics 5. Sen and the revival of economic ethics -/- The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin's new casuistry. The chapter argues that Rawls's distinction between a "political" and a "metaphysical" approach to the theory of justice, one central part of ethical theory, is a formulation of the same basic idea at the root of both the principles approach and the new casuistry, both discussed in the following chapter. The idea is that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls' view never will be close – on the essential criteria for judgment. -/- ● XII Fin-de-siècle metaethics 1. Deontic logics 2. Anti-realism 3. External realism 4. Internal realism 5. Kantian constructivism -/- The chapter illustrates the fresh start of meta-ethical discussion in the Eighties and Nineties and the resulting new alignments: metaphysical naturalism, internal realism, anti-realism, and constructivism. (shrink)

[186 pages] Just as the six branches of a snow crystal converge in regular proportions toward their common center, the six contributions to this book point toward a future philosophy of cosmic life. In this sense, this edited volume represents a multidisciplinary and transcultural polylogue of distinguished authors from three continents, which aims to establish highly innovative perspectives and open new frontiers of developing philosophical reflections and scientific foundations for the emergence of a common cosmic consciousness, for an integral ecology, (...) and for a cooperative planetary civilization of humanity. John B. Cobb, Jr. uses a process-philosophical foundation to describe life as living events expressing novelty and the cosmos as a process of self-enriching and self-evolving “Life Itself.” Chandra Wickramasinghe unfolds his scientific and philosophical perspective on cosmic life in twelve successive steps, offering a wide range of arguments and insights that support an up-to-date theory of panspermia. Attila Grandpierre presents the "Cosmic Life Principle" and the comprehensive science based upon it that is inextricably linked to the healthy and cooperative civilization, to the biological laws of nature, to the laws of logic, to the uplifting of the well-being of people and ecological communities. Chunyou Yan introduces the approach of his holographic philosophy, according to which the universe must be understood as a vast living entity, every aspect of which represents life. Bei Peng shows that the proportions of energy meridians in traditional Chinese medicine correspond to musical intervals, and on this basis she demonstrates the analogy of the human body to macrocosmic phenomena. David Bartosch offers an examination of three important systematic foundations for a poly-contextural, transcultural philosophy of cosmic life with roots in Greek, Chinese, South and West Asian, and European traditions of thought. (shrink)

The enigma of the Emergence of Natural Languages, coupled or not with the closely related problem of their Evolution is perceived today as one of the most important scientific problems. The purpose of the present study is actually to outline such a solution to our problem which is epistemologically consonant with the Big Bang solution of the problem of the Emergence of the Universe}. Such an outline, however, becomes articulable, understandable, and workable only in a drastically extended epistemic and scientific (...) oecumene, where known and habitual approaches to the problem, both theoretical and experimental, become distant, isolated, even if to some degree still hospitable conceptual and methodological islands. The guiding light of our inquiry will be Eugene Paul Wigner's metaphor of ``the unreasonable effectiveness of mathematics in natural sciences'', i.e., the steadily evolving before our eyes, since at least XVIIth century, ``the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics''. Kurt Goedel's incompleteness and undecidability theory will be our guardian discerner against logical fallacies of otherwise apparently plausible explanations. John Bell's ``unspeakableness'' and the commonplace counterintuitive character of quantum phenomena will be our encouragers. And the radical novelty of the introduced here and adapted to our purposes Big Bang epistemological paradigm will be an appropriate, even if probably shocking response to our equally shocking discovery in the oldest among well preserved linguistic fossils of perfect mathematical structures outdoing the best artifactual Assemblers. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also (...) argue that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

The paper advances a new comprehensive complex approach to the investigation of the civilizational aspects in the development of regional associations of countries. The research starts with the overview of historical dimensions of the civilizational approach and the contribution of the founding scholars to its development. It continues with the analysis of the scientific and methodological input of the followers and the critics of this approach. The authors suggest their theoretical approach to the identification of the modern local civilizations according (...) to six parameters: natural, biological, technical, economic, social, and governing. The civilizational affiliation of countries and the civilizational structure of major 17 regional associations of countries are identified. The results demonstrate that some regional groups have been more homogeneous in terms of civilizational composition, others – less homogeneous, which does not interfere with their dynamic development. However, the logic of the historical dynamics of human development indicates the inevitability of changing the current situation through prolonged civilizational conflicts resulting in significant changes in the global social dynamics and the civilizational structure of the world and of regional associations of countries. The identification of the civilization structure of countries and regional associations contributes to the rational decision-making in the areas of international economic relations and to the formation of the integration/disintegration policies on the national and regional levels. It is predicted that from 2030 global social dynamics will undergo a fundamental breakthrough that will radically change the civilizational structure of the world and regional unions of countries. Methods. The research is based on the application of the systemic and historical approach, combined with the methods of analysis, synthesis, analogy, abstraction, generalization and method of individual expert assessment. Novelty of the research. The authors have identified the civilizational structure of countries using statistically available criteria for the six groups of factors, which allows to determine the homogeneity level of the major regional groups of countries. Practical significance. Identification of civilization structure of countries and regional associations creates the opportunity for adjusting national and subregional integration and disintegration policies. The aim of the study is to determine the civilizational structure of the regional associations of countries. To achieve this goal the following tasks are set and solved: –to analyze and optimize the existing approaches to the identification of local civilizations; –to identify the current state of the countries’ belonging to this or that civilization, their civilizational structure; –to reveal the civilizational structure of the major regional blocs. (shrink)

This paper analyzes the underlying tendencies and attitudes toward reproductive medicine borrowing the Nietzschean concepts of nihilism: “death of God” with secularization; “will to power” with reproductive liberty and technological power; and the race of “supermen” with transhumanism. Medical science has advanced in leaps and bounds. In some way, technical innovations have given us unprecedented power to manipulate the way we reproduce. The indiscriminant use of medical technology is backed by a warped notion of human freedom. With secularization in the (...) West, freedom has taken on greater significance in society, but with a heavy emphasis on individual choices and rights. As technology joins forces with sexual liberty, it is not difficult to understand why the public accepts the latest novelty from the reproductive industry. As a result, many find Catholic teaching behind the times and incomprehensible, if not downright anti-scientific. In fact, this coupling of reproductive liberty (will) with reproductive technology (power) echoes the famous dictum “will to power” Nietzsche predicted would characterize post-modern societies. When liberty becomes absolute and technology unchecked, transhumanism is the logical outcome. As a response to these nihilistic tendencies, the paper will end with a critique drawing from theological insights. (shrink)

[This is the complete issue of the second issue of Mɛtascience] -/- This second issue of the journal Mεtascience continues the char acterization of this new branch of knowledge that is metasci ence. If it is new, it is not in a radical sense since Mario Bunge practiced it in an exemplary way, since logical positivists were accused of practicing only a mere metascience, since scientists have always practiced it implicitly, and since some philosophers no longer practice philosophy but (...) rather metascience, but without characterizing it or theorizing it, that is, without realizing that they have abandoned one general discourse for another. The novelty therefore lies in this aware ness that a general discourse without philosophy is possible: a scien tific general discourse. The twelve contributions gathered in this volume illustrate the metascientific approach to knowledge of the world as well as to knowledge of knowledge of the world, that is, science. And like Bunge’s project, they are neither part of the analytical movement nor the continental movement in philosophy. We will read here studies about the Bungean system, some applications of Bungean thought, some metascientific contributions, and some reflections around meta science. Among metascientific disciplines, ontology occupies a prominent place in this issue of Mεtascience. Metascience differs from philoso phy in its rejection of the fundamental philosophical distinction be tween appearance and reality. Metascientific ontology therefore does not postulate the existence of any metaphysical reality. But metasci entific ontology, no more than philosophical ontology, is a factual sci ence. The first, because it studies scientific constructs and not concrete objects, the second, because it is interested in transcendent or meta physical objects. (shrink)

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

Academic philosophy has a novelty problem. Novelty has become a litmus test for a contribution’s value. This results in a common undertaking for academic researchers. Read a bunch. Look for holes and gaps. Figure out what hasn’t been said. Try to insert yourself in a conversation by saying something new. On first glance, this approach might appear to make sense. If it’s not new, why do we need it? Yet a fixation on novelty sculpts a landscape of (...) philosophical inquiry that is inhospitable and self-undermining. (shrink)

The philosophy of mind concerns much about how novelty occurs in the world. The very recent progress in this field inspired by quantum mechanics indicates that symmetry restoration occurs in the mind at the moment when new creative thought arises. Symmetry restoration denotes the moment when one’s cognition leaves ordinary internalized mental schemes such as conceptual categories, heuristics, subjective theories, conventional thinking, or expectations. At this moment, fundamentally new, original thought may arise. We also predict that in older age, (...) symmetry restoration is less likely to occur as internalized mental schemes become more rigid in the elderly. Furthermore, the present study demonstrates that symmetry restoration may occur not only individually, in one’s mind, but also collectively, during collaborative creative activities, e.g. during small-group brainstorming sessions or creative improvisational performances. The possibility of collective symmetry restoration interacts well with the ideas in the field of relational ontology. Relational ontology highlights an important ontological role of relations. The ontological primacy is not given to individual entities, as in traditional metaphysics, but to relational structures and transformative relational processes (interactions). When accepting this assumption, we cannot imagine the situation when the actor’s mind could act absolutely independently and leave all of its relations as assumed in the compatibilist theory of free will. We argue that creative free action can be performed even in the case when the actor is entangled within their material, environmental, and social relational structures. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any (...) given time; an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

The reward system of science is the priority rule. The first scientist making a new discovery is rewarded with prestige, while second runners get little or nothing. Michael Strevens, following Philip Kitcher, defends this reward system, arguing that it incentivizes an efficient division of cognitive labor. I argue that this assessment depends on strong implicit assumptions about the replicability of findings. I question these assumptions on the basis of metascientific evidence and argue that the priority rule systematically discourages replication. My (...) analysis leads us to qualify Kitcher and Strevens’s contention that a priority-based reward system is normatively desirable for science. (shrink)

The idea of phenotypic novelty appears throughout the evolutionary literature. Novelties have been defined so broadly as to make the term meaningless and so narrowly as to apply only to a limited number of spectacular structures. Here I examine some of the available definitions of phenotypic novelty and argue that the modern synthesis is ill equipped at explaining novelties. I then discuss three frameworks that may help biologists get a better insight of how novelties arise during evolution but (...) warn that these frameworks should be considered in addition to, and not as potential substitutes of, the modern synthesis. †To contact the author, please write to: Departments of Ecology and Evolution and Philosophy, Stony Brook University, Stony Brook, NY 11794; e‐mail: [email protected]. (shrink)

This paper is an exposition and comparison between two views concerning fundamental ontology in the context of the Mind-Body Problem: physicalism and emergent property dualism. I assess the pros and cons of each position and argue that physicalism provides an overall more plausible metaphysics.

It is natural to say that when we acquire a new concept or concepts, or grasp a new theory, or master a new practice, we come to see things in a new way: we perceive phenomena that we were not previously aware of; we come to see patterns or connections that we did not previously see. That natural idea has been applied in many areas, including the philosophy of science, the philosophy of religion, and the philosophy of language. And, in (...) reflecting on the character of philosophy itself, Wittgenstein himself associates the introduction of a new concept in philosophy with the discovery of a new way of looking at things (PI §401), and says that the point of presenting us with an imagined example may be to change our way of looking at things (PI §144). The paper considers four interrelated questions about this association between seeing-as and change, novelty, or innovation. 1. Is there an important difference between the case where the change in someone’s way of seeing things involves the invention or discovery of a completely new concept, a completely new theory etc., and the case where it involves the person’s coming to understand an existing concept or theory? 2. Is there a special connection between seeing-as and conceptual or theoretical change or creativity: a connection that does not obtain between seeing-as and using or applying a familiar theory or system of concepts? 3. In cases where seeing-as is associated with novelty or creativity, is there any sense in which the fact that someone sees things in a new way can help to explain their conceptual or theoretical creativity? 4. To the extent that there is some association between seeing-as and novelty or creativity, why if at all does it matter that one experiences things in a certain way? Would someone who was aspect-blind be any worse off with respect to creativity or innovation than the rest of us? And if so, why? (shrink)

The paper shows different approaches to creativity, i.e. emergence of new meanings, in Merleau-Ponty and Patočka. The comparison is based mainly on Merleau-Ponty’s lectures L’institution dans l’histoire personnelle et publique (1954/55) and Patočka’s project Negative Platonism (1953). Despite some similarities evident in the key concepts “institution” and “transcendence”, there is a decisive difference between the two approaches concerning the temporality of creation. Whereas Merleau-Ponty likens the temporality of institution to future perfect tense, emphasizing the intertwining of present and future events, (...) Patočka understands novelty as something totally different from the present state of affairs. In his eyes, the question of how something new can arise equals the question of how an attitude of distance to existing traditions can be achieved. Contrary to Patočka, Merleau-Ponty argues that any living tradition tends towards its own transformation and presents a case of self-transcendence because it is governed by the principle of divergence (écart). Finally, we argue that some aspects of these two approaches both complement each other, and also show the limits of each other. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory (...) is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of (...) reality. For naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the (...) most promising of which depends not on logic’s normativity but on epistemic goals. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in (...) the empirical sciences, given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$- (...) class='Hi'>logical validity is genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the (...) philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

This paper introduces and discusses three models of future: a determinist model, a stochastic model, and the model of True Prophetic Knowledge. All three models coexist in natural languages and are represented both in their grammatical systems and in the text-building discourse strategies speakers and authors apply to.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...) to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...) there are cases in which one must be picked. Logical realists admit that there are some logical constants among the elite words. This leads to awkward questions, such as which among conjunction and disjunction is elite. In this paper, I show how the riddle of redundancy arises for logical realists, and offer a solution. This approach requires us to change how we represent negation. Instead of using some particular symbol, we represent negation by flipping formulae over the horizontal axis. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order (...) to avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in (...) a clear sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In this article, on the basis of analysis of the classical definition of a miracle (from D.Hume to C.S.Lewis and R. Swinburne) and the nonclassical one (J.L. Marion and J.P.Manussakis), the phenomenological and the etymological aspects of a miracle are examined.Taking into consideration the historical development of the concept of a miracle, the author proves the connections between contemplation, miracle and novelty. They are necessary for the constituting of religious experience. Faith itself, in theological sense, is not determinative for (...) religious experience.It has sense only when it is integrated into contemplation. True religious experience is based on the art of contemplation which helps a human being to look with astonishment. The author argues that phenomenological approach to a miracle combined with the etymological analysis is a valuable method for the study of a miracle in the context of the history of philosophy. (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)

The foundational gesture of New Materialism and Speculative Realism dismisses vast swaths of past philosophy and theory in order to signify their own avant-garde status. The violence of this gesture, which tries to corral difference within past texts in order to feign its own purity, can be considered as a theoretical quarantine. Examples of medical and spiritual quarantine, the 2014 ebola epidemic and Jesus’ temptation, are analyzed to show that the figure is inherently compromised – the harder one fights to (...) keep the other away, the more one becomes inseparable from it. Derrida's reflections on the reactions against deconstruction show that this desire for progress is always inherently conservative; Meillassoux and Jane Bennett are considered as contemporary examples. A deconstruction of corralation and the academico-capitalist forces driving these ‘innovations’ might open us to reading the never-simply-past text, and to the possibility of the event. (shrink)

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...) the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)