Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.

LetL(K) denote the lattice (ordered by inclusion) of quasivarieties contained in a quasivarietyK and letD 2 denote the variety of distributive (0, 1)-lattices with 2 additional nullary operations. In the present paperL(D 2) is described. As a consequence, ifM+N stands for the lattice join of the quasivarietiesM andN, then minimal quasivarietiesV 0,V 1, andV 2 are given each of which is generated by a 2-element algebra and such that the latticeL(V 0+V1), though infinite, still admits an easy and nice description (...) (see Figure 2) while the latticeL(V 0+V1+V2), because of its intricate inner structure, does not. In particular, it is shown thatL(V 0+V1+V2) contains as a sublattice the ideal lattice of a free lattice with free generators. Each of the quasivarietiesV 0,V 1, andV 2 is generated by a 2-element algebra inD 2. (shrink)

In [13], M. Tokarz specified some infinite family of consequence operations among all ones associated with the relevant logic RM or with the extensions of RM and proved that each of them admits a deduction theorem scheme. In this paper, we show that the family is complete in a sense that if C is a consequence operation with $C_{RM} \leq C$ and C admits a deduction theorem scheme, then C is equal to a consequence operation specified in [13]. In algebraic (...) terms, this means that the only quasivarieties of Sugihara algebras with the relative congruence extension property are the quasivarieties corresponding, via the algebraization process, to the consequence operations specified in [13]. (shrink)

This paper was presented at the Seminar of the Section of Logic, In- stitute of Mathematics Nicholas Copernicus University, held by Professor Jerzy Kotas, Torun, March 1975. An altered version of the paper will be published in Studia Logica.

The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

Very often logics are dened by means of the axiomatic method which depends, roughly speaking, on selecting some set of axiom schemas together with certain rules of inferences; here we consider only log- ics that are dened in this way. The representative examples are: E, R and INT. In the case of E and R the modus ponens rule and the rule of adjunction are used, while for INT the modus ponens only; all of them, of course, together with some (...) nite set of axiom schemas. Therefore, with each logic, say L by the proof-theoretical notion we as- sociate the structural consequence operation, denoted by CL. For instance, the exact denition of CE looks as follows: for all X and ; 2 CE i can be provable from X by applications of some instan. (shrink)

The aim of the paper is to prove the result announced by the title.

We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) L and p, A(p, q) s q.

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.

First, we prove that the lattice of all structural strengthenings of a given strongly finite consequence operation is both atomic and coatomic, it has finitely many atoms and coatoms, each coatom is strongly finite but atoms are not of this kind — we settle this by constructing a suitable counterexample. Second, we deal with the notions of hereditary: algebraicness, strong finitisticity and finite approximability of a strongly finite consequence operation. Third, we formulate some conditions which tell us when the lattice (...) of all structural strengthenings of a given strongly finite consequence operation is finite, and subsequently we give some applications of them. (shrink)

The aim of the paper is to prove the result announced by the title.

Can a corporation have a conscience? What is wrong with reverse discrimination? Can ethical management and managed care coexist? Hoffman, Frederick, and Schwartz address these and many other current, intriguing, often complex issues in corporate morality. This introductory business ethics text contains a thorough general introduction on ethical theory, 54 readings, and 25 cases. Divided into five parts, each with an introduction that presents the major themes of its articles and cases, the text contains an impartial, point-counterpoint presentation of different (...) perspectives on the most important issues being debated in business ethics. Each chapter ends with questions that can be used for student discussion, review, tests/quizzes, or for student assignments. The fourth edition has 27 new readings, 15 new cases, and 10 new mini-cases. (shrink)

We present some equivalent conditions for a quasivariety \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {K}}$$\end{document} of structures to be generated by a single structure. The first such condition, called the embedding property was found by A.I. Mal′tsev in [6]. It says that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf A}, {\bf B} \in \mathcal {K}}$$\end{document} are nontrivial, then there exists \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf C} \in \mathcal{K}}$$\end{document} (...) such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{K}}$$\end{document} is closed under a certain Gentzen type rule which is due to J. Łoś and R. Suszko [5]. (shrink)

A complete translation of Aristotle's classic that is both faithful and readable, along with an introduction that provides the modern reader with a means of understanding this seminal work and its impact on our culture. In this volume, Joe Sachs (translator of Aristotle's _Physics, Metaphysics,_ and the _Nicomachean Ethics _)also supplements his excellent translation with well-chosen notes and glossary of important terms. Focus Philosophical Library translations are close to and are non-interpretative of the original text, with the notes and a (...) glossary intending to provide the reader with some sense of the terms and the concepts as they were understood by Aristotle’s immediate audience. (shrink)

In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked (...) in Rautenberg [10]. (shrink)

Explores the nature and types of mystical experience and discusses the value of mysticism for humanity.

Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?

The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, and (second) for the category of non-trivial (0,1)-lattices belonging to the same variety with (0,1)-lattice homomorphisms as morphisms. Although the two categories coincide on their finite objects, the presented dualities essentially differ mostly but not only by the fact that the duality for the second category uses topology. Using the presented dualities (...) and some known in the literature results we prove that the Q-lattice of any non-trivial variety of (0,1)-lattices is either a 2-element chain or is uncountable and non-distributive. (shrink)

We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 20. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 220. As a corollary we have that each of these three lattices has no atoms.

The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.

We prove that each intermediate or normal modal logic is strongly complete with respect to a class of finite Kripke frames iff it is tabular, i.e. the respective variety of pseudo-Boolean or modal algebras, corresponding to it, is generated by a finite algebra.

Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to ? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC — the — fragment ofC, is equal to , for every such that.

Let q(K) denote the least quasivariety containing a given class K of algebraic structures. Mal'cev [3] has proved that q(K) = ISP r(K)(1). Another description of q(K) is given in Grätzer and Lakser [2], that is, q(K) = ISPP u(K)2. We give here other proofs of these results. The method which enables us to do that is borrowed from prepositional logics (cf. [1]).

W. V. Quine is one of the most eminent philosophers alive today. Now in his mid-eighties he has produced a sharp, sprightly book that encapsulates the whole of his philosophical enterprise, including his thinking on all the key components of his epistemological stance--especially the value of logic and mathematics. New readers of Quine may have to go slowly, fathoming for themselves the richness that past readers already know lies between these elegant lines. For the faithful there is much to ponder. (...) In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically. He provides a lightning tour of the history of philosophy (particularly the history of epistemology), beginning with Plato and culminating in an appreciative sketch of Carnap's philosophical ambitions and achievements. This leads, in the second chapter, to an introduction to Quine's attempt to naturalize epistemology, which emphasizes his continuities with Carnap rather than the differences between them. The next chapters develop the naturalistic story of the development of science to take account of how our conceptual apparatus is enhanced so that we can view the world as containing re-identifiable objects. Having explained the role of observation sentences in providing a checkpoint for assessing scientific theories, and having despaired of constructing an empirical criterion to determine which sentences are meaningful, Quine in the remaining chapters takes up a variety of important issues about knowledge. He concludes with an extended treatment of his views about reference and meaning and his attitudes toward psychological and modal notions. The presentation is distinctive, and the many small refinements of detail and formulation will fascinate all who know Quine's philosophy. (shrink)

A Brief History of Time: From the Big Bang to Black Holes is a popular-science book on cosmology (the study of the origin and evolution of the universe) by British physicist Stephen Hawking. It was first published in 1988. Hawking wrote the book for readers who have no prior knowledge of the universe and people who are interested in learning.

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)