The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We (...) show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

A Neuroscientist Offers Evidence of Where the Brain Ends and Consciousness Begins.

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical (...) behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

Predictivists use the no miracle argument to argue that “novel” predictions are decisive evidence for theories, while mere accommodation of “old” data cannot confirm to a significant degree. But deductivists claim that since confirmation is a logical theory-data relationship, predicted data cannot confirm more than merely deduced data, and cite historical cases in which known data confirmed theories quite strongly. On the other hand, the advantage of prediction over accommodation is needed by scientific realists to resist Laudan’s criticisms of the (...) no miracle argument. So, if the deductivists are right, the most powerful argument for realism collapses. There seems to be an inescapable contradiction between these prima facie plausible arguments of predictivists and deductivists; but this puzzle can be solved by understanding what exactly counts as novelty, if novel predictions must support the no miracle argument, i.e., if they must be explainable only by the truth of theories. Taking my cues from the use-novelty tradition, I argue that (1) the predicted data must not be used essentially in building the theory or choosing the auxiliary assumptions. This is possible if the theory and its auxiliary assumptions are plausible independently of the predicted data, and I analyze the consequences of this requirement in terms of best explanation of diverse bodies of data. Moreover, the predicted data must be (2) a priori improbable, and (3) heterogeneous to the essentially used data. My proposed notion of novelty, therefore, is not historical, but functional. Hence, deductivists are right that confirmation is independent of time and of historical contingencies such as if the theorist knew a datum, used it, or intended to accommodate it. Predictivists, however, are right that not all consequences confirm equally, and confirmation is not purely a logical theory-data relation, as it crucially involves background epistemic conditions and the notion of best explanation. Conditions (1)–(3) make the difference between prediction and accommodation, and account for the confirming power of theoretical virtues such as non ad-hocness, non-fudging, non-overfitting, independence and consilience. I thus show that functional novelty (a) avoids the deductivist objections to predictivism, (b) is a gradual notion, in accordance with the common intuition that confirmation comes in degrees, and (c) supports the no miracle argument, so vindicating scientific realism. (shrink)

Deployment Realism resists Laudan’s and Lyons’ objections to the “No Miracle Argument” by arguing that a hypothesis is most probably true when it is deployed essentially in a novel prediction. However, Lyons criticized Psillos’ criterion of essentiality, maintaining that Deployment Realism should be committed to all the actually deployed assumptions. But since many actually deployed assumptions proved false, he concludes that the No Miracle Argument and Deployment Realism fail. I reply that the essentiality condition is required by Occam’s razor. In (...) fact, there is a simpler formulation of essentiality which escapes Lyons’ criticisms and rescues the No Miracle Argument and Deployment Realism from their purported historical counterexamples: a hypothesis is essential when it has no proper parts (in Yablo’s sense) sufficient to derive the same prediction. Although essentiality so conceived cannot be detected prospectively, this is just natural, and it is not a problem but an advantage for Deployment Realism. (shrink)

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...) standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

Two concepts of truth as correspondence of ideas with facts are analyzed. One of them is the thought-external fact relation, and the other is the fact-proposition one. The two maps are then composed, and the resulting map is assumed to formalize the concept of truth as adequacy or correspondence of ideas to facts. Besides, some desiderata for a correspondence theory of partial truth are proposed. Finally, the truth criteria employed in science and technology are recalled.

ABSTRACT In Einstein’s physical geometry, the geometry of space and the uniformity of time are taken to be non-conventional. However, due to the stipulation of the isotropy of the one-way speed of light in the synchronization of clocks, as it stands, Einstein’s views do not seem to apply to the whole of the Minkowski space-time. In this work we will see how Einstein’s views can be applied to the Minkowski space-time. In this way, when adopting Einstein’s views, chronogeometry is a (...) physical chronogeometry. (shrink)

Given the dark side of technological progress, this chapter proposes a new way to ensure its greatest benefits and minimize its costs. This can be accomplished if the technologies are benign, if governments are democratic, if industries are benign as well, and if citizens are educated and politically engaged.

Criticisms à la Laudan can block the “no miracles” argument for the (approximate) truth of whole theories. Realists have thus retrenched, arguing that at least the individual claims deployed in the derivation of novel predictions should be considered (approximately) true. But for Lyons (2002) there are historical counterexamples even to this weaker “deployment” realism: he lists a number of novel predictions supposedly derived from (radically) false claims. But if so, those successes would seem unexplainable, even by Lyons’ “modest surrealism” or (...) other surrogates to realism. In fact, I argue, some of those predictions were an easy guess, or independently probable in the light of available evidence; hence, they are no counterexamples to deployment realism, for the no miracles argument wouldn’t apply to them. In other instances, pace Lyon, the prediction was actually false, and could be reinterpreted as true only by interpreting as true also the claim from which it was derived; or again, a false claim was employed in the derivation of a true prediction, but inessentially, the essential role being played by a weaker true claim. But as soon as the paradoxical air of such historical cases is explained away in any of these manners, they cease to represent counterexamples to deployment realism. If, as I suggest, all of them can be dealt with by these strategies, a theoretical claim can still be assumed to be true if it is crucial in deriving an improbable novel prediction. (shrink)

Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics to actually test whether a given (...) graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. (shrink)

Up until recently social scientists took it for granted that their task was to account for the social world as objectively as possible: they were realists in practice if not always in their methodological sermons. This situation started to change in the 1960s, when a number of antirealist philosophies made inroads into social studies. -/- This paper examines critically the following kinds of antirealism: subjectivism, conventionalism, fictionism, social constructivism, relativism, and hermeneutics. An attempt is made to show that these philosophies (...) are false and are causing serious damage to social studies. -/- Next the subjective interpretation of probability is analyzed as a case of subjectivism. An approach to the subjective perception of justice is sketched as an example of the objective study of subjective experience. -/- Finally, the three main varieties of realism — naive, critical, and scientific — are outlined. It is argued that the scientific attitude involves scientific realism, which is put in practice even by scholars who, like Weber and Simmel, called themselves antirealists. (shrink)

At the beginning of the third section of Book II of Capital, Marx distinguishes between the direct process of the production of capital and the total process of its reproduction. The former includes both the work process as well as the value-creating process. As we shall see, the latter includes both the process of consumption mediated by circulation, as well as the process of reproduction of capital itself. In the different forms assumed by capital within its cycle, and even more (...) in the different forms assumed by this cycle, the movement of individual capital turns out to be a part of the total movement of social capital. (shrink)

O presente trabalho busca mostrar o processo de criação sob o ponto de vista da poesia mística de Rumi. Portanto, procura demonstrar como Rumi dá vida, em seus escritos, ao máximo ato vivificador, à beleza com a qual ele entende e transporta, pelas palavras, o conhecimento do ato criador divino. Trata-se, portanto, de mostrar o processo de criação pelo qual as criaturas recebem a filiação do Criador, e como esse elo primordial com a transcendência é então capaz de inspirar todo (...) movimento observado pelo místico em direção ao processo de união, que no caso de Rumi, remete ao movimento de influxo do amor. É pelo amor que as criaturas são chamadas a reconhecer, no mundo e no cosmos os atributos de Deus, dos quais elas participam por filiação. (shrink)

Many formulations of scientific realism (SR) include some commitment to metaphysical realism (MR). On the other hand, authors like Schlick, Carnap and Putnam held forms of scientific realism coupled with metaphysical antirealism (and this has analogies in Kant). So we might ask: do scientific realists really need MR? or is MR already implied by SR, so that SR is actually incompatible with metaphysical antirealism? And if MR must really be added to SR, why is that so? And which additional arguments (...) scientific realists need to support it? After reviewing and classifying a number of different kinds of realisms, metaphysical and not, I answer that SR and MR are logically independent of each other, so that there is no logical inconsistency in holding SR while rejecting MR. However, I argue that the “no miracle” argument (NMA) not only is the “ultimate” argument for SR, but by the same token it also supports MR. Therefore one cannot effectively defend SR without also subscribing to MR, but this can be done at no additional argumentative cost. I show this by discussing not only the standard version of the NMA, but also three more versions which are not usually considered as such in the literature. (shrink)

We investigate the problem how to lift the non - $\forall \Sigma^b_1(\alpha)$ - conservativity of $T^2_2(\alpha)$ over $S^2_2(\alpha)$ to the expected non - $\forall \Sigma^b_i(\alpha)$ - conservativity of $T^{i+1}_2(\alpha)$ over $S^{i+1}_2(\alpha)$ , for $i > 1$ . We give a non-trivial refinement of the “lifting method” developed in [4,8], and we prove a sufficient condition on a $\forall \Sigma^b_1(f)$ -consequence of $T_2(f)$ to yield the non-conservation result. Further we prove that Ramsey's theorem, a $\forall \Sigma^b_1(\alpha)$ - formula, is not provable (...) in $T^1_2(\alpha)$ , and that $\forall \Sigma^b_j(\alpha)$ - conservativity of $T^{i+1}_2(\alpha)$ over $T^{i}_2(\alpha)$ implies $\forall \Sigma^b_j(\alpha)$ - conservativity of the whole $T_2(\alpha)$ over $T^{i}_2(\alpha)$ , for any $j \geq 2$. (shrink)

Suppose G is a definably connected, definable group in an o-minimal expansion of an ordered group. We show that the o-minimal universal covering homomorphism equation image: equation image→ G is a locally definable covering homomorphism and π1 is isomorphic to the o-minimal fundamental group π of G defined using locally definable covering homomorphisms.

During the course of life, it is common to make some decisions that prove to be correct. Some of these choices are made without a specific reason, but only out of habit or intuitively, while others are based on judgments and motivations. However, when we claim that a decision is “right”, what kind of judgment are we referring to? On the one hand, the term “right” (or “wrong”) often refers to abstract norms. Usually, truth and falsehood serve as criteria in (...) these cases. In such situations, judgments about what is “right” or “wrong” depend strictly on an accurate rational evaluation, which is instrumental in guiding individuals to undertake or avoid certain actions. On the other hand, there is a sense of justice that concerns ethics and values. In these circumstances, a decision is generally considered “right” if it is based on a criterion of judgment that allows individuals to make a decision freely, without being bound by an abstract norm, but rather by elaborating the choice as the realization of what they consider good and just. In this paper will examine and redefine the concept of “right choice”, acknowledging the above mentioned dual nature of its meaning. It will be argued there is a link between what abstract norms dictate to do, in order to reach a formally correct decision, and what, instead, depends on merely reasons and attitudes. This connection is indeed ensured by wise decisions. (shrink)

Este artículo presenta una reflexión sobre el don, la ofrenda y el perdón referida a la relación de comunidad inaugurada por el estar-con-otro-en-el-mundo, en la experiencia de las relaciones de alteridad, donde la hospitalidad, en tanto comprensión de la responsabilidad para con el otro, conlleva la vivencia de una política de la diferencia. Esta propuesta recupera los aportes teóricos de Emmanuel Levinas, Jacques Derrida, Jean-Luc Nancy, entre otros.

Universities in many liberal democracies, such as the US, the UK, or Germany, grapple with a pivotal question: how much room should be given to controversial utterances? On the one side, there are those who advocate for limiting permissible speech on campus to create a safe environment for a diverse student body and counter the mainstreaming of extremist views, particularly by right-wing populists. On the other side, concerns arise about stifling the free exchange of ideas and creating an atmosphere of (...) fear and censorship. The debate is further complicated by participants’ occasional uncertainties about the legal norms relevant in the given context, such as when freedom of speech is an issue and when it is not. This paper addresses the question of whether universities should allow actors with primarily political (as opposed to scholarly) agendas to speak on campus. Focusing on German universities, we begin by discussing some of the potentially relevant legal norms. We then propose shifting emphasis from _whether_ we should make room for public political discussions on campus to _how_ such events must be organized so that they deliver the goods that their advocates emphasize while avoiding the dangers of which critics warn. Drawing on conflict management literature concerned with process design, we make several practical suggestions on how to organize an event that brings political discourse to the university campus without causing harm. (shrink)

This book, first published in 1992, attempts to unify the economic analysis of the production process in order to understand the effects of technical change. It is both an analytical representation of the production process, taking into account the temporal, organizational, and qualitative dimensions of production, and a fact-finding model for studying the economic effects of technical change. The inclusion of temporal and organizational aspects allows the author to examine the analytical implications of research on the nature of firms and (...) the characteristics of technical change, whilst the model is used to analyse technical changes that involve variations of scale or degrees of flexibility. This book deals with themes much discussed in research in industrial economics and management studies and is an important contribution to bringing these two areas of research closer together, providing a general framework for the study of production processes. (shrink)