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 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)

The quasivariety of BCK-algebras is widely known and investigated class of algebras. It is a natural semantic for the BCK-logic but there are also others quasivarieties of algebras with the above property and there are even some varieties among them. The aim of this note is to bring to the reader’s a attention the lattice they form. In what follows we shall only consider classes of algebras of type.

The goal of the article is to compare methods of financing ARs and ERs based on the data from the 1st half of 2013 and 1st half of 2014 from the K. Jonscher 3rd Municipal Hospital in Lodz. All the stays in the AR/ER in the 1st half of 2013 and the 1st half of 2014 were analysed. Based on the presented data, it can be clearly seen that the new method of financing AR/ER services proposed by the NFZ will (...) beyond doubt have negative outcomes, and will certainly not improve the financial situation of hospitals. (shrink)

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.

The aim of this note is to give an example of application of model theory to the theory of logical matrices. . More precisely, we show that Wojtylak's representation theorem is an immediate consequence of a result due to Mal'cev . Throughout the present note we assume that matrices, and classes of matrices under consideration are of the same xed similarity type. Suppose that K is an arbitrary class of matrices, and M is a matrix . We say that M1 (...) 2 K is called a replica of M in the class K i there is a homomorphism h of M onto M1 such that for every homomorphism g of M into arbitrary N 2 K there exists a homomorphism f of M1 into N such that g = f h. (shrink)

The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathematics and Informatics, University of Opole) and the programme committee (...) was chaired by Andreas Herzig (University of Toulouse and CNRS). During two weeks, over 340 participants from 36 countries were offered a rich academic program of their choice from 9 foundational, 16 introductory and 17 advanced courses and 6 workshops. Just as in the previous years, the 17th conference on Formal Grammar collocated with ESSLLI. Besides the regular courses, a traditional highlight of the summer school were the 4 evening lectures by distinguished academics: - Johan van Benthem (Institute for Logic, Language & Computation (ILLC), Amsterdam and Department of Philosophy, Stanford University), "Computation as Agency''; - Melvin Fitting (Department of Mathematics and Computer Science, City University of New York), "Reasoning About Games''; - Jonathan Ginzburg (UFR Études anglophones, Université Paris-Diderot (Paris 7)), "False starts, jokes, and music:semantics in the 21st century''; - Adam Przepiórkowski (Institute of Computer Science, Polish Academy of Sciences, Warsaw), "Secret life of corpora''. Another traditional event was the student session, organised by a student programme committee chaired by Rasmus K. Rendsvig (University of Copenhagen): master and doctoral students presented 16 papers and 5 posters, and Michał Zawidzki obtained the best paper award and Raul Fervari obtained the best poster award. Moreover, the Beth Dissertation Prizes were announced at the FoLLI General Meeting and went to Andreas Kapsner (University of Barcelona) and Daniel R. Licata (Carnegie Mellon University). Apart from the busy academic programme, participants of the summer school were offered an exciting social program as well. In addition to the traditional ESSLLI Party and the famous Students vs. Lecturers Soccer Match (also called `Johan van Benthem Cup'), kayaking, and excursions to Kraków and Wrocław were offered. -/- . (shrink)

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..

While John B. Watson articulated the intellectual commitments of behaviorism with clarity and force, wove them into a coherent perspective, gave the perspective a name, and made it a cause, these commitments had adherents before him. To document the origins of behaviorism, this series collects the articles that set the terms of the behaviorist debate, includes the most important pre-Watsonian contributions to objectivism, and reprints the first full text of the new behaviorism. Contents: Functionalism, the Critque of Introspection, and the (...) Nature and Evolution of Consciousness: Theoretical Roots of Early Behaviourism: An Anthology [1842-1914] Robert H. Wozniak (Ed) 360 pp Studies of Animal and Infant Behaviour. the Experimental and Comparative Roots of Early Behaviourism: An Anthology [1840-1911] Robert H. Wozniak (Ed) 412 pp An Introuduction to Comparative Psychology [1894 edition] Conway Lloyd Morgan 628 pp Comparative Physiology of the Brain and Comparative Psychology [1900] Jacques Loeb 342 pp Fundamental Laws of Human Behaviour. Lectures on the foundtions of Any Mental or Social Science [1911] Max F. Meyer 264 pp Behaviour. An Introduction to Comparative Psychology [1914 edition] John B. Watson 482 pp. (shrink)

The conception of performative utterances proposed by John Langshaw Austin is unclear and provokes many fundamental questions. We compare this proposal with Jacek Juliusz Jadacki's conception of performatives, being much more precise one. We develop Jadacki's intuitions and propose to characterize performatives as expressions fulfilling a specific semantic function: A type-expression W is a performative generating an intentional state of affairs S iff there is a convention K and circumstances C such that the convention K says: if somebody utters (...) a token-expression W in circumstances C, so the state of affairs S will take place. Subsequently, we analyze the problem of correctness of performative utterances and relations between different criteria of correctness of performative acts. On the basis of these analyses, the paradox of annulled marriage is formulated and the problem of perfomatives in law is sketched. (shrink)

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)

Patterns of inattention in children: Findings from the inattention checklist for teachers This study concerns construction of a checklist for teachers designed to find out types of attention disorders in children. Inattention is not a homogenous phenomenon. Patterns of coexistence of inattention signs and other behavioral symptoms could reflect different psychological mechanisms. In first study teachers described 242 children aged 9 to 10 using Inattention Checklist for Teachers. In second study teachers described 361 children aged 8 to 10 using modified (...) version of the ICT. Factor analysis conducted in the first study resulted in extraction of five factors. In the second study previously extracted factors were validated by cluster analyses and profiles referring to co-occurring behavioral symptoms were developed. Analysis of profiles has shown that attention disorders comprise at least two groups of inattention symptoms that in relation to other factors and learning difficulties constitute different patterns of inattention. It is suggested that these patterns reflect differences between attention disorders caused by cognitive malfunctioning, impaired behavioral or emotional control. (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)

The radical empiricism of William James was first formally presented in his seminal papers of 1904, 'Does Consciousness Exist?' and 'A World of Pure Experience'. In James's view, pure experience was to serve as the source for psychology's primary data and radical empiricism was to launch an effective critique of experimentalism in psychology, a critique from which the problem of experimentalism within science could be addressed more broadly. This collection of papers presents James's formal statements on radical empiricism and a (...) representative sample of contemporary responses from psychologists and philosophers. With only a few exceptions, these responses indicate just how badly James was misread - psychologists ignoring the heart of James's message and philosophers transforming James's metaphysics into something quite unintelligible to the emerging generation of experimental psychologists. (shrink)

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)

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 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)

This paper has already been published in Policy Futures in Education, 0 1–14, 2017. It is freely available on Academia. We thank Jason Thomas Wozniak for the permission to republish it here.: Debt shapes subjectivity by rhythmically training indebted subjects. Stated slightly differently, there exists a debt dressage that produces indebted subjectivity. One of the principle aims of this article is to introduce rhythm into the debt analysis debates. Building on Henri - Sciences de l'éducation et de la formation – (...) Nouvel article. (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)

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.