Results for 'Andrzej Bogus��awski'

1000+ found
Order:
  1.  21
    Fake/Bogus Conferences: Their Features and Some Subtle Ways to Differentiate Them From Real Ones.Amin Asadi, Nader Rahbar, Mohammad Javad Rezvani & Fahime Asadi - 2018 - Science and Engineering Ethics 24 (2):779-784.
    The main objective of the present paper is to introduce some features of fake/bogus conferences and some viable approaches to differentiate them from the real ones. These fake/bogus conferences introduce themselves as international conferences, which are multidisciplinary and indexed in major scientific digital libraries. Furthermore, most of the fake/bogus conference holders offer publishing the accepted papers in ISI journals and use other techniques in their advertisement e-mails.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Andrzej Wajda's Speech at the Oscar Award Ceremony.Andrzej--Awards Wajda - 2000 - Dialogue and Universalism 10 (9-10):14-15.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  88
    Bogus Mystery About Linguistic Competence.Eugen Fischer - 2003 - Synthese 135 (1):49-75.
    The paper considers a version of the problem of linguistic creativity obtained by interpreting attributions of ordinary semantic knowledge as attributions of practical competencies with expressions. The paper explains how to cope with this version of the problem without invoking either compositional theories of meaning or the notion of `tacit knowledge' (of such theories) that has led to unnecessary puzzlement. The central idea is to show that the core assumption used to raise the problem is false. To render precise argument (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  16
    Adam Grobler, Metodologia Nauk [Methodology of the Sciences] by Andrzej Bronk, Pawel Kawalec.Andrzej Bronk & Pawel Kawałec - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (1):147-149.
  5.  60
    An Interview with Andrzej Wajda.Aleksandra Ziółkowska-Boehm & Andrzej Wajda - 2007 - The Chesterton Review 33 (1-2):294-301.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  56
    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  
  7.  41
    On Academic Achievements and Services of Professor Andrzej Walicki.Andrzej de Lazari - 2006 - Dialogue and Universalism 16 (3/4):98-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Bibliografia Andrzeja Walickiego/na podstawie materiałów dostarczonych przez autora oprac. Andrzej Przymusiała.Andrzej Przymusiała - 1999 - Archiwum Historii Filozofii I Myśli Społecznej 44:249-273.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Bibliografia zawartości" Archiwum Historii Filozofii i Myśli Społecznej" T. l: 1957-T. 50-51: 2005-2006/oprac. Andrzej Przymusiała. [REVIEW]Andrzej Przymusiała - 2006 - Archiwum Historii Filozofii I Myśli Społecznej 50.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  10
    Rationing Crisis: Bogus Standards of Care Unmasked by Covid-19.George J. Annas - 2020 - American Journal of Bioethics 20 (7):167-169.
    Volume 20, Issue 7, July 2020, Page 167-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  80
    Logical Space and Metaphysical Systems.Bogus?aw Wolniewicz - 1983 - Studia Logica 42 (2-3):269 - 284.
    The paper applies the theory presented in A Formal Ontology of Situations (this journal, vol. 41 (1982), no. 4) to obtain a typology of metaphysical systems by interpreting them as different ontologies of situations. Four are treated in some detail: Hume's diachronic atomism, Laplacean determinism, Hume's synchronic atomism, and Wittgenstein's logical atomism. Moreover, the relation of that theory to the situation semantics of Perry and Barwise is discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  7
    Fregean Description Theory in Proof-Theoretical Setting.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  14
    Knowledge: Genuine and Bogus.Mario Bunge - 2011 - Science & Education 20 (5-6):411-438.
  14.  27
    We Must Interpret: The Hermeneutic Retrieval of the Philosophical Tradition. Andrzej Wiercinski in Conversation with Boyd Blundell.Andrzej Wierciński & Boyd Blundell - 2011 - Analecta Hermeneutica 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  50
    Nelson Algebras Through Heyting Ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
    The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  16.  6
    Rule-Generation Theorem and its Applications.Andrzej Indrzejczak - 2018 - Bulletin of the Section of Logic 47 (4):265-281.
    In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  95
    Foundations and Current Problems of General Relativity (Notes by Graham Dixon, Petros Florides and Gerald Lemmer).Andrzej Trautman - 1965 - In A. Trautman (ed.), Lectures on General Relativity. Englewood Cliffs, N.J., Prentice-Hall. pp. 1--1.
  18.  21
    Linear Time in Hypersequent Framework.Andrzej Indrzejczak - 2016 - Bulletin of Symbolic Logic 22 (1):121-144.
    Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  22
    The Proposal of Philosophical Basis of the Health Care System.Andrzej Bielecki & Sylwia Nieszporska - 2017 - Medicine, Health Care and Philosophy 20 (1):23-35.
    The studies of health care systems are conducted intensively on various levels. They are important because the systems suffer from numerous pathologies. The health care is analyzed, first of all, in economic aspects but their functionality in the framework of systems theory is studied, as well. There are also attempts to work out some general values on which health care systems should be based. Nevertheless, the aforementioned studies, however, are fragmentary ones. In this paper holistic approach to the philosophical basis (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  5
    The Critical Theory of Jurgen Habermas.Andrzej Rapaczynski - 1981 - Noûs 15 (3):423-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  21. Natural Deduction.Andrzej Indrzejczak - 2015
    Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.
     
    Export citation  
     
    Bookmark   4 citations  
  22.  4
    Cut Elimination Theorem for Non-Commutative Hypersequent Calculus.Andrzej Indrzejczak - 2017 - Bulletin of the Section of Logic 46 (1/2).
    Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  47
    Erotetic Search Scenarios.Andrzej Wiśniewski - 2003 - Synthese 134 (3):389 - 427.
    The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24. Generalised Sequent Calculus for Propositional Modal Logics.Andrzej Indrzejczak - 1997 - Logica Trianguli 1:15-31.
    The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...)
     
    Export citation  
     
    Bookmark   9 citations  
  25.  38
    Discussion Following the Lecture by Jan Małecki and Andrzej Tomczak.Jan Małecki & Andrzej Tomczak - 2008 - Dialogue and Universalism 18 (9-10):162-166.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. Dispositions and Bogus Counterexamples: Reply to Lee. [REVIEW]Sungho Choi - 2010 - Philosophia 38 (3):579-588.
    This paper discusses Lee’s argument that Lewis’s reformed conditional analysis of dispositions is preferable to the simple conditional analysis of dispositions. Lee’s argument is basically that there are some examples that can be adequately handled by Lewis’s analysis but cannot by the simple conditional analysis of dispositions. But I will reveal that, when carefully understood, they spell no trouble for the simple conditional analysis of dispositions, failing to serve a motivating role for Lewis’s analysis.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  5
    Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - 2019 - Review of Symbolic Logic 12 (4):806-822.
    This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  23
    A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
    The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  2
    Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  30. Marie romantyków. Metafizyczne wizje kobiecości. Mickiewicz - Malczewski - Krasiński.Jarosław Ławski - 2004 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 16 (16).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  71
    Bogus Singular Terms and Substitution Salva Denotatione.Rafal Urbaniak - 2009 - The Reasoner 3.
    This is the third installment of a paper which deals with comparison and evaluation of the standard slingshot argument (for the claim that all true sentences, if they refer, refer to the same object) with the doxastic formulation.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  21
    Sequent Calculi for Monotonic Modal Logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
  33.  1
    Genealogia, swoistość i zadania hermeneutyki filozoficznej (Andrzej Przyłębski, \"Hermeneutyczny zwrot filozofii\").Andrzej Kucner - 2007 - Humanistyka I Przyrodoznawstwo 13:349-360.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  27
    Some Investigations of Varieties of N -Lattices-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
    We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  17
    Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.
    We continue investigations of reasonable ultrafilters on uncountable cardinals defined in previous work by Shelah. We introduce stronger properties of ultrafilters and we show that those properties may be handled in λ-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating systems of size less than $2^\lambda$ . We also show how ultrafilters generated by small systems can be killed by forcing notions which have enough (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  2
    Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
    The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37.  28
    Suszko: A Reminiscence.Bogus?aw Wolniewicz - 1984 - Studia Logica 43 (4):317 - 321.
  38.  7
    Nature and Politics: Liberalism in the Philosophies of Hobbes, Locke, and Rousseau.Andrzej Rapaczynski - 1987 - Cornell University Press.
  39.  14
    Cut-Free Hypersequent Calculus for S4. 3.Andrzej Indrzejczak - 2012 - Bulletin of the Section of Logic 41 (1/2):89-104.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  49
    Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
    This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid logics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  70
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  42.  14
    Discernible Elements in Models for Peano Arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
  43. Pieces of Mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
    In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . We (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  44.  42
    More Forcing Notions Imply Diamond.Andrzej Rosłanowski & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):299-313.
    We prove that the Sacks forcing collapses the continuum onto ${\frak d}$ , answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses $\omega_2$ then it forces $\diamondsuit_{\omega_{1}}$.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  17
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - D. Reidel Pub. Co..
    Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  51
    Why Do We Believe Theorems?Andrzej Pelc - 2009 - Philosophia Mathematica 17 (1):84-94.
    The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  47.  22
    Labelled Tableau Calculi for Weak Modal Logics.Andrzej Indrzejczak - 2007 - Bulletin of the Section of Logic 36 (3-4):159-173.
  48.  26
    Admissibility of Cut in Congruent Modal Logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
    We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  23
    Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.
    We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B V, thenA×B is a homomorphic image of some well-connected algebra ofV.We prove:• each varietyV of Nelson algebras with PQWC lies in the fibre –1(W) for some varietyW of Heyting algebras having PQWC, • for any varietyW of Heyting algebras with PQWC the least and the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50. Między Humanistyką a Przyrodoznawstwem: Od Podstaw Psychologii Do Eksperymentalnej Psychologii Klinicznej.Andrzej Lewicki - 2009 - Ptpn.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000