Science, Logic, and Mathematics

Un domeniu, practică, sau set de cunoştinţe, ar putea în mod rezonabil să fie numit pseudoştiinţă atunci când este prezentat ca fiind în conformitate cu normele de cercetare ştiinţifică, dar din punctul de vedere al demonstraţiei nu respectă aceste norme. Karl Popper a declarat că nu este suficient să se facă distincţia între ştiinţă şi pseudoştiinţă, sau metafizică, prin criteriul de aderare riguroasă la metoda empirică, care este în esenţă inductivă, bazată pe observare sau experimentare. El a propus o metodă (...) de a distinge între metode empirice autentic, nonempirice sau chiar pseudoempirice. (shrink)

The performance of reflectivity of self-consciousness is traditionally associated to the subject turning its consciousness of objects to its own entity. But such process introduces concerns of circularity and of infinite regress. To avoid them philosophers have postulated a “pre-reflective self-consciousness” understood as a “state of consciousness that is immediately aware of itself, unmediated by reflections”. We propose here that an evolutionary scenario for self-consciousness can introduce reflectivity as a natural performance, bringing pre-reflective self-consciousness to be reconsidered. The evolutionary scenario (...) starts when our ancestors were capable to manage representations while also being able to partly identify with their conspecifics represented as existing in the environment. These identifications have allowed our ancestors to merge the representations they had of parts of themselves with the corresponding representations they had of their conspecifics. These mergers have progressively led our ancestors to begin representing themselves as entities existing in the environment, like conspecifics were represented. Such process has produced an elementary reflectivity and has provided our ancestors with an "ancestral self-consciousness". And thinking about the represented entity has led our ancestors to self-consciousness as object and as subject. Reflectivity can then be considered as a natural performance of self-consciousness. And postulating a pre-reflective self-consciousness may need to be re-addressed. (shrink)

Fake news is a topic that we all know well, and that continues to play a prominent role in the social harms besieging the globe today. From the recent storming of the Capitol Hill in the United States to the siege of Red fort over Farm-laws in India, online disinformation via social media platforms was the main driving force catapulting the protestors far and wide. In the backdrop of such social harms, this Research Article examines the epistemic, legal and regulatory (...) discourse surrounding the disinformation bubble in India and asks for the deployment of ‘Lessing’s Decentred Regulatory Model’ — the potential Framework solution to regulate social media platforms in order to curb the menace of ‘fake news’. (shrink)

According to the practice-focused approach to moral agency, a participant stance towards an entity is warranted by the extent to which this entity qualifies as an apt target of ascriptions of moral responsibility, such as blame. Entities who are not eligible for such reactions are exempted from moral responsibility practices, and thus denied moral agency. I claim that many typically exempted cases may qualify as moral agents by being eligible for a distinct participant stance. When we participate in moral responsibility (...) practices, we are not only participating as potential targets of moral reactions, but also as sources of such address, i.e. as moral addressors. By consequence, there are entities towards which we seem to have reason to adopt an addressor participant stance, regardless of their eligibility as moral addressees. This expanded theoretical room for moral agency may also be of normative import. (shrink)

This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

We present a memorial summary of the professional life and contributions to logic of John Corcoran. We also provide a full list of his many publications.Courtesy of Lynn Corcoran.

I will present a comparative analysis between Thomas Kuhn's The Copernican Revolution published in 1957 and The Structure of Scientific Revolutions published in 1962, ir order to identify divergences in the views contained in each work. I shall set forth a comparative analysis of the historiographical assumptions employed by Kuhn in each of his books. I will explore some proposals which have pointed out several discontinuities between both books, as I introduce some tools to widen this interpretative trend. I will (...) argue that although Kuhn’s work in 1957 contains some concerns and problems which anticipate his later stances, these anticipations coexist with historiographical formulations and premises which are incompatible with the core of SSR. Therefore, I will assert that Kuhn adopts different historiographical frameworks in CR and in SSR. Finally, I will conclude that these differences are expressions of Kuhn's adoption of a more externalist view in the former, and a more internalist frame in the latter. (shrink)

Contemporary philosophers of mathematics are deadlocked between two alternative ontologies for numbers: Platonism and nominalism. According to contemporary mathematical Platonism, numbers are real abstract objects, i.e. particulars which are nonetheless “wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal.” While this view does justice to intuitions about numbers and mathematical semantics, it leaves unclear how we could ever learn anything by mathematical inquiry. Mathematical nominalism, by contrast, holds that numbers do not exist extra-mentally, which raises difficulties about how mathematical statements could be (...) true or false. Both theories, moreover, leave inexplicable how mathematics could have such a close relationship with natural science, since neither abstract nor mental objects can influence concrete physical objects. -/- The Thomist understanding of quantity as an accident inhering in concrete substances breaks this deadlock by granting numbers a foundation in extra-mental reality which explains why numeric expressions are relevant in natural science and how we come to know the truth or falsity of mathematical statements. Further, this kind of moderate realism captures the semantic advantages of the Platonists and the ontological parsimony of the nominalists (since for Thomists quantity is not a separate, free-standing ontological addition). Despite these advantages, the Thomistic understanding of number has been out of favor since the work of Cantor, who argued that actual infinities (regarded by Aristotelians as impossible) are required for modern developments in mathematics. This paper frees philosophers of mathematics to embrace the advantages of Thomistic realism by showing that Cantor’s understanding of actual and potential infinity is not the same as Aquinas’s, and that potential infinities (in Aquinas and Aristotle’s sense) can do all the work Cantor claims for actual infinities in modern mathematics. (shrink)

A critical survey of how the value of meaning in life has figured, and plausibly could figure, into philosophical reflection on the ends of, means of, and constraints on medical practice.

Under which conditions are social relationships hierarchical, and under which conditions are they not? This article has three main aims. First, I will explain what this question amounts to by providing a more detailed description of the general phenomenon of social hierarchy. Second, I will provide an account of what social hierarchy is. Third, I will provide some considerations in favour of this account by discussing how it improves upon three alternative ways of thinking about social hierarchy that are sometimes (...) explicitly endorsed and sometimes suggested or presupposed in writings in philosophy and elsewhere. (shrink)

De Re Significance accounts of moral appraisal consider an agent’s responsiveness to a particular kind of reason, normative moral reasons de re, to be of central significance for moral appraisal. Here, I argue that such accounts find it difficult to accommodate some neuroatypical agents. I offer an alternative account of how an agent’s responsiveness to normative moral reasons affects moral appraisal – the Reasonable Expectations Account. According to this account, what is significant for appraisal is not the content of the (...) reasons an agent is responsive to (de re or de dicto), but rather whether she is responsive to the reasons it is reasonable to expect her to be responsive to, irrespective of their content. I argue that this account does a better job of dealing with neuroatypical agents, while agreeing with the De Re Significance accounts on more ordinary cases. (shrink)

The epistemological chasm between how we perceive or imagine the actual world and how we think of its underlying entities has motivated perhaps the most disconcerting impasse in human thought: the explanatory gap between the phenomenal and physical properties of the world. Here, I advocate a combination of philosophical skepticism and simplicity as an informed approach to arbitrate among theories of consciousness. I argue that the explanatory gap is rightly a gap in our understanding, but one that is not surprising; (...) and we being observers biased by our first-person perspective and our existence may both hinder and assist our reasoning. Further, I unfold the concept of observer into two distinct notions based on its functional and phenomenal aspects, and exploit this device to elucidate the subject-observer relationship. Then, I proceed to analyze the philosophical zombie dilemma. Lastly, I contend that from a skeptical viewpoint, panpsychism is the most parsimonious doctrine accounting for the explanatory gap, and suggest that it would be possible to make headway in the hard problem of consciousness by uncovering non-trivial causal relationships between qualia states and functional states, if routine and controlled manipulation of neural circuits were easily available. (shrink)

Розглянуто питання формування системи управління соціальною відповідаль-ністю закладу охорони здоров’я. Класифіковано теоретичні підходи до визначення поняття «соціальна відповідальність». Наведено фактори, які заважають або сприяють введенню системи соціальної відповідальності у закладах охорони здоров’я на поточному етапі медичної реформи в Україні. Виокремлені складові, критерії та коефіцієнти ефективності соціальної відповідальності закладу охорони здоров’я. Запропоновано схему механізму управління соціальною відповідальністю закладу охорони здоров’я. Виділені можливі напрямки впровадження програм соціальної відповідальності та очікувані результати. -/- Authors research questions of formation of the management system of social (...) responsibility of health care institution. The theoretical approaches to definition of social responsibility are classified, it is given factors that hinder or facilitate the implementation of social responsibility in health care institutions on current stage of medical reform in Ukraine. Constituents, criteria, and effectiveness coefficients of social responsibility of health care institutions are outlined. It is offered the scheme of management system mechanism of social responsibility of health care institutions. Possible ways of application of social responsibility programs are featured and expected results after implementation. (shrink)

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

Why are we so many? Or, in other words, Why is our species so successful? The ultimate cause of our success as species is that we, Homo sapiens, are the first and the only Turing complete species. Turing completeness is the capacity of some hardware to compute by software whatever hardware can compute. -/- To reach the answer, I propose to see evolution and computing from the problem solving point of view. Then, solving more problems is evolutionarily better, computing is (...) for solving problems, and software is much cheaper than hardware, resulting that Turing completeness is evolutionarily disruptive. This conclusion, together with the fact that we are the only Turing complete species, is the reason that explains why we are so many. -/- Most of our unique cognitive characteristics as humans can be derived from being Turing complete, as for example our complete language and our problem solving creativity. (shrink)

For Putnam in "Representation and Reality", there cannot be any intentional science, thus dooming cognitive science. His argument is that intentional concepts are functional, and that functionalism cannot explain anything because "everything has every functional organization", providing a proof. Analyzing his proof, we find that Putnam is assuming an ideal interpreting subject who can compute effortlessly and who is not intentional. But the subject doing science is a human being, and we are not that way. Therefore, in order to save (...) cognitive science, we propose to replace the ideal subject with a real and intentional human subject, and we propose to model intentionality by using a problem theory which is an intuitionist set theory where the resolving subject is a computing device. We are intentional because we are living beings, where life is the intention of not to die, so we are embodied intentions designed by evolution. We are real and then we have to compute our resolutions to the survival problem, and fortuitously we are computationally Turing complete, so our language is complete and then full and self referable. In summary, evolutionary subjectivism modeled as problem solving by computing should save cognitive science. Or, in other words, we are proposing to update Kant with Darwin and Turing. (shrink)

Alan Turing, one of the fathers of computing, warned that Artificial Intelligence (AI) could one day pose an existential risk to humanity. Today, recent advancements in the field AI have been accompanied by a renewed set of existential warnings. But what exactly constitutes an existential risk? And how exactly does AI pose such a threat? In this chapter we aim to answer these questions. In particular, we will critically explore three commonly cited reasons for thinking that AI poses an existential (...) threat to humanity: the control problem, the possibility of global disruption from an AI race dynamic, and the weaponization of AI. (shrink)

Research on public value is inevitable interdisciplinary in its nature due to its aim and purpose. Both philosophical and empirical approaches are necessary to conduct such research in a successful manner. In the present paper, I intend to discuss the importance of empirical approaches in research on public values, particularly psychological and neuroscientific approaches with concrete examples. I proposed that such empirical approaches are essential in better understanding the processes and mechanisms associated with how people address issues engaging in public (...) value in the modern society. Also, I overviewed how the psychological and neuroscientific approaches contribute to practical aspects related to public value, such as policy making and education. Based on the aforementioned points, I briefly discussed directions for future research in research on public value as an interdisciplinary field. (shrink)

Philosophy of the Social Sciences, Ahead of Print.

Current research in human–robot interaction often focuses on rendering communication between humans and robots more ‘natural’ by designing machines that appear and behave humanlike. Communication, in this human-centric approach, is often understood as a process of successfully transmitting information in the form of predefined messages and gestures. This article introduces an alternative arts-led, movement-centric approach, which embraces the differences of machinelike robotic artefacts and, instead, investigates how meaning is dynamically enacted in the encounter of humans and machines. Our design approach (...) revolves around a novel embodied mapping methodology, which serves to bridge between human–machine asymmetries and socioculturally situate abstract robotic artefacts. Building on concepts from performativity, material agency, enactive sense-making and kinaesthetic empathy, our Machine Movement Lab project opens up a performative-relational model of human–machine communication, where meaning is generated through relational dynamics in the interaction itself. (shrink)

I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetri...

It is possible today to determine, with some precision (according to the most recent studies in neuroscience and evolutionary psychology), the areas of the brain and the neural networks involved when an individual contemplates art, when feeling pleasure, or when judging about aesthetic experience. However, many questions remain open. First, the philosophical question about the subjective nature of this kind of judgments. Then, what happens in the mind (or should it be said, in the brain?) of the beholder when contemplating (...) art or judging in favor (or not) of the beauty of an object. And the ultimate question, if we have an aesthetic brain. Another issue that must be addressed is if bioart and especially neuroart can contribute to this analysis and if they can be effectively quantified as art. Thus, this brief essay seeks to provide some understanding about this questions but most importantly about the existence of an aesthetic brain, which may ultimately contribute to open doors to other problems of philosophy such as the hard brain-mind problem. (shrink)

Niklas Luhmann’s theory of evolution is focused on the internal complexity of a system which brings a lot of varieties of possibilities into play, although it is capable of avoiding the idea of an external causation with the consequence of adaptation to innovation. Such an assumption would not be compatible with the construction of the autopoiesis of systems. Upon the basis of this idea, disruptive processes of societal transformation are also supposed to be unable to impede the construction and preservation (...) of useful complexity. The article develops the argument that the distinction of a centre and a periphery of the legal system is no longer plausible if the transformation of legal practices is taken into consideration. The increasing importance of the periphery compels us to observe the impact of practices on evolutionary processes which have not always already been anticipated by the system. (shrink)

Physicalism is the default position in science and in the philosophy of mind, but it should not be, I argue, because of two errors. By its epistemological error, physicalism tries to explain theoretically what is evident. Only what I experience in first person is certain, so pain does not need a theoretical explanation. Physics itself is based on first person perception, avoiding the epistemological error, and then physics can progress, even changing its own ontology. However, physicalism imposes the ontology of (...) physics on every science, and in physics everything is causal. By its ontological error, physicalism tries to explain causally what is intentional. And it happens that causality and intentionality are mutually exclusive, showing that the ontology of physics is insufficient wherever intentions are present. This ontological insufficiency prevents that physicalism can repeat the success of physics with any science where intentions play a rôle, and thus it is blocking the advance of both the social sciences and the philosophy of mind. To overcome this obstacle, I propose to go back to the essentials: we should consider again the transcendental problem raised by Descartes and its solutions by Hume and Kant. On top of this subjectivist solution, we should take advantage of Darwin and Turing, and we should extend our ontology beyond causality to include intentionality, and here my proposal is problem solving. Then you could join our Post-Kantian subjectivism and say with me: The world is not a huge machine, as physicalism proposes, but an enigmatic problem. (shrink)

Belief Revision addresses the problem of rationally incorporating pieces of new information into an agent’s belief state. In the AGM paradigm, the most used framework in Belief Revision, primacy is given to the new information, which is fully incorporated into the agent’s belief state. However, in real situations, one may want to reject the new information or only accept a part of it. A constructive model called Selective Revision was proposed to meet this need but, as in the AGM framework, (...) focused on belief sets. In this paper we adapt the selective revision operators, that were proposed for belief sets, to the belief base context, obtaining a model in which an agent’s epistemic state is represented by a belief base and that allows the acceptance of only part of the new information. We present several representation theorems for selective base revision operators based on different base revision operators. (shrink)

The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a (...) logical constant but it doesn’t seem harmonious: standardly, the introduction rule only concerns a subset of the formulas canvassed by the elimination rule. In response, Read [5, 8] and Klev [3] amend the standard approach. We argue that both attempts fail, in part because of a misconception regarding inferentialism and identity that we aim to identify and clear up. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

In his Lectures on the History of Philosophy, Hegel develops a subtle analysis of Megarian paradoxes: the Liar, the Veiled Man and the Sorites. In this paper, we focus on Hegel's interpretation of...

I find much to like in Craig Callender's (2021) arguments for the rational permissibility of non-exponential time discounting when these arguments are viewed in a conditional form: viz., if one thinks that time discounting is rationally permissible, as the social scientist does, then one should think that non-exponential time discounting is too. However, time neutralists believe that time discounting is rationally impermissible, and thus they take zero time discounting to be the normative standard. The time neutralist rejects time discounting because (...) they think it is rationally impermissible to prefer to live a worse life in expectation because of arbitrariness. Callender’s attack on the time-neutralist position is the following: the time neutralist relies on a non-arbitrariness argument that assumes the existence of nonexistent 'pure' time preferences. In response, I aim to clarify the time-neutralist position and show that the non-arbitrariness argument does not rely on the existence of pure time preferences. Instead, the debate between time neutralism and permissivism about time discounting boils down to a methodological question: can we ever criticize the content of preferences? If so, we should embrace time neutralism. (shrink)

This is a contribution to Paavo Pylkkänen's Festschrift. I discuss his relationship to Bohm's philosophy and a sense of holism that can be extracted from the Bohmian view.

Synthetic foods advocates offer the promise of efficient, reliable, and sustainable food production. Engineered organisms become factories to produce food. Proponents claim that through this technique important barriers can be eliminated which would facilitate the production of traditional foods outside their climatic range. This technique would allow reducing food miles, secure future supply, and maintain quality and taste expectations. In this paper, we examine coffee production via biobased means. A startup called Atomo Coffee aims to produce synthetic coffee with the (...) aim of saving ‘the taste of coffee’ from the effects of climate change. This decontextualisation of coffee production ignores the current and historical contributions of coffee farmers in two ways: the traditional varieties in taste of coffee and their cultural significance, and the potential shade-grown coffee plantations have in capturing carbon. In addition, synthetic coffee may lead to the loss of agricultural biodiversity and the removal of resources away from production systems that provide a safe space for tropical flora and fauna. How should the ‘taste of coffee’ be owned? We investigate the property regimes under which we could consider owning the taste of coffee as a ‘synthetic’ agrobiodiversity to help identify rights and responsibilities. Building on this analysis, we consider dimensions of responsible innovation and social justice to help guide synthetic foods as an agricultural innovation. (shrink)

We are already past the point where climate change mitigation alone does not suffice and major efforts need to be undertaken to adapt agriculture to climate change. As this situation was both foreseeable and avoidable, it is urgent to see that particularly people who have historically contributed the least to climate change do not end up assuming most of the costs. Climate change will have the worst effects on agriculture in the tropical region in the form of droughts, extreme heat (...) waves and massive storms. The historical unequal contributions to climate change and its unjustly distributed consequences morally oblige us to distribute global adaptation costs fairly. Yet to have a full understanding of the social implications of adapting to climate change we need to look beyond making adaptation technologies accessible and available. Using a social justice framework, I defend fair prices of adaptation technologies as a demand of justice in exchange, an allocation of research attention proportional to urgent global needs as distributive justice, inclusive technology development and governance as contributive justice and addressing the interests of future generations as intergenerational justice. (shrink)

Biomarkers are widely used not only as prognostic or diagnostic indicators, or as surrogate markers of disease in clinical trials, but also to formulate theories of pathogenesis. We identify two problems in the use of biomarkers in mechanistic studies. The first problem arises in the case of multifactorial diseases, where different combinations of multiple causes result in patient heterogeneity. The second problem arises when a pathogenic mediator is difficult to measure. This is the case of the oxidative stress (OS) theory (...) of disease, where the causal components are reactive oxygen species (ROS) that have very short half-lives. In this case, it is usual to measure the traces left by the reaction of ROS with biological molecules, rather than the ROS themselves. Borrowing from the philosophical theories of signs, we look at the different facets of biomarkers and discuss their different value and meaning in multifactorial diseases and system medicine to inform their use in patient stratification in personalized medicine. (shrink)

El presente trabajo es un ensayo sobre lo que, en los últimos años, se ha empezado a llamar "lógica filosófica". La lógica filosófica se origina como consecuencia del progresivo rigor formal de la lógica tradicional. Este rigor ha conducido, en contra de lo que se esperaba, a problemas de significado filosófico fundamental y de profundidad abismal. Son muchos los problemas que interesan a la lógica filosófica, pero, en opinión del autor, el más importante apenas ha sido abordado. Este problema es (...) la relación entre la lógica y la razón. La tradición siempre ha considerado la lógica como una disciplina preeminentemente racional, que se constituye sobre estructuras fundamentales del pensamiento racional. Ahora bien, si se intenta saber cuáles son estas estructuras, se encuentra un grave problema: en los últimos años han proliferado nuevos sistemas de lógica, algunos de los cuales parecen no tener ninguna relación entre sí y con la lógica clásica. Esto da la impresión de que no tiene mucho sentido hablar de "razón humana", es decir, de una facultad que funciona mediante principios necesarios y universales organizados en un sistema unitario. La única manera de abordar este problema es comenzar con un análisis de los sistemas lógicos que difieren del modelo clásico (como, por ejemplo, las lógicas polivalentes y paraconsistentes). A estos sistemas el autor los denomina "lógicas heterodoxas". Una vez analizado el significado y las características de estas lógicas, es posible ver si realmente expresan el hecho de que la razón no puede ser concebida como un sistema de principios o si esta creencia es sólo una consecuencia de un enfoque superficial. La opinión del autor es que, a pesar de la multiplicidad de sistemas lógicos heterodoxos, es posible encontrar un criterio de unidad en el cumplimiento común de ciertas condiciones necesarias de logicidad y la posesión común de algunas condiciones suficientes. La razón no funciona, por supuesto, como creían los clásicos, pero su funcionamiento está determinado por un complejo invariable de principios necesarios y universales. Este funcionamiento es más flexible que el concebido por la lógica tradicional; la razón humana puede prescindir de algunos principios clásicos, pero no de todos, y, por el contrario, puede encontrar nuevos principios basados en evidencias que no habían sido previamente analizadas lógicamente. Pero en ambos casos, siempre presupone un complejo invariable de principios. (shrink)

L'analyse du renseignement présente de nombreuses similitudes épistémologiques importantes avec la science (résolution de problèmes, découverte, utilisation habile des outils, vérification des demandes de connaissances) et s'intéresse davantage aux connaissances a posteriori qu'aux a priori sur la manière ou la base sur laquelle une proposition peut être connue. Tant l'analyse du renseignement que la science se concentrent sur les connaissances acquises à partir d'observations empiriques, connaissances qui sont typiquement a posteriori. La métaphore du puzzle est utilisée à la fois dans (...) le renseignement et l'archéologie. Les deux disciplines impliquent la collecte de preuves pour construire une image aussi complète que possible. DOI: 10.13140/RG.2.2.16740.09603 . (shrink)

The present paper is an essay on what, in the last years, has begun to be called, "philosophical logic". Philosophical logic originates as a consequence of the progressive formal rigour of traditional logic. This rigour had led, contrary to what was excepted, to problems of fundamental philosophical meaning and of abysmatic depth. There are many problems which are of interest to philosophical logic, but, in the author's opinion, the most important one has hardly been approached. This problem is the relation (...) between logic and reason. The tradition has always considered logic as a preeminently rational discipline, which constitutes itself upon fundamental structures of rational thought. Now, if one tries to know which are these structures, one finds a grave problem: new systems of logic have proliferated in recent years, some of which seem to have no relations among them and with classical logic. This gives the impression that it does not make much sense to talk about "human reason", that is, about a faculty that functions through necessary and universal principles organized in a unitary system. The only way to tackle this problem is to begin with an analysis of the logical systems that differ from the classical model (such as, for example, the polyvalent and paraconsistent logics). These systems the author calls "heterodox logics". Once the meaning and the characteristics of these logics are analysed, it is possible to see if they really express the fact that reason cannot be conceived as a system of principles or if this belief is only a consequence of superficial approach. The author's opinion is that, in spite of the multiplicity of heterodox logical systems, it is possible to find a criterium of unity in the common fulfilment of certain necessary conditions of logicity and the common posssesion of some sufficient conditions. Reason does not function, of course, as the classical believed, but none the less its functioning is determined by an invariant complex of necessary and universal principles. This functioning is more flexible than the functioning conceived by traditional logic; human reason can do away with some classical principles but not with all of them, and, contrarywise, it can find new principles based on evidences that had not been previously logically analysed. But in both cases, it always presupposes an invariant complex of principles. (shrink)

There is a received view on measurement scales. It includes both a classification of scales (nominal, ordinal, interval, and ratio) and a set of prescriptions regarding measurement inferences. This paper casts doubt on the adequacy of this received view. To do this, I propose an epistemic characterization of the ordinal/interval distinction, i.e., one in terms of researchers’ beliefs. This novel characterization reveals the ordinal/interval distinction as too coarse-grained, and thus the received view as too restrictive of a framework for measurement (...) research. (shrink)

G.W.F. Hegel argues that a philosophy of history should engender comprehension of evil in the world. And yet some commentators have charged his philosophy with transcending mere explication by justifying the existence of these evils. In defense of his words, Hegel famously characterizes evil as a modal mismatch; namely, as the incompatibility between what is given and what ought to be the case. Unfortunately, some readers of Hegel’s grand narrative either continue to struggle with or overlook this fine distinction. Against (...) such readings, I organize my paper into three sections that speak directly to these concerns. In §1, against the concern that Hegel’s view of the “actual world” justifies suffering, it is shown that his philosophy does not endorse the merely extant world, which is a whole world apart from the actual world. In §2, I articulate the premises of Hegel’s Doppelsatz to argue that the famous slogan is not, as some commentators take it, an endorsement of “things as they are.” And in §3, I expose a category error that mistakes an epistemological claim made by Hegel about contingency as a metaphysical assertion in support of evil. Ultimately, I argue that Hegel views evil as neither actual nor necessary nor justified. (shrink)

This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, two kinds of claims (...) about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (shrink)

People often think of and define objects teleologically. For instance, we might understand a hammer in terms of its purpose of driving in nails. Such teleological thinking also influences many further judgments, including of category membership, essence, causation, persistence, and mereology. But how should we understand teleological thinking in the first place? This paper addresses this question by separating two senses of teleological thinking: mere teleology (simply ascribing a telos to an object) and teleological explanation (thinking an object is actually (...) explained by its telos). Experiment 1 examined cases where an object was designed for one purpose but is now widely used for a different purpose, and found that teleology judgments and teleological explanation judgments are dissociable: Only an artifact’s original purpose could serve as an explanation, but its new purpose could also be its telos. Experiments 2-3 sought to break down these factors that were sufficient for mere teleology; three factors other than creator’s intentions influenced teleology judgments: present use, collective recognition, and success at a function. Finally, Experiment 4 identified one factor that did not affect mere teleology: structure-function fit. Implications for work on object teleology and interpretations of teleological reasoning more generally are discussed. (shrink)

While practitioners think highly of randomized studies, some philosophers argue that there is no epistemic reason to randomize. Here I show that their arguments do not entail their conclusion. Moreover, I provide novel reasons for randomizing in the context of interventional studies. The overall discussion provides a unified framework for assessing baseline balance, one that holds for interventional and observational studies alike. The upshot: practitioners’ strong preference for randomized studies can be defended in some cases, while still offering a nuanced (...) approach to evidence-appraisal, one where not all non-randomized studies are treated equally. (shrink)

Harold Hotelling’s articles in mathematical economics from the 1930s are classics. Some are keystones of entire sub-disciplines of economic theory such as location economics [Hotelling...

The calculus of Natural Calculation is introduced as an extension of Natural Deduction by proper term rules. Such term rules provide the capacity of dealing directly with terms in the calculus instead of the usual reasoning based on equations, and therefore the capacity of a natural representation of informal mathematical calculations. Basic proof theoretic results are communicated, in particular completeness and soundness of the calculus; normalisation is briefly investigated. The philosophical impact on a proof theoretic account of the notion of (...) meaning is considered. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

In the debate on causal explanation in biology, in the past two decades largely influenced by the new mechanist approach, the concept of a pathway has recently reemerged as a promising research agenda, 551-572, 2018; The British Journal for the Philosophy of Science, 72, 131-158, 2021). Ross’ account of biological explanation differentiates several autonomous types of causal structures that play explanatory and other roles across the life sciences. NM, however, prioritizes mechanisms as vehicles of biological explanations. According to this program, (...) the causal architecture of biological pathways and other causal structures, such as cascades and processes, can be interpreted with at least one of the NM’s mechanism concepts. In other words, these alternative causal structures are not sufficiently distinctive to merit the explanatory autonomy with regard to the NM corresponding concepts. We examine the explanatory practice of molecular biology and concur with Ross that there are indeed distinct types of causal structures, not all falling under the concept of a mechanism. Nonetheless, we show that the concept of mechanism is referring to a privileged causal structure, at the center of explanatory efforts in molecular biology. Pathways and other causal concepts, while somewhat distinct from mechanisms themselves, are explanatorily relevant to the degree in which they exhibit mechanistic features, are parts of a mechanistic architecture, or may lead to a mechanistic arrangement. What emerges in that manner is a hierarchy of causal structures with mechanisms at the explanatory top, and lower levels differing in the degree in which they contribute to mechanistic arrangements. (shrink)

Inquiry into the metaphysics of essence tends to be pursued in a realist and model-theoretic spirit, in the sense that metaphysical vocabulary is used in a metalanguage to model truth conditions for the object-language use of essentialist vocabulary. This essay adapts recent developments in proof-theoretic semantics to provide a nominalist analysis for a variety of essentialist vocabularies. A metalanguage employing explanatory inferences is used to individuate introduction and elimination rules for atomic sentences. The object-language assertions of sentences concerning essences are (...) then interpreted as devices for marking off structural features of the explanatory inferences that, under a given interpretation, constitute the contents of the atoms of the language. On this proposal, object-language essentialist vocabulary is mentioned in a proof-theoretic metalanguage that uses a vocabulary of explanation. The result is a nominalist interpretation of essence as a modality, understood in the grammatical sense as a modification of the copula, and a view of metaphysical inquiry that is closely connected to the explanatory commitments present in first-order inquiry into things like sets, chemicals, and organisms. This result illustrates that some of the presuppositions that have animated analytic metaphysics over the last few decades can be profitably substituted with more practice-oriented conceptions of the forms of reasoning at work in different domains of human knowledge. (shrink)