Results for 'Joanna Goli��ska-Pilarek'

1000+ found
Order:
  1.  3
    A Hybrid Qualitative Approach for Relative Movements.J. Goli ska-Pilarek & E. Munoz-Velasco - 2015 - Logic Journal of the IGPL 23 (3):410-420.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  7
    Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17, 2018, pp. 502: ISBN 978-3-319-97878-9 (Hardcover) EURO 135,19, ISBN 978-3-319-97879-6 (eBook) EURO 106,99. [REVIEW]Ingrid Rewitzky - 2021 - Studia Logica 109 (2):443-445.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  19
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  46
    Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.
    We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  30
    Number of Extensions of Non-Fregean Logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2005 - Journal of Philosophical Logic 34 (2):193-206.
    We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  13
    Relational Approach for a Logic for Order of Magnitude Qualitative Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
    We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  5
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  21
    Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
    We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI}_{\mathsf{Q}}$. We prove that $\mathsf{SCI}_{\mathsf{Q}}$ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in $\mathsf{SCI}_{\mathsf{Q}}$ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of $\mathsf{SCI}_{\mathsf{Q}}$-sentences. Finally, we present a translation of $\mathsf{SCI}_{\mathsf{Q}}$ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic properties of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  36
    Rasiowa-Sikorski Proof System for the Non-Fregean Sentential Logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
    The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ?a = ß' means ?a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Spectra of Formulae with Henkin Quantifiers.Joanna Golinska-Pilarek & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29-45.
    It is known that various complexity-theoretical problems can be translated into some special spectra problems. Thus, questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quantifiers in the empty vocabulary.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Logic. Of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  36
    Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
    Qualitative description of the movement of objects can be very important when there are large quantity of data or incomplete information, such as in positioning technologies and movement of robots. We present a first step in the combination of fuzzy qualitative reasoning and quantitative data obtained by human interaction and external devices as GPS, in order to update and correct the qualitative information. We consider a Propositional Dynamic Logic which deals with qualitative velocity and enables us to represent some reasoning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  35
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  24
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  39
    A New Deduction System for Deciding Validity in Modal Logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
    A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the system itself is a decision (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  45
    Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, Pp. Xvi+523, 113 Illus. ISBN: 978-94-007-0004-8 EURO 181,85, 978-94-007-0005-5 EURO 159,99. [REVIEW]Walter Carnielli - 2013 - Studia Logica 101 (1):229-232.
  17.  12
    Dual Tableau for Monoidal Triangular Norm Logic MTL.Joanna Golinska-Pilarek & Ewa Orlowska - 2011 - Fuzzy Sets and Systems 162 (1):39–52.
    Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  40
    An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
    We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualitative sum of some classes of numbers. In the design of our ATP, we have introduced some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Filozofia w Polsce po reformie – szanse i wyzwania.Joanna Golińska-Pilarek - 2020 - Ruch Filozoficzny 76 (1):251.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  26
    Dual Tableau for a Multimodal Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
    We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  20
    Relational Logics and Their Applications.Joanna Golińska-Pilarek & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 125.
    Logics of binary relations corresponding, among others, to the class RRA of representable relation algebras and the class FRA of full relation algebras are presented together with the proof systems in the style of dual tableaux. Next, the logics are extended with relational constants interpreted as point relations. Applications of these logics to reasoning in non-classical logics are recalled. An example is given of a dual tableau proof of an equation which is RRA-valid, while not RA-valid.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  24
    Logics of Similarity and Their Dual Tableaux. A Survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
    We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  22
    Number of Non-Fregean Sentential Logics That Have Adequate Models.Joanna Golińska-Pilarek - 2006 - Mathematical Logic Quarterly 52 (5):439–443.
    We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  20
    Relational Proof Systems for Spatial Reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
    We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  34
    Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
    The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  13
    Tableau Reductions: Towards an Optimal Decision Procedure for the Modal Necessity.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora - 2016 - Journal of Applied Logic 17:14-24.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  12
    On the Minimal Non-Fregean Grzegorczyk Logic.Joanna Golińska-Pilarek - 2016 - Studia Logica 104 (2):209-234.
    The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \ and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \, which makes it a generic non-Fregean (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golinska-Pilarek - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 255--266.
    Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Everything is a Relation: A Preview.Michał Zawidzki & Joanna Golińska-Pilarek - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag. pp. 3-24.
    This chapter provides a concise overview of Ewa Orłowska’s research contributions and the content of the volume.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Engaged in Relations: A Trialogue.Michał Zawidzki, Joanna Golińska-Pilarek & Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag.
    The chapter is a transcription of editors’ discussion with Ewa Orłowska. It reveals some extracurricular flavors of Ewa Orłowska’s biography, brings to light a difficult historical context of her academic career and life, and shows how much internal fortitude she demonstrated while overcoming these difficulties.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  10
    Ewa Orłowska on Relational Methods in Logic and Computer Science.Michał Zawidzki & Joanna Golińska-Pilarek (eds.) - 2018 - Cham, Switzerland: Springer Verlag.
    This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  45
    Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
    Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  25
    Implementing a Relational Theorem Prover for Modal Logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
    An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic K has been introduced. Although there are many well-known implementations of provers for modal logic, as far as we know, it is the first implementation of a specific relational prover for a standard modal logic. There are two main contributions in this paper. First, the implementation of new rules, called (k1) and (k2), which substitute the classical relational rules (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Anita Burdamn-Feferman, Solomon Feferman, Alfred Tarski. Życie i logika, przeł. Joanna Golińska-Pilarek, Marian Srebrny, Warszawa 2009, ss. 475. [REVIEW]Bożena Czarnecka-Rej - 2011 - Roczniki Filozoficzne:79-84.
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  4
    Wspomnienie - Joanna Jabłkowska.Joanna Jabłkowska - 2011 - Etyka 44:106-109.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. TeodyceaChryzypa. Recenzje i sprawozdania: Pierre Hadot -Filozofia jako ćwiczenie duchowe (Joanna Jarzębiak).Joanna Jarzębiak - 2004 - Ruch Filozoficzny 3 (3).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  15
    Multitasking Ska in Chromosome Segregation: Its Distinct Pools Might Specify Various Functions.Qian Zhang, Yujue Chen, Lu Yang & Hong Liu - 2018 - Bioessays 40 (3):1700176.
    The human spindle and kinetochore associated complex is required for proper mitotic progression. Extensive studies have demonstrated its important functions in both stable kinetochore-microtubule interactions and spindle checkpoint silencing. We suggest a model to explain how various Ska functions might be fulfilled by distinct pools of Ska at kinetochores. The Ndc80-loop pool of Ska is recruited by the Ndc80 loop, or together with some of its flanking sequences, and the recruitment is also dependent on Cdk1-mediated Ska3 phosphorylation. This pool seems (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  76
    Patiency is Not a Virtue: The Design of Intelligent Systems and Systems of Ethics.Joanna J. Bryson - 2018 - Ethics and Information Technology 20 (1):15-26.
    The question of whether AI systems such as robots can or should be afforded moral agency or patiency is not one amenable either to discovery or simple reasoning, because we as societies constantly reconstruct our artefacts, including our ethical systems. Consequently, the place of AI systems in society is a matter of normative, not descriptive ethics. Here I start from a functionalist assumption, that ethics is the set of behaviour that maintains a society. This assumption allows me to exploit the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  39.  48
    Robots Should Be Slaves.Joanna J. Bryson - 2010 - In Yorick Wilks (ed.), Close Engagements with Artificial Companions: Key social, psychological, ethical and design issues. pp. 63-74.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  40.  42
    Of, for, and by the People: The Legal Lacuna of Synthetic Persons.Joanna J. Bryson, Mihailis E. Diamantis & Thomas D. Grant - 2017 - Artificial Intelligence and Law 25 (3):273-291.
    Conferring legal personhood on purely synthetic entities is a very real legal possibility, one under consideration presently by the European Union. We show here that such legislative action would be morally unnecessary and legally troublesome. While AI legal personhood may have some emotional or economic appeal, so do many superficially desirable hazards against which the law protects us. We review the utility and history of legal fictions of personhood, discussing salient precedents where such fictions resulted in abuse or incoherence. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  41.  8
    Ahıska Türklerinin Müzik Kültürlerine Yönelik Bir Araştırma.Ülkü Sevim ŞEN - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 5):1849-1849.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  29
    Assimilation and Contrast Effects in Suboptimal Affective Priming Paradigm.Dorota Kobylińska & Dorota Karwowska - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  12
    Just an Artifact: Why Machines Are Perceived as Moral Agents.Joanna J. Bryson & Philip P. Kime - manuscript
    How obliged can we be to AI, and how much danger does it pose us? A surprising proportion of our society holds exaggerated fears or hopes for AI, such as the fear of robot world conquest, or the hope that AI will indefinitely perpetuate our cul- ture. These misapprehensions are symptomatic of a larger problem—a confusion about the nature and origins of ethics and its role in society. While AI technologies do pose promises and threats, these are not qualitatively different (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  84
    Necessity, Moral Liability, and Defensive Harm.Joanna Mary Firth & Jonathan Quong - 2012 - Law and Philosophy 31 (6):673-701.
    A person who is liable to defensive harm has forfeited his rights against the imposition of the harm, and so is not wronged if that harm is imposed. A number of philosophers, most notably Jeff McMahan, argue for an instrumental account of liability, whereby a person is liable to defensive harm when he is either morally or culpably responsible for an unjust threat of harm to others, and when the imposition of defensive harm is necessary to avert the threatened unjust (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  45. Hur ska man förstå McTaggarts paradox?Rögnvaldur Ingthorsson - 2000 - Filosofisk Tidskrift 21 (3):13–24.
    I sitt berömda bevis för tidens overklighet påstod McTaggart att det sätt händelser tycks skifta position i tiden från framtid till nutid och till förfluten tid, innebär en motsägelse. Vad McTaggart egentligen menade har varit föremål för en livlig debatt ända sedan beviset först publicerades 1908. Beviset består av två delar. I den första argumenterar McTaggart för att ingenting kan förändras förutom genom att övergå från framtid till förfluten tid. I den andra argumenterar han för att en sådan övergång innebär (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  19
    What Makes Clinical Labour Different? The Case of Human Guinea Pigging.Joanna Różyńska - 2018 - Journal of Medical Ethics 44 (9):638-642.
    Each year thousands of individuals enrol in clinical trials as healthy volunteers to earn money. Some of them pursue research participation as a full-time or at least a part-time job. They call themselves professional or semiprofessional guinea pigs. The practice of paying healthy volunteers raises numerous ethical concerns. Different payment models have been discussed in literature. Dickert and Grady argue for a wage-payment model. This model gives research subjects a standardised hourly wage, and it is based on an assumption that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. The Practical Implications of the New Metaphysics of Race for a Postracial Medicine: Biomedical Research Methodology, Institutional Requirements, Patient–Physician Relations.Joanna K. Malinowska & Tomasz Żuradzki - 2017 - American Journal of Bioethics 17 (9):61-63.
    Perez-Rodriguez and de la Fuente (2017) assume that although human races do not exist in a biological sense (“geneticists and evolutionary biologists generally agree that the division of humans into races/subspecies has no defensible scientific basis,” they exist only as “sociocultural constructions” and because of that maintain an illusory reality, for example, through “racialized” practices in medicine. Agreeing with the main postulates formulated in the article, we believe that the authors treat this problem in a superficial manner and have failed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  8
    SKA, Jean-Louis, Le Passage de la Mer : Étude de la Construction, du Style Et de la Symbolique d'Ex. 14, 1-31SKA, Jean-Louis, Le Passage de la Mer : Étude de la Construction, du Style Et de la Symbolique d'Ex. 14, 1-31. [REVIEW]Marc Girard - 1988 - Laval Théologique et Philosophique 44 (2):258-259.
  49.  14
    Picturebooks, Pedagogy and Philosophy.Joanna Haynes - 2011 - Routledge.
    A CHOICE Outstanding Academic Title 2012! Contemporary picturebooks open up spaces for philosophical dialogues between people of all ages. As works of art, picturebooks offer unique opportunities to explore ideas and to create meaning collaboratively. This book considers censorship of certain well-known picturebooks, challenging the assumptions on which this censorship is based. Through a lively exploration of children's responses to these same picturebooks the authors paint a way of working philosophically based on respectful listening and creative and authentic interactions, rather (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  50. A Role for Consciousness in Action Selection.Joanna J. Bryson - 2012 - International Journal of Machine Consciousness 4 (2):471-482.
1 — 50 / 1000