Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for (...) inquiry that we possess. I apply the account to shed light on two classes of norms that have featured prominently in recent discussions: norms of clutter avoidance forbidding agents from engaging in trivial inquiries, and norms of logical non-omniscience governing properties such as the deductive closure and consistency of an agent's belief state. I conclude with a discussion of the sense in which norms of inquiry should be regarded as epistemic norms. (shrink)

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, (...) Husserl termed as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (shrink)

Dewey’s book is the first systematic attempt at a pragmatistic logic (since the work of Peirce). Because of the ambiguity of the concept of pragmatism, the author rejects the concept in general. But, if one interprets pragmatism correctly, then this book is ‘through and through Pragmatistic’. What he understands as ‘correct’ will become clear in the following account. The book takes its subject matter far beyond the traditional works on logic. It is a material logic first in (...) the sense that the matter of logic (the ‘objects’, that with which logical thought has to do) is thoroughly included in the cycle of investigation, and logical ‘forms’ are discussed only in their constitutional connection with this .. (shrink)

There is a fundamental incompatibility between a developmental orientation to education and instrumental and scientistic conceptions of rationality that dominate educational inquiry. An expanded conception of rationality is provided in the critical theory of Jurgen Habermas. This study draws on Habermas' work to present a theory of inquiry that is consistent with a developmental perspective. I distinguish three interdependent realms of experience--the objective world of nature, the intersubjective world of society and the subjective world of each individual. Then, (...) I argue that current conceptions of rationality tend to reduce personal and interpersonal experience to the objective material realm. Under prevailing conceptions, human action is rational when it pursues valued ends guided by knowledge about the world and effective means-ends relationships. Both theories of knowledge and theories of value in these conceptions are inadequate for a developmental orientation. -/- First, knowledge is defined as justified true belief. Theories of truth are based on the correspondence of beliefs with an external world; theories of justification are based on perceptual certainty. These conceptions objectify experience by making experience an object of natural science and instrumental action separate from and external to the person. Such conceptions reduce experience to the objective material dimension and cannot adequately account for the personal and interpersonal dimensions of human experience and understanding. -/- Second, because value claims are not capable of justification by these standards, they are considered ultimately irrational and treated as subjectively held empirical properties of individuals. The only standard of rationality is efficiency and economy in the selection of means. Ethics is reduced to empirical science. But the removal of practical questions from public discourse divests action of ethical significance. With its strict separation of descriptive and normative domains, empirical-analytic inquiry can neither acknowledge its standard of instrumental efficiency nor reach into the practical arena to guide the selection of values and ends that orient and gude human action. Practical questions that cannot be framed in terms of technical problems cannot be taken seriously. -/- Whereas these conceptions of rationality are generally derived from theories of experienced based on individual consciousness, Habermas looks to language for a more adequate account of the intersubjective nature of experience. This account provides an expanded conception of rationality with theories for justifying beliefs and actions that incorporate the personal and interpersonal dimensions of experience so critical to a developmental perspective. Through an analysis of the universal pragmatic structure of language directed to the resolution of problematic truth claims and moral claims, this study presents a consensus theory of truth (for a more adequate theory of knowledge) and a communicative theory of ethics (based on a more adequate theory of human values). -/- The concept of truth refers to a universal pragmatic convention of the unforced agreement of an ideal community of inquirers. Ethical conduct is guided by norms that reflect a rational general will and that regulate genuine human needs. Problematic truth claims and moral claims are discursively justified by the force of the better argument under the conditions of an anticipated "ideal speech situation" inherent in the very structure of communication. Furthermore, a theory of inquiry is developed in which inquiry processes are represented as historically evolved extensions of developmental process in the three realms of experience. Three interrelated forms of inquiry are derived--empirical-analytic, hermeneutic and critical. I derive each from its respective experiential realm, and indicate the logic of inquiry, object domain, and kind of knowledge gained from each. -/- An exploration of the relationship between inquiry and development provides a foundation for a developmental orientation to education. Finally, the theory is contrasted with prevailing inquiry approaches in education and illustrated with an application to a particular educational problem. (shrink)

Through the reconstruction of Leibniz's theory of the degrees of knowledge, this e-book investigates and explores the intrinsic relationship of imagination with space and time. The inquiry into this relationship defines the logic of imagination that characterizes both human and non-human animals, albeit differently, making them two different species of imaginative animals. -/- Lucia Oliveri explains how the emergence of language in human animals goes hand in hand with the emergence of thought and a different form of rationality (...) constituted by logical inferences based on identity and contradiction, principles that are out of reach of the imagination. The e-book concludes that the presence of innate principles in human animals transforms the way in which they sense-perceive the world, thereby constantly increasing the distinction between human and non-human animals. -/- Keywords: human and non-human animals, Leibniz and Locke on ideas, Leibniz on bodies, Leibniz on conceivability, Leibniz on degrees of knowledge, Leibniz on degrees of perception, Leibniz on innate ideas, Leibniz on modality, Leibniz on similarity and congruence, Leibniz on space and time, Leibniz’s philosophy of language, theory of types. (shrink)

In the recent philosophical literature on inquiry, epistemologists point out that their subject has often begun at the point at which you already have your evidence and then focussed on identifying the beliefs for which that evidence provides justification. But we are not mere passive recipients of evidence. While some comes to us unbidden, we often actively collect it. This has long been recognised, but typically epistemologists have taken the norms that govern inquiry to be practical, not epistemic. (...) The recent literature challenges this assumption and uncovers a rich range of questions about the epistemic normativity of inquiry. In this paper, I approach these questions from the formal side of epistemology. Developing out of the philosophy of science, as it did, this branch of epistemology has long discussed inquiry. And, building on the insights of Janina Hosiasson (1931), David Blackwell (1951), and I. J. Good (1967), it has produced a reasonably well-developed framework in which to understand norms of inquiry, both epistemic and practical. In the first half of the paper, I will present the pragmatic versions of this framework due to Hosiasson, Blackwell, and Good, and the epistemic version due to Graham Oddie (1997); in the second half of the paper, I put this framework to work, turning to some of the questions from the recent debate about inquiry and asking how the framework can help us answer them. Questions include: When should we initiate an inquiry, when should we continue it, when should we conclude it, and when should we reopen it? How do epistemic norms of inquiry relate to epistemic norms of belief or credence, and can they conflict, as Jane Friedman (2020) contends? How should we resolve the apparent puzzle raised by Friedman's example of counting the windows in the Chrysler Building? How should we direct our attention, as Georgi Gardiner (2022) asks? How should we choose and reason after receiving evidence we'd rather not have received? And how should we understand the epistemic error that occurs when someone is resistant to evidence in the way Mona Simion (2023) describes? (shrink)

Departing from Anderson’s (2016) suggestion that there are three communities in Peirce’s thought corresponding to his three normative sciences of logic, ethics, and esthetics, I argue that these communities partake in a relationship of dependence similar to that found among the normative sciences. In this way, just as logic relies on ethics which relies on esthetics, so too would a logical community of inquirers rely on an ethical community of love, which would rely on an esthetic community of (...) artists. A community could conduct inquiry together only if it pursued the same goal; and it could pursue the same goal only if it first imaginatively construed it. Any logical or ethical community requires a shared imaginative repertoire of ideal ends. (shrink)

Imagine that you and a duplicate of yourself are lying unconscious, next to each other, about to undergo a complete step-by-step exchange of bits of your bodies. It certainly seems that at no stage in this exchange of bits will you have thereby switched places with your duplicate. Yet it also seems that the end-result, with all the bits exchanged, will be essentially that of the two of you having switched places. Where will you awaken? I claim that one and (...) the same person possesses both bodies, occupies both places and will experience both awakenings, just as a person whose brain has been bisected must at once experience both of the unconnected fields of awareness, even though each of these will falsely appear to him as the entirety of his experience. I also claim that the more usual apparent boundaries of persons are as illusory as those in brain bisection; personal identity remains unchanged through any variation or multiplication of body or mind. In all conscious life there is only one person - I - whose existence depends merely on the presence of a quality that is inherent in all experience - its quality of being mine, the simple immediacy of it for whatever is having experience. One powerful argument for this is statistical: on the ordinary view of personhood it is an incredible coincidence for you (though not for others) that out of 200,000,000 sperm cells the very one required on each occasion for your future existence was first to the egg in each of the begettings of yourself and all your ancestors. The only view that does not make your existence incredible, and that is not therefore (from your perspective) an incredible view, is that any conscious being would necessarily have been you anyway. It is a consequence that self-interest should extend to all conscious organisms. (shrink)

Kate Manne’s Down Girl: The Logic of Misogyny combines traditional conceptual analysis and feminist conceptual engineering with critical exploration of cases drawn from popular culture and current events in order to produce an ameliorative account of misogyny, i.e., one that will help address the problems of misogyny in the actual world. A feminist account of misogyny that is both intersectional and ameliorative must provide theoretical tools for recognizing misogyny in its many-dimensional forms, as it interacts and overlaps with other (...) oppressions. While Manne thinks subtly about many of the material conditions that create misogyny as a set of normative social practices, she does not fully extend this care to the other intersectional forms of oppression she discusses. After touching on the book’s strengths, I track variations of its main problem, namely, its failure to fully conceive of oppressions besides sexism and misogyny as systemic patterns of social practices, as inherently structural rather than mere collections of individual beliefs and behaviors. (shrink)

A central theme of Cheryl Misak’s important new history is that there are two markedly different strands of the pragmatist tradition. One pragmatism traces back to Peirce, she thinks, and it takes seriously the ideals of logical precision, truth, and objectivity. This tradition had its insights carried through later analytic philosophy by figures like C. I. Lewis, Quine, and Davidson, among others. The second pragmatism has its roots in James’s (allegedly) more subjectivistic outlook and after Dewey’s death was revived by (...) Goodman, Rorty, and other so-called “neo-pragmatists.”Misak recommends the Peircean strain because it is “committed to doing justice to the objective dimension of human inquiry” (Misak 2013: 3)... (shrink)

In True enough,, Elgin argues against veritism, which is the view that truth is the paramount epistemic objective. Elgin’s argument against veritism proceeds from considering the role that models, idealizations, and thought experiments play in science to the conclusion that veritism is unacceptable. In this commentary, I argue that Elgin’s argument fails as an argument against veritism. I sketch a refutation by logical analogy of Elgin’s argument. Just as one can aim at gold medals and still find approximations to gold, (...) such as silver and bronze medals, to be acceptable and honest achievements in competitive sports, one can aim at full truths as the paramount epistemic objective and still find approximations to truth, such as models and idealizations, to be acceptable and honest achievements in scientific inquiry. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization (...) of the essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

More than four years ago, Anders Breivik launched his apocalyptic raid in Norway. His killing raid was not an action standing on its own but a statement to invite people to read his manifesto called 2083. A European Declaration of Independence. The highly despicable and disgusting mission of Anders Breivik addresses us whether we like it or not. Maybe there are good reasons to read and analyze Breivik’s ‘oration?’ He confronts us with many questions we cannot simply run away from: (...) What about the Islamization? How could this happen in secular Norway? What about the role of religion in European societies? In this article, I will argue that Breivik’s plea can only happen from within a secular society in which the homogeneity already has been lost, which allows him to deal with religion and politics on a very specific basis. In no way whatsoever, the context of our secular society forced Breivik to do what he did. However Breivik could only construct his actions and ideas within the (Christian) democratic context he lives in. I will analyze this with the writings of Hannah Arendt on political theology and the complex relationship between politics and religion and a late secular society. (shrink)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to (...) identify a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

In this article I present some characteristics of logics and semantics of an uncertain world. I confront two-valued and fuzzy logic. I use Kafka’s novel Process as an example, which is designed as an uncertain context with words which are rigid designators without rigid meaning. That produces an uncertain world of logical and semantical relations. In presentation of problems I introduce basic concepts of Frege’s, Wittgenstein’s, Tarsky’s, Searle’s, Quine’s and Davidson’s philosophy of language. I differ the logical and semantical (...) identification of identity. I differ reference and inference, or representation and identification as two components which are fundamental for the identification of identity. I found this difference on the role of logical unification and granulation of predicates in the structure of thought and semantical unification and granulation of attributes in the structure of statements and their relation to ontology of context. Through the confrontation of the logical and semantical unification and granulation I find that the limits of logic are not also the limits of language. The semantical unification goes over the highest genre and below the lowest species. That enables the extra-logical, non-scientifical, con-fessional, pro-phetical, artistic, and ordinary use of language. (shrink)

At least since Socrates, philosophy has been understood as the desire for acquiring a special kind of knowledge, namely wisdom, a kind of knowledge that human beings ordinarily do not possess. According to ancient thinkers this desire may result from a variety of causes: wonder or astonishment, the bothersome or even painful realization that one lacks wisdom, or encountering certain hard perplexities or aporiai. As a result of this basic understanding of philosophy, Greek thinkers tended to regard philosophy as an (...) activity of inquiry (zētēsis) rather than as a specific discipline. Discussions concerning the right manner of engaging in philosophical inquiry – what methodoi or routes of inquiry were best suited to lead one to wisdom – became an integral part of ancient philosophy, as did the question how such manners or modes of inquiry are related to, and differ from, other types of inquiry, for instance medical or mathematical. In this special issue of History of Philosophy & Logical Analysis, we wish to concentrate in particular on ancient modes of inquiry. (shrink)

Carl Schmitt’s critical insights into ‘economic-technical thinking’ and the dominant role that a ‘magical technicity’ is said to assume in the social horizon of his times offers an opportunity to reframe contemporary debates on political and economic theology, exposing a theological core behind technocratic administration. Starting from this premise, the article engages with recent inquiries into so-called ‘debt economy’, assessing the affective function that ‘deferment’ and ‘confession’ perform as dominant operators in the social imaginary of neoliberal governance.

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might prohibit having certain inquiring attitudes (“norms of restriction”), while ignoring those that might require having them (“norms of expansion”). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields—some sympathetically, others unsympathetically. (shrink)

Six hundred three people completed a survey measuring perceptions of traditional areas of philosophical inquiry and their relationship to empirical science. The ten areas studied were: aesthetics, epistemology, ethics, history of philosophy, logic, metaphysics, philosophy of language, philosophy of mind, philosophy of science, and political philosophy. For each area, participants rated whether it is currently central to philosophy, whether its centrality depends on integration with science, and whether work in the area is sufficiently integrated with science. Centrality judgments (...) tended to be high. Participants viewed nine of the ten areas as central to philosophy, although they made this judgment more confidently for some areas. Dependence judgments were more varied, ranging from clear disagreement to clear agreement. Integration judgments were also varied but exhibited more uncertainty. Some areas whose centrality depended on integration were judged to be well integrated, but a central tendency for all other areas was ambivalence. Demographic factors had small but statistically significant effects on all three sorts of judgment. Higher age predicted higher centrality judgments and higher integration judgments. Higher socioeconomic status predicted lower dependence judgments and higher integration judgments. Men recorded higher integration judgments. (shrink)

Those who have considered the connection between Dewey’s theory of inquiry and Greek thought have mostly situated their remarks within larger points, regarding either teaching and learning (Garrison, 1997; Johnston, 2006b; Cahn, 2007) or aesthetics and craft (Alexander, 1987; Hickman, 1990). The fact that this area remains somewhat underexplored could be chalked up to several factors: 1) Dewey was often quite critical of the classical tradition, particularly when it came to theories of knowledge, 2) Dewey was not a trained (...) classicist, with little working knowledge of ancient Greek, and was self-admittedly not a historian of philosophy, and 3) whenever Dewey did turn positive attention toward ancient thought, he tended to speak in generalities, referring most often to “the Greeks” rather than any particular Greek thinker. In spite of this, there remain many compelling reasons to place Dewey’s views on inquiry in meaningful dialogue with the classical tradition. I will suggest that the most compelling of all is the link between Dewey’s view of inquiry and his particular brand of naturalism, which found its fullest expression late in his career. This is an underappreciated connection in Dewey’s work on inquiry, either taking a backseat to the instrumental, experimental themes in his thought or misinterpreted as a form of positivism/scientism. Once acknowledged, however, this connection could help bring Dewey’s normative, socio-political writings in line with his theories on ontology, logic, and the acquisition of knowledge. (shrink)

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might *prohibit* having certain inquiring attitudes (``norms of restriction''), while ignoring those that might *require* having them (``norms of expansion''). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields - some sympathetically, others unsympathetically. (shrink)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, “r”, (...) “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (shrink)

The clamour for scientific reasoning in philosophy is born out of a belief that scientific reasoning is infallible and universal. This paper argues that while scientific reasoning is infallible, it is so only with regard to the objects of knowledge in science. And because objects of knowledge are not the same across disciplines, claims that scientific reasoning is universal in its application are patently misplaced. -/- The belief in the universality of scientific reasoning has its genesis in what may be (...) called the ‘same genre argument’. If all objects of knowledge have a common essential and characteristic quality they can be put in a common basket and so belong to a common set. So far so good. The problem with this thesis arises when it is assumed that all objects of knowledge there can be (in this universe and beyond, if there is a beyond) are elements of that common universal set. If they are, they share an essential quality with and so belong to the same genre as material objects in our material universe. This essential quality is the material nature (mass and/or energy) of all matter in the phenomenal world, a quality that gives matter (a) objective reality and (b) makes it a percept. Scientific method is geared to studying percepts through a percept-perceiver one-to-one relationship. -/- If all objects of knowledge, however, are not material objects, they will neither be percepts nor show up as objective realities to perceiver/scientific observers and on their scientific tools. There are such objects. What was mere speculation once can be scientifically proven today. Only, the approach to the proof must be different. -/- There is a category of objects that are not material in nature; but they are objects of knowledge. These are called wholes. Examples of wholes are (i) God of Abrahamic religions; (ii) the Self/Brahman of the Upanishads; (iii) the universe in entirety. Every whole is characterized by dimensions. Dimensions are not objective realities because they are not material objects. Because they are not objective realities they are not objectively verifiable. Hence they will always elude science and scientific reasoning. That does not mean that they don’t exist. The universe is a whole. Its dimensions are space and time. Neither is objectively real; yet both are realities. -/- The paper concludes by considering the dynamics of logical progression from premise (axiom) to theorem. If the premise is wrong there can be no knowledge, no matter how powerful the logical apparatus that is used. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books (...) of the Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire (...) for rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (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)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being (...) closed under logical consequence. I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

In this inaugural lecture I offer, against the background of a discussion of knowledge representation and its tools, an overview of my research in the philosophy of science. I defend a relational model-theoretic realism as being the appropriate meta-stance most congruent with the model-theoretic view of science as a form of human engagement with the world. Making use of logics with preferential semantics within a model-theoretic paradigm, I give an account of science as process and product. I demonstrate the power (...) of the full-blown employment of this paradigm in the philosophy of science by discussing the main applications of model-theoretic realism to traditional problems in the philosophy of science. I discuss my views of the nature of logic and of its role in the philosophy of science today. I also specifically offer a brief discussion on the future of cognitive philosophy in South Africa. My conclusion is a general look at the nature of philosophical inquiry and its significance for philosophers today. South African Journal of Philosophy Vol. 25 (4) 2006: pp. 275-289. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

Although the first thing coming to mind when called Alghazali is theologian celebrated for criticism of philosophy, we only will not mention his critical thinking. It can be thought that this famous thinker of Islamic world has purely attempted to criticism of metaphysics but in our opinion this is not exactly true. With reference to traditional commentaries on Alghazali is not quite well, we desire to try in order to show a reliable approach. In this paper we will argue whether (...) or not the coherence of some commentaries on Alghazali such as destruction philosophy, inhibition to the intellectual development, prohibition to scientific and ideational advancement and so on. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the (...) class='Hi'>logic of relatives. The term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

This essay reviews the recently released Handbook of Philosophy of Management, using it as a jumping off point to explore some potential confusions in contemporary philosophy of management. The handbook itself, comprising 58 articles and some 1,000 pages, is a milestone for the field. At the same time, it brings a few problems into sharp relief. I argue for more clarity about the distinction between the philosophy of management and the philosophy of management research. I make the case that (...) class='Hi'>logic as a de facto method for conducting inquiry may or may not be useful, while logic as a de jure standard for evaluating its conclusions is indispensable. I develop the view that neither management nor management studies is properly considered a science, or even an applied science. I contend that the seminal contributions of Alasdair MacIntyre are unjustly neglected by the field. And I advance the thesis that perhaps the leading issue for the philosophy of management today is the question of the purpose of management, pointing in some suggested directions for answering the question. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than (...) classical logic. In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

In this article, I draw an important distinction between two kinds of inquiry. “Framed inquiries” take for granted and use a conceptual framework in order to ask and answer questions, while “framing inquiries” require the creation, revision, or expansion of the conceptual framework itself in order to address the problem at hand. This distinction has been largely ignored in epistemology, and collapsed by two radically opposed philosophical camps: representationalism and antirepresentationalism. While the former takes all inquiries to be in (...) the business of discovering mind-independent facts, the latter takes all inquiries to be primarily governed by pragmatic considerations. Against the objections raised by both camps, I defend a pragmatist and substantive distinction between framed and framing inquiry, inspired by Rudolf Carnap’s distinction between internal and external questions and reformulated in terms of John Dewey’s theory of inquiry. (shrink)

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all (...) variants of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The (...) result is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...) formal-semantical) nature. In contrast, for Mill such a question is as valid as any other. These differing views have their consequences for contemporary erotetic logic. (shrink)

Critical in the computationalist account of the mind is the phenomenon called computational or computer simulation of human thinking, which is used to establish the theses that human thinking is a computational process and that computing machines are thinking systems. Accordingly, if human thinking can be simulated computationally then human thinking is a computational process; and if human thinking is a computational process then its computational simulation is itself a thinking process. This paper shows that the said phenomenon—the computational simulation (...) of human thinking—is ill-conceived, and that, as a consequence, the theses that it intends to establish are problematic. It is argued that what is simulated computationally is not human thinking as such but merely its behavioral manifestations; and that a computational simulation of these behavioral manifestations does not necessarily establish that human thinking is computational, as it is logically possible for a non-computational system to exhibit behaviors that lend themselves to a computational simulation. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over (...) other methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the (...) light of modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

You ask if metaphysics is possible after modernity, or after Barth and Wittgenstein and Derrida and the critique of foundationalism? May I invite you, by way of response, to listen in on a conversation? It is a dialogue between what I will call a postcritical philosopher ("P") and a postcritical scriptural theologian —— I'll label the latter a "textualist" ("T"). What I mean by "postcritical" would be displayed as the pattern of inquiry traced by this dialogue. I take the (...) term "postcritical" from George Lindbeck, whose theological work is described by his commentators as more properly "textualist" rather than "philosophic." I believe my usage is, however, true to Lindbeck's discourse. This means that one of the arguments of this essay is that there is a mode of philosophic inquiry proper to the postcritical orientation in theology that we may associate with such Christian theologians as Hans Frei, etc., as well as Lindbeck. A second argument, offered indirectly, is that there is a family of Jewish thinkers whose work may also be labeled "postcritical" on the model of these Christian thinkers, and that this Jewish postcritical theology would also be displayed in dialogues between philosophic and textualist tendencies. A third argument is that, if we listen in on the philosophic side of any of these dialogues, we will hear a postcritical philosophy. By philosophy, I mean primarily logic, defined as an inquiry that examines problematic rules of reasoning and recommends testable ways of correcting them. Secondarily, philosophy includes metaphysics, defined as an inquiry that, for the sake of assuring people about the reliability of a given logic, constructs pictures of the world whose existence would warrant this logic. We need not assume either that logic and metaphysics can be conducted only in the manner of modern and scholastic foundationalism, or that non-foundationalist theology must be "textualist" in a manner that excludes any philosophic generalization. I will argue that there are, indeed, non-foundationalist ways of conceiving of both logical and metaphysical inquiry and that these ways contribute to the dialogic activity of postcritical inquiry. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered several other (...) triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional (...) connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and (...) control the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of any (...) sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

This paper explores the nature of God within the context of divine omnipotence and the philosophical implications of conscious existence. It critically examines the classical paradox of omnipotence, specifically the question of whether God can create a rock so heavy that He cannot lift it. The argument posits that such inquiries are limited by human understanding of power, time, and existence, suggesting that God’s nature transcends these constraints. Rather than being bound to human logical frameworks, God’s power is understood as (...) the ability to set in motion the laws and structures of reality, making such paradoxes irrelevant within the divine context. Furthermore, the paper links the concepts of consciousness, will, and divine interaction with the world, proposing that consciousness itself could be seen as the core of divine creativity and interaction. The role of prayer and divine communication is examined as an act that alters perception, time, and reality, aligning human consciousness with divine will. Ultimately, this paper seeks to reconceptualize omnipotence not as a matter of logical feats, but as the creation and governance of the underlying structure of existence, where the divine essence pervades all facets of reality and consciousness. (shrink)

How good a theory is depends on how well it meets the goals of its inquiry. Thus, for example, theories in the natural sciences are better if in addition to stating truths, they also impart a kind of understanding. Recent proposals—such as Jc Beall’s Contradictory Christology—to set Christian theology within non-classical logic should be judged in a like manner: according to how well they meet the goals of Christology. This paper examines some of the effects of changing the (...) logic of Christology on meeting the proposed goals of that inquiry. The paraconsistent logic Beall favors has (FDE) features that inhibit increasing our understanding of the Incarnation. Of course, there is good reason to think understanding is not the goal of Christological inquiry, that its goals are (for lack of a better word) devotional. But FDE’s features don’t foster these goals either—raising questions about how much of a theological advance proposals like Beall’s could be. -/- [NOTE: The published version has some formatting errors, specifically with respect to block quotes. Please cite the published version, but if you are confused, consult the correctly formatted version on PhilArchive] -/- . (shrink)

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and (...) Klein bottle logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic systems, aiming to redefine approaches to understanding truth and reasoning. The paper investigates how these alternative logics open avenues for philosophical inquiry, redefining entropy, and potentially influencing innovative perspectives in free energy systems. Through this exploration, it seeks to expand the discourse on logic, welcoming a broader spectrum of thought beyond established frameworks; and we also discuss shortly a number of possible implementations including in risk management and also Klein bottle entropy redefinition (Tang et al, 2018). (shrink)