Results for 'Wojciech Nocek'

652 found
Order:
  1. Kilka uwag krytycznych o \"Historii socjaldemokracji niemieckiej\"- Franciszka Mehringa (Franciszek Mehring, Historia socjaldemokracji niemieckiej, Książka i Wiedza, Warszawa 1963- 1965). [REVIEW]Wojciech Nocek - 1970 - Człowiek I Światopogląd 2 (12):140-145.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Wspomnienie - Wojciech Robaczyński.Wojciech Robaczyński - 2011 - Etyka 44:121-123.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  21
    To: “Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 1: Event Location and Stimulation Performance,” Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński, and Marko Riedel, Interpretation, 6, No. 3, SH39–SH48, Http://Dx.Doi.Org/10.1190/Int-2017-0205.1. [REVIEW]Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - 2018 - Interpretation: SEG 6 (4):Y3-Y5.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Giving Desert its Due: Social Justice and Legal Theory.Wojciech Sadurski - 1985 - D. Reidel Publishing Company.
  5.  14
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland, Part I: Events Location and Stimulation Performance.Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - forthcoming - Interpretation:1-29.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  9
    Geology, Myth, Media.A. J. Nocek - 2018 - Substance 47 (2):84-106.
    This article argues for the relevance of mythical signification in our geological epoch. More than this, it contends that we need to revise our assumptions about media and communication systems in order to grasp the importance of myth in an era where the future of human and nonhuman life on the Earth is entirely uncertain. To make this case, I focus on the growing consensus in the sciences and theoretical humanities that mythical stories about geological and planetary processes cannot simply (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  6
    Ontogenesis Beyond Complexity.Adam Nocek & Cary Wolfe - 2020 - Angelaki 25 (3):1-2.
    This article develops a media philosophical framework for addressing the intersection of epigenetics and complex dynamical systems in theoretical biology. In particular, it argues that the theoretical humanities need to think critically about the computability of epigenomic regulation, as well as speculatively about the possibility of an epigenomics beyond complexity. The fact that such a conceptual framework does not exist suggests not only a failure to engage with the mathematics of complexity, but also a failure to engage with its history. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Ontogenesis Beyond Complexity: The Work of the Ontogenetics Process Group.Adam Nocek & Cary Wolfe - 2020 - Angelaki 25 (3):3-8.
    This article develops a media philosophical framework for addressing the intersection of epigenetics and complex dynamical systems in theoretical biology. In particular, it argues that the theoretical humanities need to think critically about the computability of epigenomic regulation, as well as speculatively about the possibility of an epigenomics beyond complexity. The fact that such a conceptual framework does not exist suggests not only a failure to engage with the mathematics of complexity, but also a failure to engage with its history. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    On the Risk of Gaia for an Ecology of Practices.A. J. Nocek - 2018 - Substance 47 (1):96-111.
    The work of Isabelle Stengers engages a baffling number of topics and includes collaborators from across many disciplines and practices. For this reason, there is perhaps no set of terms or concepts that easily encapsulates her work. Nevertheless, in recent years concepts such as “cosmopolitics” and the “ecology of practices” have gained a special currency in the context of humanities and social science research. While cosmopolitics is not a new term, and Stengers is certainly not the only one to employ (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  16
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland, Part II: Shear Wave Splitting Analysis.Wojciech Gajek, Michał Malinowski & James Verdon - forthcoming - Interpretation:1-36.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  24
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
  12. Mathematical Linguistics and Proof Theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
     
    Export citation  
     
    Bookmark   19 citations  
  13.  15
    Almost Structural Completeness; an Algebraic Approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
  14.  12
    Results of the Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 1: Event Location and Stimulation Performance.Wojciech Gajek, Jacek Trojanowski, Michał Malinowski, Marek Jarosiński & Marko Riedel - 2018 - Interpretation: SEG 6 (3):SH39-SH48.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  24
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (1-5):13-28.
  16.  23
    Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
    We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  22
    Constructive Knowledge: What Agents Can Achieve Under Imperfect Information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.
    We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for ?practical? or ?constructive? knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  14
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
  19.  13
    On the Position of Helium and Neon in the Periodic Table of Elements.Wojciech Grochala - 2018 - Foundations of Chemistry 20 (3):191-207.
    Helium and neon, the two lightest noble gases, have been traditionally positioned by IUPAC in the Group 18 of the Periodic Table of Elements, together with argon, and other unreactive or moderately reactive gaseous elements, and oganesson. In this account we revive the old discussion on the possible placement of helium in the Group 2, while preserving the position of neon in Group 18. We provide quantum-chemical arguments for such scenario—as well as other qualitative and quantitative arguments—and we describe previous (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  16
    Remarks on Projective Unifiers.Wojciech Dzik - 2011 - Bulletin of the Section of Logic 40 (1/2):37-45.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  27
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):539-548.
  22.  21
    Ludwik Fleck.Wojciech Sady - unknown - Stanford Encyclopedia of Philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  23.  12
    Unification in Superintuitionistic Predicate Logics and its Applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  35
    Categorial Grammars Determined From Linguistic Data by Unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.
    We provide an algorithm for determining a categorial grammar from linguistic data that essentially uses unification of type-schemes assigned to atoms. The algorithm presented here extends an earlier one restricted to rigid categorial grammars, introduced in [4] and [5], by admitting non-rigid outputs. The key innovation is the notion of an optimal unifier, a natural generalization of that of a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  5
    Problem istoty i pomiaru dobrobytu.Wojciech Rybka - 2019 - Philosophical Problems in Science 67:203-248.
    Well-being is becoming an increasingly popular issue in economics. The aim of the article is to present the concept of well-being and the methods of its measurement and to examine the statistical significance between the results obtained by specific indicators. The article was written based on the meta-analysis of the books and scientific papers on the subject, as well as well-being and welfare measurement reports. The study shows that there is a very wide range of theories and concepts related to (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  20
    Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  27.  35
    The Socratic Dimension of Kierkegaard's Imitation.Wojciech T. Kaftański - 2016 - Heythrop Journal 57 (4):599-611.
    This article reevaluates the origins of Kierkegaard’s concept of imitation. It challenges the general approach to the genealogy of the phenomenon in question, which privileges the influence of various religious traditions on the thinker and ignores his exposure to the non-Christian literature. I contend that a close reading of the Apology, the Sophist, the Republic, and the Phaedo alongside Kierkegaard’s texts from the so-called second authorship reveals in the dialogues of Plato the three crucial aspects of Kierkegaard’s concept of imitation, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  20
    “If Happiness is Not the Aim of Politics, Then What Is?”: Rorty Versus Foucault.Wojciech Małecki - 2011 - Foucault Studies 11:106-125.
    In this paper, I present a new account of Richard Rorty’s interpretation of Michel Foucault, which demonstrates that in the course of his career, Rorty presented several diverse (often mutually exclusive) criticisms of Foucault’s political thought. These give different interpretations of what he took to be the flaws of that thought, but also provide different explanations as to the sources of these flaws. I argue that Rorty’s specific criticisms can be divided into two overall groups. Sometimes he saw Foucault’s rejection (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  43
    Computer Science and Philosophy: Did Plato Foresee Object-Oriented Programming?Wojciech Tylman - 2018 - Foundations of Science 23 (1):159-172.
    This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  30
    Distributive Justice and the Theory of Punishment.Wojciech Sadurski - 1985 - Oxford Journal of Legal Studies 5 (1):47-59.
  31.  27
    The Finite Model Property for BCI and Related Systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
    We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  7
    Sequent Systems for Compact Bilinear Logic.Wojciech Buszkowski - 2003 - Mathematical Logic Quarterly 49 (5):467.
    Compact Bilinear Logic , introduced by Lambek [14], arises from the multiplicative fragment of Noncommutative Linear Logic of Abrusci [1] by identifying times with par and 0 with 1. In this paper, we present two sequent systems for CBL and prove the cut-elimination theorem for them. We also discuss a connection between cut-elimination for CBL and the Switching Lemma from [14].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  33.  57
    Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.
    Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  48
    Legitimacy, Political Equality, and Majority Rule.Wojciech Sadurski - 2008 - Ratio Juris 21 (1):39-65.
  35.  10
    Is Spinoza’s Ethics Heteronomous in the Kantian Sense of the Term?Wojciech Kozyra - 2018 - Kantian Journal 37 (4):35-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  13
    Results of Downhole Microseismic Monitoring at a Pilot Hydraulic Fracturing Site in Poland — Part 2: S-Wave Splitting Analysis.Wojciech Gajek, Michał Malinowski & James P. Verdon - 2018 - Interpretation: SEG 6 (3):SH49-SH58.
    Observations of azimuthal seismic anisotropy provide useful information, notably on stress orientation and the presence of preexisting natural fracture systems, during hydraulic fracturing operations. Seismic anisotropy can be observed through the measurement of S-wave splitting on waveforms generated by microseismic events and recorded on downhole geophone arrays. We have developed measurements of azimuthal anisotropy from a Lower Paleozoic shale play in northern Poland. The observed orthorhombic anisotropic symmetry system is dominated by a vertically transverse isotropy fabric, produced by the alignment (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  3
    Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
    In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Quantum Theory and Measurement.John Archibald Wheeler & Wojciech Hubert Zurek - 1985 - Philosophy of Science 52 (3):480-481.
     
    Export citation  
     
    Bookmark   104 citations  
  39.  70
    Noemata and Their Formalization.Wojciech Krysztofiak - 1995 - Synthese 105 (1):53 - 86.
    The presentation of the formal conception of noemata is the main aim of the article. In the first section, three informal approaches to noemata are discussed. The goal of this chapter is specifying main controversies and their sources concerned with different ways of the understanding of noemata. In the second section, basic assumptions determining the proposed way of understanding noemata are presented. The third section is devoted to the formal set-theoretic construction needed for the formal comprehension of noemata. In the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40.  18
    Joseph Raz on Liberal Neutrality and the Harm Principle.Wojciech Sadurski - 1990 - Oxford Journal of Legal Studies 10 (1):122-133.
  41.  23
    Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  26
    A Direct Proof of the Equivalence of Free Categorial Grammars and Simple Phrase Structure Grammars.Wojciech Zielonka - 1978 - Studia Logica 37 (1):41 - 57.
    In [2], Bar-Hillel, Gaifman, and Shamir prove that the simple phrase structure grammars (SPGs) defined by Chomsky are equivalent in a certain sense to Bar-Hillel's bidirectional categorial grammars (BCGs). On the other hand, Cohen [3] proves the equivalence of the latter ones to what the calls free categorial grammars (FCGs). They are closely related to Lambek's syntactic calculus which, in turn, is based on the idea due to Ajdukiewicz [1]. For the reasons which will be discussed in the last section, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Social Justice and Legal Justice.Wojciech Sadurski - 1984 - Law and Philosophy 3 (3):329 - 354.
    The main aim of this paper is to challenge the validity of the distinction between legal justice and social justice. It is argued that what we usually call legal justice is either an application of the more fundamental notion of social justice to legal rules and decisions or is not a matter of justice at all. In other words, the only correct uses of the notion of legal justice are derivative from the notion of social justice and, hence, the alleged (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  11
    Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  22
    Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.
    We give a proof of the finite model property of some fragments of commutative and noncommutative linear logic: the Lambek calculus, BCI, BCK and their enrichments, MALL and Cyclic MALL. We essentially simplify the method used in [4] for proving fmp of BCI and the Lambek ca culus and in [5] for proving fmp of MALL. Our construction of finite models also differs from that used in Lafont [8] in his proof of fmp of MALL.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  19
    Equality and Legitimacy.Wojciech Sadurski - 2008 - Oxford University Press.
    This book examines the relationship between the idea of legitimacy of law in a democratic system and equality, conceived in a tripartite sense: political, legal, and social. Exploring the constituent elements of the legal philosophy underlying concepts of legitimacy, this book seeks to demonstrate how a conception of democratic legitimacy is necessary for understanding and reconciling equality and political legitimacy by tracing and examining the conceptions of equality in political, legal, and social dimensions. -/- In the sphere of political equality (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Freedom of Speech and its Limits.Wojciech Sadurski - 1999
  48.  18
    Presuppositional Completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
    Some notions of the logic of questions (presupposition of a question, validation, entailment) are used for defining certain kinds of completeness of elementary theories. Presuppositional completeness, closely related to -completeness ([3], [6]), is shown to be fulfilled by strong elementary theories like Peano arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  18
    Undecidability of Some Logical Extensions of Ajdukiewicz-Lambek Calculus.Wojciech Buszkowski - 1978 - Studia Logica 37 (1):59 - 64.
  50.  23
    Bohr, Einstein and Realism.Wojciech Daniel - 1989 - Dialectica 43 (3):249-261.
    SummaryThe Bohr‐Einstein debate on the interpretation of quantum mechanics may be viewed as a discussion on the epistemological status of knowledge gained by physics. It is shown that in fact the advent of quantum theory has led, in a new context, to an old philosophical controversy between epistemological realism and phenomenalism . An inquiry into this controversy, taking into account the contemporary understanding of quantum mechanics based on the axiomatic study of its foundations, leads to the conclusion that contrary to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 652