Jacek Urbaniec: Platonism in the philosophy of mathematics does not necessarily imply that there are links between the temporal physical world and the eternal world of mathematics..

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power ω (...) 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

In this paper, I discuss, as carried out by Gaven Kerr, a reconstruction of Aquinas’s argument for the existence of God from his work De Ente et Essentia. My analysis leads to complementing Kerr’s proposal with the following elements: a summarization of the presented argument in a more formal manner; a specification of the main presuppositions of the Thomistic conception of existence; a drawing of attention to the fact that the essence–esse composition is a borderline case of the array of (...) potency–act compositions; a distinguishing of the empirical and speculative interpretations or versions of Aquinas’s argument; a clarification of what is the Divine exception from the essence–esse composition; a distinguishing of the three models of participation and a defence of the moderate model. I regard the following two issues to be of key importance for the argument under discussion: the relation between the Aristotelian compositional model and the Platonic model of participation as well as the defence of the Thomistic conception of the essence–esse composition. (shrink)

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".

In 1968 the authors of the so-called Harvard Report, proposed the recognition of an irreversible coma as a new criterion for death. The proposal was accepted by the medical, legal, religious and political circles in spite of the lack of any explanation why the irreversible coma combined with the absence of brainstem reflexes, including the respiratory reflex might be equated to death. Such an explanation was formulated in the President’s Commission Report published in 1981. This document stated, that the brain (...) is the central integrator of the body, therefore the destruction of the brain results in the lack of that integration and the death of the organism. Therefore, according to that document, the so-called “brain dead” patients are really, biologically dead; strictly speaking they are not any more biological organisms but collections of organs and tissues. Their death was masked by the use of the medical equipment, but it was a real, biological death. Thus, the explanation given by the President’s Commission Report constituted a biological rationale for the new concept of death, known as “brain death.” However, after the long discussion, this rationale was refuted because of the evidence given by many medical authorities, that the bodies of the “brain dead” and “brainstem dead” patients are alive. In the context of the discussion about the neurological criteria for death, some authors follow the idea of Plato, that human being is the soul or mind, and the body does not belong to the human essence. Therefore, the loss of consciousness, which may be identified with the mind, constitutes the loss of personhood and may be interpreted as human death. The other group stresses the Aristotelian and Thomistic concept that the body belongs to the essence of every living creature, including human. Therefore, as long as the body is alive, the human being is alive and we cannot call the given patient dead even if he is deeply comatose. Moreover, in spite of the opinions dominating in the mass-media, these patients should be considered not only alive but also may be conscious to some degree and their state can be reversible. Their brains are lacking the electrical functions, but the neuronal tissue is alive and that state is reversible for at least first 48 hours since the onset of coma; this phenomenon is called “global ischemic penumbra” and is responsible for the regularly happening events interpreted as miracles, when some of the “brain dead” or “brainstem dead” patients turn to be alive and come back to normal life. Therefore, the neurological criteria of death are still lacking generally accepted scientific basis and should not be used in medicine and in the legal systems as a basis for diagnosing comatose/having no brainstem reflexes/apneic patients dead. (shrink)

The aim of this paper is to defend the ontological Principle of Sufficient Reason (PSR-O). I analyse various versions of this principle and various ways of justifying it. Then I attempt to challenge some counterexamples allegedly refuting a universal application of the PSR-O. There are standard and non-standard versions of the PSR-O. The PSR-Ostand can only be valid if there are no chains of contingent reasons and outcomes with first modules, i.e. all chains are actually infinite. However, there are serious (...) arguments against this possibility. The necessary condition of the PSR-Onon-stand is the existence of a necessary substance: that substance would be a direct reason of certain contingent states of affairs obtaining in its domain, and those states of affairs would then be indirect reasons for all other contingent states of affairs and things. There are two advantages of the PSR-Onon-stand: a nomological unity of the world and explanatory simplicity. (shrink)

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...) to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

In this paper we investigate some basic semantic and syntactic conditions characterizing the equivalence connective. In particular we define three basic classes of algebras: the class of weak equivalential algebras, the class of equivalential algebras and the class of regular equivalential algebras.Weak equivalential algebras can be used to study purely equivalential fragments of relevant logics and strict equivalential fragments of some modal logics. Equivalential algebras are suitable to study purely equivalential fragment of BCI and BCK logic. A subclass of the (...) class of regular equivalential algebras is suitable to study equivalential fragments of ukasiewicz logics. Some subvarieties of the class of regular equivalential algebras provide natural semantics for equivalential fragments of the intuitionistic prepositional logic and various intermediate logics. (shrink)

The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the problem, namely that of the degree of complexity of a sentential logic, is elucidated by a couple of examples in the second part of the paper. E.g., it is shown that the minimal logic of Johansson and some of its extensions have degree of complexity 2. This is (...) the first example of an exact estimation of the degree of natural complex logics, i.e. logics whose deducibility relation cannot be represented by a single matrix. The remaining examples of complex logics are more artificial, having been constructed for the purpose of checking some theoretical possibilities. (shrink)

Recently, constructivism has become one of the most important movements in metaethics. According to metaethical constructivism, moral judgements do not refer to moral facts but are constructed as solutions to practical problems. At the same time this claim is not seen as incompatible with cognitive realism. A variant of metaethical constructivism, developed in opposition to the dominant Kantian branch, alludes to Aristotle’s practical philosophy. In this article I raise two issues. Firstly, I present a new version of the Aristotelian constructivism (...) in metaethics, more elaborate than the previous proposals. Its fundamental element is the concept of the coherence of emotional response seen as a complex cognitive-affective state. Secondly, I argue that the acceptance of the Aristotelian version of metaethical constructivism entails the need to accept constructivism in the area of the theory of knowledge, which is contrary to the metaethical premises of constructivism. (shrink)

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic.

Jacek Filek criticizes the modern “nonethical” ethics. He points out its break with philosophy, lack of self-criticism, inanity, undue and fruitless formalism, and academism. His article makes a general request for the restitution of ethics as the independent and dignified scholarly discipline closely connected with world and life.

The following logics are the most noteworthy from the perspective of the calculus of combinators: the Hilbert’s positive implicational logic , the Church’s weak theory of implication , the BCK-logic, and the BCI-logic. Their significance is due to a certain correspondence between combinators and implicational formulas . The first three logics mentioned have been immensely investigated but it was not so in case of the remaining one. The BCI-logics was mentioned by A. N. Prior in the second edition of his (...) Formal Logic of 1962 where it was credited to C. A. Meredith and dated in 1956 . A. (shrink)

This article is devoted to the conceptual analysis of the model of the universe evolution in the philosophy of global constitutionalism. Purpose of research: to develop and justify the construct of education and development of the surrounding reality within the framework of the social concept of global constitutionalism. Object of research: the phenomenon of globalization of socio-political, state-legal and financial-economic development of national societies and states as an appearance of social reality, highlighted in the social concept of global constitutionalism. Subject (...) of research: theoretical content and stages of development of the model of the universe evolution in the philosophy of global constitutionalism in relation to its social essence. (shrink)

The quest for effective medicines is very old. In modern times two important tools have been developed to evaluate efficacy of drugs: superiority and non-inferiority types of clinical trials. The former tests the null hypothesis of μ (the difference between a tested drug and comparator) ≤ 0 against μ > 0; the latter tests the null hypothesis of μ ≤ - Δ against, μ > - Δ, where Δ is the clinical difference from the comparator. In a superiority trial, a (...) new drug is tested against a placebo; in a non-inferiority trial, a new drug is tested against active treatment. In this paper, arguments are presented to show that a superiority trial against a placebo is scientifically sound but ethically unacceptable, whereas a non-inferiority trial against active treatment is ethically sound but scientifically not reliable. Switching from a superiority type of trial with placebo to a non-inferiority trial with an active-control — following the latest revision of Declaration of Helsinki — is in practice switching from the violation of the uncertainty principle to uncertainty of results. Given human and financial resources, it appears an academic question as to which is more unethical: to violate patients’ rights or to produce results without scientific value. All presented considerations lead to the conclusion that the use of a superiority trial of design with an active control instead of placebo will satisfy scientific needs, expectation of patients, and the ancient quest for effective medicines. In the era of Good (Clinical, Laboratory, Manufacture) Practice, the attention of those performing clinical trials is focused on the procedure, not always on its essence. However even the excellent performance of a trial which is not worth doing is fruitless. (shrink)

A. Meinong’s views are usually associated with an highly inflated ontology including various kinds of nonexistent objects, incomplete and impossible ones among others. Around the turn of the century B. Russell strongly criticised this ontology accusing it of inconsistency. And perhaps because of this criticism Meinong’s views have been forgotten for a long time. Only recently some philosophers have created theories of objects which are formalisations of Meinong’s ontology or which are directly inspired by the ontology 1 . However there (...) still remains a need to discuss the problem of ways of reference to Meinongian objects regarding their specific structure of predication, and the interrelated problem of ontological commitment of those theories. Meinong’s ontological theory seems to be not so bizzare if we interpret it as a theory of possible intentional objects, i.e. possible objects of consciousness. And this interpretation perfectly agrees with phenomenological tradition from Brentano to Husserl and with the contemporary philosophy of mind. Needless to say reference is a special form of intentional relation so semantical investigations into these objects are of great relevance for general theory of intentionality. (shrink)

This paper comments on five problems concerning the transformation of the Polish economy with special emphasis on employee participation and trust. 1) There can be no ethical evaluation or justification of employee participation independent of the goals of the transformation. 2) In Poland this participation is affected by deep distrust towards the whole process of transformation. 3) Privatisation is the topic most often mentioned in this connection. 4) The definition of trust becomes even more crucial when the phenomenon of distrust (...) has to be explained. 5) Institutions can become the substitute of trust. (shrink)

The aim of this paper is to analyze the differences and similarities between the linguistic and the logical meaning of a sentence and propose a uniform point of view on the notion of the meaning of utterances. The proposed notion differs from the notion of the logical meaning as well as from the linguistic one. It may be considered to be a kind of composition of both of them.

A precise velocity model is necessary to obtain reliable locations of microseismic events, which provide information about the effectiveness of the hydraulic stimulation. Seismic anisotropy plays an important role in microseismic event location by imposing the dependency between wave velocities and its propagation direction. Building an anisotropic velocity model that accounts for that effect allows for more accurate location of microseismic events. We have used downhole microseismic records from a pilot hydraulic fracturing experiment in Lower-Paleozoic shale gas play in the (...) Baltic Basin, Northern Poland, to obtain accurate microseismic events locations. We have developed a workflow for a vertical transverse isotropy velocity model construction when facing a challenging absence of horizontally polarized S-waves in perforation shot data, which carry information about Thomsen’s [Formula: see text] parameter and provide valuable constraints for locating microseismic events. We extract effective [Formula: see text], [Formula: see text] and [Formula: see text], [Formula: see text] for each layer from the P- and SV-wave arrivals of perforation shots, whereas the unresolved [Formula: see text] is retrieved afterward from the SH-SV-wave delay time of selected microseismic events. An inverted velocity model provides more reliable location of microseismic events, which then becomes an essential input for evaluating the hydraulic stimulation job effectiveness in the geomechanical context. We evaluate the influence of the preexisting fracture sets and obliquity between the borehole trajectory and principal horizontal stress direction on the hydraulic treatment performance. The fracturing fluid migrates to previously fractured zones, while the growth of the microseismic volume in consecutive stages is caused by increased penetration of the above-lying lithologic formations. (shrink)

We assess Cartwright's models for probabilistic causality and, in particular, her models for EPR-like experiments of quantum mechanics. Our first objection is that, contrary to econometric linear models, her quasi-linear models do not allow for the unique estimation of parameters. We next argue that although, as Cartwright proves, Reichenbach's screening-off condition has only limited validity, her generalized condition is not empirically applicable. Finally, we show that her models for the EPR are mathematically incorrect and physically implausible.

x1. This paper is a contribution to matrix semantics for sentential logics as presented in Los and Suszko [1] and Wojcicki [3], [4]. A generalization of Lindenbaum completeness lemma says that for each sentential logic there is a class K of matrices of the form such that the class is adequate for the logic, i.e., C = CnK.

In this paper the notion of unifier is extended to the infinite set case. The proof of existence of the most general unifier of any infinite, unifiable set of types (terms) is presented. Learning procedure, based on infinite set unification, is described.

The notion of a conditionally distributive lattice was introduced by B. Wolniewicz while formally investigating the ontology of situations . In several of this lectures he has appealed for a study of that class of lattices. The present abstract is a response to that request.

The aim of this paper is to defend the Principle of Sufficient Reason (PSR). I analyse various versions of this principle (and their structure) and various ways of justifying it. Then I present and attempt to challenge some counterexamples allegedly refuting a universal application of the PSR. One can distinguish three versions of the PSR: for each state of affairs there is a sufficient reason for its obtaining (PSR-O); for each true proposition there is a direct or indirect justification (PSR-E); (...) for each state of affairs there exists an intellectual duty to search for a sufficient reason for obtaining of that state of affairs, and for each known true proposition - to search for its justification (PSR-M). There are standard and non-standard versions of the PSR-O. The PSR-O stand can be only valid if there are no chains of contingent reasons and outcomes with first modules, i.e. all chains are actually infinite. However, there are serious (yet debatable) arguments against the possibility of such infinity. The necessary condition of the PSR-O non-stand universal working is the existence of a necessary substance (thing): that substance would be a (free) reason of certain contingent states of affairs obtaining in its domain, and those states of affairs would then be reasons for all other contingent state of affairs and things. (The principle does not require a necessary substance to have its own reason). Limiting the chain of reasons to contingent states of affairs ended with a necessary state (if this state is a reason by necessity) would lead to the paradox of universal necessarism. An ontological \"cost\" of holding the PSR-O non-stand is a postulate of the existence of the necessary, supra-natural substance, i.e. God. However, there are serious advantages of the view which accepts that the PSR-O non-stand is generally valid: a nomological unity of the world and explanatory simplicity. (shrink)