Results for 'Wies��aw Dziobiak'

1000+ found
Order:
  1.  21
    There Are 2à0 Logics with the Relevance Principle Betweenr andRM.Wies?aw Dziobiak - 1983 - Studia Logica 42 (1):49-61.
    The aim of the paper is to prove the result announced by the title.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  43
    A Deduction Theorem Schema for Deductive Systems of Propositional Logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  29
    Another Proof That ISP R is the Least Quasivariety Containing K.Janusz Czelakowski & Wies?aw Dziobiak - 1982 - Studia Logica 41 (4):343 - 345.
    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]).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    An Example of Strongly Finite Consequence Operation with 2ℵ0 Standard Strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
    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?
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  27
    Cardinalities of Proper Ideals in Some Lattices of Strengthenings of the Intuitionistic Propositional Logic.Wies?aw Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    Mindshaping: A New Framework for Understanding Human Social Cognition.Tadeusz Wies aw Zawidzki - 2013 - Bradford.
    Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  7.  32
    Asymptotic Probabilities of Existential Second-Order Gödel Sentences.Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438.
  8.  57
    Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    An Example Concerning the Lattice of the Structural Consequence Operations.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):48-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  25
    An Example of Strongly Finite Consequence Operation with 2ℵ0 Standard Strengthenings.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  16
    A Note on Incompleteness of Modal Logics with Respect to Neighbourhood Semantics.Wies law Dziobiak - 1978 - Bulletin of the Section of Logic 7 (4):185-189.
  12.  13
    A Variety by a Finite Algebra with 2ℵ0 Subvarieties.Wies law Dziobiak - 1980 - Bulletin of the Section of Logic 9 (1):2-7.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  13
    Classically Axiomatizable Modal Propositional Calculi Containing the System T of Feys–von Wright.Wies law Dziobiak - 1976 - Bulletin of the Section of Logic 5 (1):20-23.
  14.  21
    Non-Existence of a Countable Strongly Adequate Matrix Semantics for Neighbours of E.Wies law Dziobiak - 1981 - Bulletin of the Section of Logic 10 (4):170-174.
  15.  14
    On Distributivity of the Lattice of Subquasivarieties of a Variety of Heyting Algebras.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):37-40.
  16.  14
    On Matrices Characteristic of Relevant Logics.Wies law Dziobiak - 1981 - Bulletin of the Section of Logic 10 (3):113-114.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  14
    On Strongly Finite Consequence Operations.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  14
    On Two Notions Concerning the Structural Sentential Calculi.Wies law Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    Quasivariety Generated by a Finite Sugihara Structure has Finitely Many Subquasivarieties.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):27-29.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  20
    Structural Completeness of Modal Logics Containing K4.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  14
    Semantics of Kripke's Style for Some Modal Systems.Wies law Dziobiak - 1976 - Bulletin of the Section of Logic 5 (2):63-66.
  22.  51
    There Are 2ℵ0 Logics with the Relevance Principle Between R and Rm.Wies law Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3/4):161-166.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  18
    On Two Properties of Structurally Complete Logics.Andrzej Biela & Wies law Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3/4):154-158.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. The Awfulness of Pain.George Pitcher - 1970 - Journal of Philosophy 67 (July):481-491.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25.  22
    A Reply to Critics.Aw Eaton - 2008 - Symposia on Gender, Race, and Philosophy 4 (2).
  26.  34
    Wie Effizient Sollen Altruisten Handeln? [= How Efficiently Should Altruists Act?].Christoph Lumer - 2021 - In Johannes L. Brandl, Beatrice S. Kobow & Daniel Messelken (eds.), Analytische Explikationen & Interventionen / Analytical Explications & Interventions. Ein Salzburger Symposium für und mit Georg Meggle. Brill-mentis. pp. 226-249.
    The article develops a general theory of the goals of free moral commitment. The theoretical hook is the discussion of the strict efficiency striving as demanded by the movement and theory of effective altruism. A detailed example shows prima facie counterintuitive consequences of this efficiency striving, the analysis of which reveals various problems such as: merely point-like but not structural commitment; radical universalism; violation of established moral standards and institutions. The article takes these problems as an occasion to develop a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  27.  30
    The Lattice of Strengthenings of a Strongly Finite Consequence Operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  7
    Wie aus Umweltforschung die genetische Pränataldiagnostik entstand: Über eine Methodenverschiebung in der Vorsorge um 1970.Fabian Zimmer & Birgit Nemec - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (1):39-78.
    ZusammenfassungDie Geschichte der genetischen Pränataldiagnostik ist bislang als Teil der Geschichte der Humangenetik und deren Neuorientierung als klinisch-laborwissenschaftliche Disziplin in der zweiten Hälfte des 20. Jahrhunderts betrachtet worden. Anhand neuen Quellenmaterials soll in diesem Beitrag gezeigt werden, dass das Interesse an der Pränataldiagnostik in Westdeutschland auch im Kontext von Forschungen entstand, die sich mit Gefahren für den Menschen in der Umwelt befassten. Anhand der Debatten um die Einrichtung des DFG-Schwerpunktprogramms „Pränatale Diagnostik genetischer Defekte“ 1970 untersuchen wir, wie die Technik der (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  29. Dretske's Awful Answer.Fred Dretske - 1995 - Philosophia 24 (3-4):459-464.
  30. Wie Schlüssig Ist Albert Camus’ Frühe „Logik des Absurden“?Thomas Pölzler - 2016 - Allgemeine Zeitschrift für Philosophie 41 (1):59-76.
    Im Roman „Der Fremde“, dem Drama „Caligula“ und insbesondere dem Essay „Der Mythos des Sisyphos“ entwickelt Albert Camus eine erste Fassung einer „Logik des Absurden“. Die menschliche Existenz sei geprägt durch ein Spannungsverhältnis zwischen unserem Streben nach Sinn und einer dieses Streben fortwährend enttäuschenden Welt. Auf die Erkenntnis dieser Tatsache darf man Camus zufolge weder mit Selbstmord noch mit dem Aufgeben des Strebens nach Sinn reagieren. Vielmehr fordert er eine Haltung der beständigen Auflehnung. In meinem Artikel gehe ich der Frage (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31.  27
    On the Lattice of Quasivarieties of Sugihara Algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  9
    Wie Aus Umweltforschung Die Genetische Pränataldiagnostik entstandThe Emergence of Genetic Prenatal Diagnosis From Environmental Research.Birgit Nemec & Fabian Zimmer - 2019 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 27 (1):39-78.
  33.  51
    Aristotle's Syllogistic and its Extensions.Czes?aw Lejewski - 1963 - Synthese 15 (1):125 - 154.
  34.  44
    Equivalents for a Quasivariety to Be Generated by a Single Structure.Wieslaw Dziobiak, A. V. Kravchenko & Piotr J. Wojciechowski - 2009 - Studia Logica 91 (1):113-123.
    We present some equivalent conditions for a quasivariety K 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 A, B Є K are nontrivial, then there exists C Є X such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in X is closed under a certain Gentzen type rule (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Wie Argumentieren Rechtspopulisten? Eine Argumentationsanalyse des AfD-Wahlprogramms.David Lanius - 2017 - Diskussionspapiere / Institut Für Technikzukünfte.
    Mit großer Wahrscheinlichkeit wird die Alternative für Deutschland (AfD) am 24. September in den Bundestag einziehen. Jüngste Umfragen legen nahe, dass sie sogar drittstärkste Partei werden könnte. Warum findet die AfD so viele Unterstützerinnen und Unterstützer? Mit welchen Argumenten wirbt die AfD für ihren Einzug in den Bundestag? Das Wahlprogramm der AfD zeigt nicht nur, wofür die Partei steht, sondern auch welche Strategie sie bei der Bundestagswahl und darüber hinaus verfolgt. Aus diesem Grund habe ich es argumentationstheoretisch analysiert und die (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  36.  17
    Modal Logics Connected with Systems S4n of Sobociński.Jerzy J. Blaszczuk & Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):151-164.
  37.  20
    Wie hilfreich sind „ethische Richtlinien“ am Einzelfall?Are “Ethics Guidelines” helpful in taking critical treatment decisions?Sandra Bartels, Mike Parker, Tony Hope & Stella Reiter-Theil - 2005 - Ethik in der Medizin 17 (3):191-205.
    ZusammenfassungEntscheidungen der Therapiebegrenzung und in der Betreuung am Lebensende sind häufig komplex und von ethischen Problemen begleitet. Im Mittelpunkt der Untersuchung steht die entscheidende Frage, wie hilfreich existierende „Ethik-Richtlinien“, die eine ethische Orientierung bei solchen Entscheidungen geben sollen, in der klinischen Praxis tatsächlich sind. Die Frage, welchen Nutzen „Ethik-Richtlinien“ bei der Entscheidungsfindung haben oder haben können, wird hier exemplarisch an einem klinischen Fallbeispiel aus einer Ethik-Kooperationsstudie in der Intensivmedizin analysiert. Vergleichend werden hierzu „Ethik-Richtlinien“ aus Deutschland, der Schweiz und aus Großbritannien (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  38.  3
    Wie Berechenbar Ist Unsere Welt: Herausforderungen Für Mathematik, Informatik Und Philosophie Im Zeitalter der Digitalisierung.Klaus Mainzer - 2018 - Springer Fachmedien Wiesbaden.
    Klaus Mainzer legt in diesem essential dar, dass die Zukunft von KI und Digitalisierung eine nüchterne Analyse erfordert, die Grundlagenforschung mit Anwendung verbindet. Berechenbarkeits- und Beweistheorie können dazu beitragen, Big Data und Machine Learning sicherer zu bewältigen. Dabei zeigt sich, dass die komplexen Herausforderungen der digitalen und analogen Welt in Grundlagenfragen der Mathematik, Informatik und Philosophie tief verwurzelt sind.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  39. In D. Bar-Tal & AW Kruglanski.M. P. Zanna & J. K. Rempel - 1988 - In Daniel Bar-Tal & Arie W. Kruglanski (eds.), The Social Psychology of Knowledge. Editions de la Maison des Sciences de L'homme. pp. 315--354.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  40.  24
    Wie hilfreich sind „ethische Richtlinien“ am Einzelfall?Sandra Bartels, Mike Parker, Tony Hope & Prof Dr Stella Reiter-Theil - 2005 - Ethik in der Medizin 17 (3):191-205.
    Entscheidungen der Therapiebegrenzung und in der Betreuung am Lebensende sind häufig komplex und von ethischen Problemen begleitet. Im Mittelpunkt der Untersuchung steht die entscheidende Frage, wie hilfreich existierende „Ethik-Richtlinien“, die eine ethische Orientierung bei solchen Entscheidungen geben sollen, in der klinischen Praxis tatsächlich sind. Die Frage, welchen Nutzen „Ethik-Richtlinien“ bei der Entscheidungsfindung haben oder haben können, wird hier exemplarisch an einem klinischen Fallbeispiel aus einer Ethik-Kooperationsstudie in der Intensivmedizin analysiert. Vergleichend werden hierzu „Ethik-Richtlinien“ aus Deutschland, der Schweiz und aus Großbritannien (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  41.  1
    Wie zuverlässig und wirklichkeitsgetreu sind unsere Erinnerungen?Wolfgang Mertens - 2019 - Psyche 73 (12):974-1001.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42.  34
    The Degrees of Maximality of the Intuitionistic Propositional Logic and of Some of its Fragments.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):195 - 198.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  26
    God’s Awful Majesty Before Our Eyes: Kant’s Moral Justification for Divine Hiddenness.Tyler Paytas - 2017 - Kantian Review 22 (1):133-157.
    The problem of ‘divine hiddenness’ arises from the lack of an explanation for why an all-loving God would choose not to make his existence evident. I argue that Kant provides a compelling solution to this problem in an often overlooked passage located near the end of the second Critique. Kant’s suggestion is that God’s revealing himself would preclude the development of virtue because we would lose the experience of conflict between self-interest and the law. I provide a reconstruction and defence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  4
    Wie Man Eine Platonstelle Deutet: Exegetische Strukturen Im Mittelplatonismus.Federico M. Petrucci - 2018 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 162 (1):55-91.
    Journal Name: Philologus Issue: Ahead of print.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  4
    Wie können nachhaltige Veränderungen in Langzeittherapien untersucht werden?Johannes Kaufhold, Ulrich Bahrke, Lisa Kallenbach, Alexa Negele, Mareike Ernst, Wolfram Keller, Patrick Rachel, George Fiedler, Martin Hautzinger, Marianne Leuzinger-Bohleber & Manfred Beutel - 2019 - Psyche 73 (2):106-133.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  45
    Wie sollten Ärzte mit Patientenverfügungen umgehen? Ein Vorschlag aus interdisziplinärer Sicht.Dieter Birnbacher, Peter Dabrock, Jochen Taupitz & Jochen Vollmann - 2007 - Ethik in der Medizin 19 (2):139-147.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  47.  57
    A Formal Ontology of Situations.Bogus?aw Wolniewicz - 1982 - Studia Logica 41 (4):381 - 413.
    A generalized Wittgensteinian semantics for propositional languages is presented, based on a lattice of elementary situations. Of these, maximal ones are possible worlds, constituting a logical space; minimal ones are logical atoms, partitioned into its dimensions. A verifier of a proposition is an elementary situation such that if real it makes true. The reference (or objective) of a proposition is a situation, which is the set of all its minimal verifiers. (Maximal ones constitute its locus.) Situations are shown to form (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  28
    Joins of Minimal Quasivarieties.M. E. Adams & W. Dziobiak - 1995 - Studia Logica 54 (3):371 - 389.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  48
    Wie viel Subjektivität verträgt der ontologische Realismus?Markus Gabriel - 2017 - Deutsche Zeitschrift für Philosophie 65 (4):792-797.
    Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 65 Heft: 4 Seiten: 792-797.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  50.  37
    Pewien Dowód Zupeŀności Dwuwartościowego Rachunku Zdań.Wacŀaw Sadowski - 1961 - Studia Logica 11 (1):49 - 55.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000