Results for 'A. Zamansky'

(not author) ( search as author name )
966 found
Order:
  1. Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  26
    On recent applications of paraconsistent logic: an exploratory literature review.A. Zamansky - 2019 - Journal of Applied Non-Classical Logics 29 (4):382-391.
    This paper aims to empirically explore the state of practical applications of paraconsistent logics. To this end, we performed an exploratory literature review, analysing papers published between the years 2015 and 2018. Paraconsistent formalisms based on annotated logics are practically the sole type of approach we found to be applied in engineering applications. The engineering problems solved by paraconsistent approaches were mainly in the fields of signal and image processing and decision support. The results of our exploratory review indicate that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  82
    A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
    This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem, Sánchez and others. The system that we propose is based on the Lambek calculus and works directly on the Curry-Howard counterparts for syntactic representations of natural language, with no intermediate translation to logical formulae. The Lambek -based system we propose extends the system by Fyodorov et~al., which is based on the Ajdukiewicz/Bar-Hillel calculus Bar Hillel,. This enables the system to deal with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  7
    A preferential framework for trivialization-resistant reasoning with inconsistent information.Anna Zamansky - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 463--475.
  5.  14
    A paraconsistent view on B and S5.Arnon Avron & Anna Zamansky - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 21-37.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  13
    Backward and forward masking as a function of number of letters, interstimulus interval, and luminance.Harold S. Zamansky, Bertram Scharf & Roger F. Brightbill - 1971 - Journal of Experimental Psychology 90 (2):235.
  7. Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.
    Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  17
    Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
    Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new negation as $\neg \varphi =_{Def} \sim \Box \varphi$. We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  42
    Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  10. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron & Anna Zamansky - unknown
    An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of coherence (...)
     
    Export citation  
     
    Bookmark  
  11.  10
    Arnon Avron on Semantics and Proof Theory of Non-Classical Logics.Ofer Arieli & Anna Zamansky (eds.) - 2021 - Springer Verlag.
    This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Canonical signed calculi with multi-ary quantifiers.Anna Zamansky & Arnon Avron - 2012 - Annals of Pure and Applied Logic 163 (7):951-960.
  13.  2
    Filosofskai︠a︡ komparativistika: Vostok-Zapad: uchebnoe posobie.A. S. Kolesnikov - 2004 - S.-Peterburg: Izd-vo S.-Peterburgskogo universiteta.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  2
    Kontinualistika: (poznanie vseobshcheĭ svi︠a︡zi): monografi︠a︡.A. P. Svitin - 2004 - Krasnoi︠a︡rsk: BGU.
  15.  15
    Simplified forms of computerized reasoning with distance semantics.Ofer Arieli & Anna Zamansky - 2011 - Journal of Applied Logic 9 (1):1-22.
  16.  21
    Preface.Ofer Arieli & Anna Zamansky - 2016 - Logic Journal of the IGPL 24 (3):221-223.
  17.  3
    Pʻilisopʻayutʻyun bolori hamar.A. T. Gevorki︠a︡n - 2004 - Erevan: Ēdit Print.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. T︠S︡elostnostʹ, krasota, t︠s︡elesoobraznostʹ mira mnozhestvennoĭ prirody =.A. N. Tetior - 2004 - Moskva: Izd-vo Tverskai︠a︡ oblastnai︠a︡ tipografii︠a︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Qaḍāyā falsafīyah.Najīb Ḥaṣādī - 2004 - Miṣrātah: al-Dār al-Jamāhīrīyah lil-Nashr wa-al-Tawzīʻ wa-al-Iʻlān.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  3
    Filosofii︠a︡, metodologii︠a︡, nauka: kollektivnai︠a︡ monografii︠a︡.L. A. Mikeshina (ed.) - 2004 - Moskva: Prometeĭ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Fenomenologii︠a︡ intersubʺektivnosti.I︠A︡. A. Slinin - 2004 - Sankt-Peterburg: Nauka.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  61
    White trash alchemies of the abject sublime : Country as "bad" music.Aaron A. Fox - 2004 - In Christopher Washburne & Maiken Derno (eds.), Bad music: the music we love to hate. New York: Routledge. pp. 39.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  2
    Les philosophes: vie intime.Pierre A. Riffard - 2004 - Paris: Presses universitaires de France.
    Comment devient-on philosophe? Par quel sursaut un Aristoclès se fait-il Platon, jusqu'à s'imposer dans la liste des " auteurs philo " Il faut enquêter, non pas sur la vie privée, mais sur la vie intime : rumination intellectuelle, ton sur lequel on parle, motivations amoureuses... Ce qui fait un philosophe, c'est un immense travail sur soi, et la rencontre d'autres philosophes, vivants, de leurs problématiques. Mémoire sémantique + obsession métaphysique, voilà le code génétique du philosophe. Il débute par un attentat (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  57
    Individual choice in the definition of death.A. Bagheri - 2007 - Journal of Medical Ethics 33 (3):146-149.
    While there are numerous doubts, controversies and lack of consensus on alternative definitions of human death, it is argued that it is more ethical to allow people to choose either cessation of cardio-respiratory function or loss of entire brain function as the definition of death based on their own views. This paper presents the law of organ transplantation in Japan, which allows people to decide whether brain death can be used to determine their death in agreement with their family. Arguably, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  25.  9
    Extraterrestrial altruism: evolution and ethics in the cosmos.Douglas A. Vakoch (ed.) - 2014 - New York: Springer.
    Extraterrestrial Altruism examines a basic assumption of the Search for Extraterrestrial Intelligence (SETI): that extraterrestrials will be transmitting messages to us for our benefit. This question of whether extraterrestrials will be altruistic has become increasingly important in recent years as SETI scientists have begun contemplating transmissions from Earth to make contact. Technological civilizations that transmit signals for the benefit of others, but with no immediate gain for themselves, certainly seem to be altruistic. But does this make biological sense? Should we (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  13
    How (not) to be secular: reading Charles Taylor.James K. A. Smith - 2014 - Grand Rapids, Michigan: William B. Eerdmans Publishing Company.
    How (Not) to Be Secular is what Jamie Smith calls "your hitchhiker's guide to the present" -- it is both a reading guide to Charles Taylor's monumental work A Secular Age and philosophical guidance on how we might learn to live in our times. Taylor's landmark book A Secular Age (2007) provides a monumental, incisive analysis of what it means to live in the post-Christian present -- a pluralist world of competing beliefs and growing unbelief. Jamie Smith's book is a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  6
    Tiempo, sustancia, lenguaje: ensayos de metafísica.Fernando Inciarte Armiñán - 2004 - Pamplona: Universidad de Navarra, Ediciones. Edited by Lourdes Flamarique.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    Nauka na grani s nenaukoĭ.L. A. Markova - 2013 - Moskva: Reabilitat︠s︡ii︠a︡.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  38
    Conversion in American philosophy: exploring the practice of transformation.Roger A. Ward - 2004 - New York, N.Y.: Fordham University Press.
    Introduction: Conversion and the practice of transformation -- The philosophical structure of Jonathan Edwards's religious affections -- Habit, habit change, and conversion in C.S. Peirce -- Reconstructing faith : religious overcoming in Dewey's pragmatism -- Transforming obligation in William James -- Dwelling in absence: the reflective origin of conversion -- Creative transformation : the work of conversion -- The evasion of conversion in recent American philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  27
    A pilot study of bullying and harassment among medical professionals in Pakistan, focussing on psychiatry: need for a medical ombudsman.A. A. M. Gadit & G. Mugford - 2008 - Journal of Medical Ethics 34 (6):463-466.
    Background: The magnitude of bullying and harassment among psychiatrists is reportedly high, yet no peer-review published studies addressing this issue could be found. Therefore, it was decided to conduct a pilot study to assess the degree of the problem, the types of bullying/harassment and to provide some insights into the situation.Methods and Principal Findings: Following multiple focus group meetings, a yes/no response type questionnaire was developed to assess the degree and type of bullying and harassment experienced by psychiatrists. Over a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  23
    A. Bronson Alcott: His Life and Philosophy.E. A., F. B. Sanborn & W. T. Harris - 1893 - Philosophical Review 2 (5):633.
  32.  78
    A Companion to School Classics. By James Gow, M.A., Litt.D. Second edition revised. London : Macmillan and Co. 1889. 6s.S. W. A. - 1889 - The Classical Review 3 (04):179-.
  33.  44
    A Companion to School Classics. By James Gow. Macmillan and Co. 1888.S. W. A. - 1888 - The Classical Review 2 (08):253-254.
  34.  69
    Wittgenstein: a very short introduction.A. C. Grayling - 1988 - Oxford: Oxford University Press.
    Ludwig Wittgenstein (1889-1951) was an extraordinarily original thinker, whose influence on twentieth-century thinking far outside the bounds of philosophy alone. In this engaging Introduction, A.C. Grayling makes Wittgenstein's thought accessible to the general reader by explaining the nature and impact of Wittgenstein's views. He describes both his early and later philosophy, the differences and connections between them, and gives a fresh assessment of Wittgenstein's continuing influence on contemporary thought.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. Ashcroft R, Lucassen A, Parker M, Verkerk M, Widdershoven G eds 2005: Case analysis in clinical ethics.A. Gallagher - 1988 - In Ian E. Thompson, Kath M. Melia & Kenneth M. Boyd (eds.), Nursing ethics. New York: Churchill Livingstone Elsevier. pp. 13--3.
     
    Export citation  
     
    Bookmark  
  36.  3
    Myshlenie, i︠a︡zyk i krushenie mifov o "lingvisticheskoĭ otnositelʹnosti", "i︠a︡zykovoĭ kartine mira" i "marksistsko-leninskom i︠a︡zykoznanii": podstupy k sushchnosti i︠a︡zyka.A. T. Krivonosov - 2006 - Nʹi︠u︡-Ĭork: CheRo.
  37.  5
    Ėmotivnostʹ i ėmot︠s︡iogennostʹ i︠a︡zyka: mekhanizmy ėksplikat︠s︡ii i kont︠s︡eptualizat︠s︡ii.L. I︠U︡ Bui︠a︡nova - 2006 - Krasnodar: Kubanskiĭ gos. universitet. Edited by I︠U︡. P. Nechaĭ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  15
    La universidad del siglo XXI: una epistemología de la educación superior ante la sociedad del conocimiento.Aguilera García & O. Luis - 2006 - [Monterrey]: Comité Regional Norte de Cooperación con la UNESCO.
  39.  15
    Теоретико-методологічні засади психології управлінської діяльності керівника в умовах інформаційного суспільства.М. A. Кононец - 2018 - Гуманітарний Вісник Запорізької Державної Інженерної Академії 72:190-200.
    The urgency of the research topic is that the theoretical and methodological principles of psychology of managerial activity of the head in the conditions of the information society help to increase the levers of management and guidance. The purpose of management - the receipt of the desired result, which must be obtained after the actions of the management of the head as the main operating force, which is heading for transformations, tries to increase the self-governing principle in the organization. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  31
    The Oxford handbook of feminist philosophy. Ásta & Kim Q. Hall (eds.) - 2021 - New York: Oxford University Press.
    This exciting new Handbook offers a comprehensive overview of the contemporary state of the field. The editors' introduction and forty-five essays cover feminist critical engagements with philosophy and adjacent scholarly fields, as well as feminist approaches to current debates and crises across the world. Authors cover topics ranging from the ways in which feminist philosophy attends to other systems of oppression, and the gendered, racialized, and classed assumptions embedded in philosophical concepts, to feminist perspectives on prominent subfields of philosophy. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Epictetus: a Stoic and Socratic guide to life.A. A. Long - 2002 - New York: Oxford University Press.
    The philosophy of Epictetus, a freed slave in the Roman Empire, has been profoundly influential on Western thought: it offers not only stimulating ideas but practical guidance in living one's life. A. A. Long, a leading scholar of later ancient philosophy, gives the definitive presentation of the thought of Epictetus for a broad readership. Long's fresh and vivid translations of a selection of the best of Epictetus' discourses show that his ideas are as valuable and striking today as they were (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  42.  13
    Why nature matters: A systematic review of intrinsic, instrumental, and relational values.A. Himes, B. Muraca, C. B. Anderson, S. Athayde, T. Beery, M. Cantú-Fernández, D. González-Jiménez, R. K. Gould, A. P. Hejnowicz, J. Kenter, D. Lenzi, R. Murali, U. Pascual, C. Raymond, A. Ring, K. Russo, A. Samakov, S. Stålhammar, H. Thorén & E. Zent - 2024 - BioScience 74 (1).
    In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  11
    Intencionalidade e técnica.Márcia A. Baldissera - 2015 - Doispontos 12 (1).
    Resumo: A técnica é a ação de um agente Intencional, com uma determinada finalidade, sobre específicas propriedades físicas, ação que constitui um objeto técnico. O reconhecimento desta Intencionalidade da ação dos autores da técnica é necessário para o processo de compreensão desses objetos pelos receptores, principalmente para a compreensão dos objetos técnicos caracterizados também como suportes semióticos. A minha hipótese é que essa Intencionalidade pode vir “mascarada” pela própria ação técnica constituinte da forma do objeto, e também pelo discurso institucional, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  64
    Views of patients with heart failure about their role in the decision to start implantable cardioverter defibrillator treatment: prescription rather than participation.A. Agard, R. Lofmark, N. Edvardsson & I. Ekman - 2007 - Journal of Medical Ethics 33 (9):514-518.
    Background: There is a shortage of reports on what potential recipients of implantable cardioverter–defibrillators need to be informed about and what role they can and want to play in the decision-making process when it comes to whether or not to implant an ICD.Aims: To explore how patients with heart failure and previous episodes of malignant arrhythmia experience and view their role in the decision to initiate ICD treatment.Patients and methods: A qualitative content analysis of semistructured interviews was used. The study (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  22
    Plato's First Interpreters (review).A. A. Long - 2003 - Journal of the History of Philosophy 41 (1):121-122.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 121-122 [Access article in PDF] Harold Tarrant. Plato's First Interpreters. Ithaca, NY: Cornell University Press, 2000. Pp. viii + 263. Cloth, $55.00. This is Tarrant's third book on the ancient Platonist tradition, following his Scepticism or Platonism? (1985) and Thrasyllan Platonism (1993). In those earlier volumes his focus was on the first centuries bc and ad. Here his scope is much (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  26
    Neonatal outcomes and risk/benefit ratio of induced multiple pregnancies.A. A. Zuppa - 2003 - Journal of Medical Ethics 29 (4):259-259.
    During recent years we have seen and assisted at a significantly increased number of twin births. The main reason for this increase in the frequency of twin births is the increasing number of so called “induced pregnancies”, whether through hormonal stimulation or artificial insemination techniques.It is well known1 that twins have high mortality and morbidity rates during the perinatal and the following period. The characteristics of conception and pregnancy can determine the development of several pathologies, including prematurity and intrauterine growth (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  30
    Narrowing the gap.A. Bayley - 2000 - Journal of Medical Ethics 26 (1):51-53.
    Since 1981 AIDS has illuminated, like a roving searchlight, a series of ethical questions, which extend far beyond the apparently narrow limits of one disease. It has revealed, one by one, human attitudes and behaviours that were previously unquestioned, or unobserved - based on unidentified but shaky pre-suppositions.This commentary offers two contrasting perspectives on the problems facing developing countries. In the first part, I comment on the preceding article, from the perspective of a clinician who has worked for many years (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  48.  48
    Ordering suicide: media reporting of family assisted suicide in Britain.A. Banerjee & D. Birenbaum-Carmeli - 2007 - Journal of Medical Ethics 33 (11):639-642.
    Objective: To explore the relationship between the presentation of suffering and support for euthanasia in the British news media.Method: Data was retrieved by searching the British newspaper database LexisNexis from 1996 to 2000. Twenty-nine articles covering three cases of family assisted suicide were found. Presentations of suffering were analysed employing Heidegger’s distinction between technological ordering and poetic revealing.Findings: With few exceptions, the press constructed the complex terrain of FAS as an orderly or orderable performance. This was enabled by containing the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  49.  25
    Red Fields.A. Baudisch, A. Martin-Pizarro & M. Ziegler - 2007 - Journal of Symbolic Logic 72 (1):207 - 225.
    We apply Hrushovski-Fraïssé's amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a definable additive subgroup of rank 1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  3
    Interfaces between science and society.Ângela Guimarães Pereira, Sofia Guedes Vaz & Sylvia S. Tognetti (eds.) - 2006 - Sheffield, UK: Greenleaf.
    As the world faces increasingly disparate challenges, science is being subjected to vehement demands from society calling for transparency, openness and public participation in science policy. This book provides a framework and a vision on how to conceive, discuss and evaluate the changes that occur in the relationship between science and society.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966