Results for 'Barbro Giorgi'

349 found
Order:
  1.  52
    A Phenomenological Analysis of the Experience of Pivotal Moments in Therapy as Defined by Clients.Barbro Giorgi - 2011 - Journal of Phenomenological Psychology 42 (1):61-106.
    This study was concerned with the clarification of the experience of pivotal moments in therapy. By pivotal moment is understood an event within the therapeutic process that leads to enduring change experienced as an important improvement in the life-experience of the client. Retrospective descriptions of a therapeutic process were obtained from three clients in which a distinguishable chain of events could be discerned that the clients identified as a pivotal moment. The descriptive material was analyzed according to the descriptive phenomenological (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  29
    The Experience of Self-Discovery and Mental Change in Female Novice Athletes in Connection to Marathon Running.Barbro Giorgi & Alison L. Boudreau - 2010 - Journal of Phenomenological Psychology 41 (2):234-267.
    This article evaluates the experience of an extraordinary mental change of novice female runners that is connected to long-distance running. Two female participants were interviewed regarding their life-changing experience associated with endurance exercise. Descriptions of the lived experience from women who train for marathons were gathered and a phenomenological analysis of the data was conducted which suggests that the women underwent a mental change that improved their self-confidence and enhanced relationships with their selves and others. The six constituents that emerged (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  38
    Reflections on Therapeutic Practice Guided by a Husserlian Perspective.Barbro Giorgi - 2005 - Journal of Phenomenological Psychology 36 (2):141-194.
    In this article, there is a suggestion that the application of certain key concepts or procedures of Husserlian phenomenology can be helpful in the practice of therapy. It is well known that how a therapist is present to a client and his or her story is critical for the success of therapy. What is less clear, however, is how to address this "way of being" in therapy and what kinds of interventions are helpful to clients. In addressing some of these (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  24
    Introduction.Barbro Giorgi - 2005 - Journal of Phenomenological Psychology 36 (2):137-140.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  60
    The Lived Experience of Early-Stage Alzheimer’s Disease: A Three-Year Longitudinal Phenomenological Case Study.Sirkka-Liisa Ekman, Petra Robinson & Barbro Giorgi - 2012 - Journal of Phenomenological Psychology 43 (2):216-238.
    The purpose of this study was to explore how one person experienced the early years of dementia as she was living through the pre-clinical and earlyclinical stages of Alzheimer’s disease. Interviews were held onfour occasions over a period of three years. The data were analyzed usingthe descriptive phenomenological psychological method, in which theresearcher approached the data from a caring perspective. The livedexperience of early-stage Alzheimer’s disease showed to be acomplex transitional phenomenon that involves a dynamic process of personaladjustment. The process (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6. Cognitive Enhancement, Virtue Ethics and the Good Life.Barbro Elisabeth Esmeralda Fröding - 2011 - Neuroethics 4 (3):223-234.
    This article explores the respective roles that medical and technological cognitive enhancements, on the one hand, and the moral and epistemic virtues traditionally understood, on the other, can play in enabling us to lead the good life. It will be shown that neither the virtues nor cognitive enhancements (of the kind we have access to today or in the foreseeable future) on their own are likely to enable most people to lead the good life. While the moral and epistemic virtues (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  7. The Continuous Model of Culture: Modernity Decline—a Eurocentric Bias? An Attempt to Introduce an Absolute value into a Model of Culture.Giorgi Kankava - 2013 - Human Studies 36 (3):411-433.
    This paper means to demonstrate the theoretical-and- methodological potential of a particular pattern of thought about culture. Employing an end-means and absolute value plus concept of reality approach, the continuous model of culture aims to embrace from one holistic standpoint various concepts and debates of the modern human, social, and political sciences. The paper revisits the debates of fact versus value, nature versus culture, culture versus structure, agency versus structure, and economics versus politics and offers the concepts of the rule (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    Folklore, heritage politics and ethnic diversity: a festschrift for Barbro Klein.Barbro Sklute Klein, Pertti Anttonen, Anna-Leena Siikala, Stein R. Mathisen & Leif Magnusson (eds.) - 2000 - Botkyrka, Sweden: Multicultural Centre.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  9
    Det icke förhandlingsbara: en debattbok mot dödshjälp.Barbro Carlsson, Sture Gustafson & Hans Hellström (eds.) - 2011 - Stockholm: Veritas Förlag.
    For several decades, there have been increased requests to allow euthanasia in Sweden. The issue is a hot topic of debate among medical people, theologians, philosophers and parliamentarians. The authors in this book argue against the legalization of euthanasia.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. La critica estetistica dell'idealismo in G. Ferretti e U. Spirito.Dino di Giorgi - 1942 - Palermo,: Edizioni GUF.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  26
    The Struggle for Dignity by People with Severe Functional Disabilities.Barbro Wadensten & Gerd Ahlström - 2009 - Nursing Ethics 16 (4):453-465.
    The purpose of this study was to investigate what strategies people with severe functional disabilities who receive personal assistance in their homes use in their daily life to achieve autonomy, integrity, influence and participation. Qualitative interviews were carried out and subjected to qualitative latent content analysis. The main finding was expressed in terms of six subthemes: trying to keep a private sphere; striving to communicate; searching for possibilities; taking the initiative; striving to gain insight; and using one's temperament. These generated (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Why virtual friendship is no genuine friendship.Barbro Fröding & Martin Peterson - 2012 - Ethics and Information Technology 14 (3):201-207.
    Based on a modern reading of Aristotle’s theory of friendship, we argue that virtual friendship does not qualify as genuine friendship. By ‘virtual friendship’ we mean the type of friendship that exists on the internet, and seldom or never is combined with real life interaction. A ‘traditional friendship’ is, in contrast, the type of friendship that involves substantial real life interaction, and we claim that only this type can merit the label ‘genuine friendship’ and thus qualify as morally valuable. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  13.  10
    Emotions, language and identity on the margins of Europe.Kyra Giorgi - 2014 - New York, NY: Palgrave-Macmillan.
    Nations usually define themselves in positive terms; they proclaim themselves strong and victorious, or developed and prosperous. But what does it mean when the opposite is true - when negative feelings like regret, nostalgia, melancholy and fatalism are said to be the true essence of a culture? And what does it mean when these feelings are encapsulated in a single, untranslatable word?Bringing together three such word-concepts from Europe's periphery - saudade in Portugal, the Czech litost of Milan Kundera and Orhan (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Simbolo e schema.Rubina Giorgi - 1968 - Padova,: CEDAM.
     
    Export citation  
     
    Bookmark  
  15. Cultural loss and cultural rescue : Lilli Zickerman, Ottilia Adelborg, and the promises of the Swedish homecraft movement.Barbro Klein - 2010 - In Hans Joas (ed.), The Benefit of Broad Horizons: Intellectual and Institutional Preconditions for a Global Social Science: Festschrift for Bjorn Wittrock on the Occasion of His 65th Birthday. Brill.
  16.  35
    Ethical Values in Personal Assistance: Narratives of People with Disabilities.Barbro Wadensten & Gerd Ahlström - 2009 - Nursing Ethics 16 (6):759-774.
    The aim of this study was to investigate the experiences of persons with severe functional disabilities who receive personal assistance in their homes, the focus being on their daily life in relation to the ethical principles represented in the Swedish Disability Act: autonomy, integrity, influence and participation. Qualitative interviews were performed with 26 persons and thereafter subjected to qualitative latent content analysis. The experiences of personal assistance were very much in accordance with the said principles, the most important factor being (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  22
    A Cross-Cultural Comparison of Nurses' Ethical Concerns.Barbro Wadensten, Stig Wenneberg, Marit Silén, Ping Fen Tang & Gerd Ahlström - 2008 - Nursing Ethics 15 (6):745-760.
    The aim of this study was to compare Swedish and Chinese nurses' experiences of ethical dilemmas and workplace distress in order to deepen understanding of the challenges neuroscience nurses encounter in different cultures. Qualitative interviews from two previously performed empirical studies in Sweden and China were the basis of this comparative study. Four common content areas were identified in both studies: ethical dilemmas, workplace distress, quality of nursing and managing distress. The themes formulated within each content area were compared and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  39
    Are Olfactory Receptors Really Olfactive?Franco Giorgi, Roberto Maggio & Luis Emilio Bruni - 2011 - Biosemiotics 4 (3):331-347.
    Any living organism interacts with and responds specifically to environmental molecules by expressing specific olfactory receptors. In this paper, this specificity will be first examined in causal terms with particular emphasis on the mechanisms controlling olfactory gene expression, cell-to-cell interactions and odor-decoding processes. However, this type of explanation does not entirely justify the role olfactory receptors have played during evolution, since they are also expressed ectopically in different organs and/or tissues. Homologous olfactory genes have in fact been found in such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  82
    Animal Ethics Based on Friendship.Barbro Frööding & Martin Peterson - 2011 - Journal of Animal Ethics 1 (1):58-69.
    This article discusses some aspects of animal ethics from an Aristotelian virtue ethics point of view. Because the notion of friendship (philia) is central to Aristotle’s ethical theory, the focus of the article is whether humans and animals can be friends. It is argued that new empirical findings in cognitive ethology indicate that animals actually do fulfill the Aristotelian condition for friendship based on mutual advantage. The practical ethical implications of these findings are discussed, and it is argued that eating (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  20.  39
    Friendly AI.Barbro Fröding & Martin Peterson - 2020 - Ethics and Information Technology 23 (3):207-214.
    In this paper we discuss what we believe to be one of the most important features of near-future AIs, namely their capacity to behave in a friendly manner to humans. Our analysis of what it means for an AI to behave in a friendly manner does not presuppose that proper friendships between humans and AI systems could exist. That would require reciprocity, which is beyond the reach of near-future AI systems. Rather, we defend the claim that social AIs should be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  5
    La scuola italiana di spiritualità: da Rosmini a Montini.Fulvio De Giorgi - 2020 - Brescia: Morcelliana.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  1
    Pragmatics in the Minimalist framework.Alessandra Giorgi - 2023 - Evolutionary Linguistic Theory 5 (2):103-127.
    This article explores the relationship between pragmatics and the other components of grammar. Specifically, it aims to determine whether pragmatics is a distinct module of grammar coming into play at some point in the derivation process to connect the sentence with the context. The conclusion is that, based on the phenomena considered in this work, pragmatics rather than being a separate module, is distributed in the various components. It is shown in fact that the context immediately intervenes at the representative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  5
    Evald Ilyenkov and the imperialist unconscious in Soviet philosophy.Giorgi Kobakhidze - forthcoming - Studies in East European Thought.
  24. A motivational approach to confirmation: An interpretation of dysphagic patients' experiences.Barbro Gustafsson & Ingmar Pörn - 1994 - Theoretical Medicine and Bioethics 15 (4).
    In this paper we articulate confirmation and disconfirmation as components in human motivation. We develop a theory of motivation on the basis of a model of human action and we explore aspects of confirmation and disconfirmation in the context of the meeting of dysphagic patients with their physicians. We distinguish four central elements in confirmation and disconfirmation and use these and the relations between them for the purpose of constructing a typology. Finally, on the basis of the results obtained we (...)
     
    Export citation  
     
    Bookmark  
  25.  56
    " The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part Two. Application of the evaluation model to theory analysis, theory critique and theory support of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (2):19-38.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  41
    " The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a new model for nursing theory evaluation and application of this model to theory description of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Conceptions of political thought in medieval Georgia: David IV "the Builder", Arsen of Ikalto.Giorgi Khuroshvili - 2018 - In Burkhard Mojsisch, Tengiz Iremadze & Udo Reinhold Jeck (eds.), Veritas et subtilitas: truth and subtlety in the history of philosophy: essays in memory of Burkhard Mojsisch (1944-2015). John Benjamins.
     
    Export citation  
     
    Bookmark  
  28.  44
    Cognitive Enhancement and the Principle of Need.Barbro Fröding & Niklas Juth - 2015 - Neuroethics 8 (3):231-242.
    In this article we argue that the principle of need, on some interpretations, could be used to justify the spending of publically funded health care resources on cognitive enhancement and that this also holds true for individuals whose cognitive capacities are considered normal.The increased, and to an extent, novel demands that the modern technology and information society places on the cognitive capacities of agents, e.g., regarding good and responsible decision-making, have blurred the line between treatment and enhancement. More specifically, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  15
    A generalized notion of weak interpretability and the corresponding modal logic.Giorgie Dzhaparidze - 1993 - Annals of Pure and Applied Logic 61 (1-2):113-160.
    Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable logics TLR (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  42
    Why computer games can be essential for human flourishing.Barbro Fröding & Martin Peterson - 2013 - Journal of Information, Communication and Ethics in Society 11 (2):81-91.
    PurposeThe purpose of this paper is to argue that playing computer games for lengthy periods of time, even in a manner that will force the player to forgo certain other activities normally seen as more important, can be an integral part of human flourishing.Design/methodology/approachThe authors' claim is based on a modern reading of Aristotle's Nichomacean Ethics. It should be emphasized that the authors do not argue that computer gaming and other similar online activities are central to all people under all (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  30
    Introduction to computability logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.
    This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together. It semantically introduces a logic of computability and sets a program for studying various aspects of that logic. The intuitive notion of computational problems is formalized as a certain new, procedural-rule-free sort of games between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  32.  26
    Different types—different rights.Barbro Björkman - 2007 - Science and Engineering Ethics 13 (2):221-233.
    Drawing on a social construction theory of ownership in biological material this paper discusses which differences in biological material might motivate differences in treatment and ownership rights. The analysis covers both the perspective of the person from whom the material originates and that of the potential recipient. Seven components of bundles of rights, drawing on the analytical tradition of Tony Honoré, and their relationship to various types of biological material are investigated. To exemplify these categories the cases of a heart, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Hegel’s Critique of Rationalist Metaphysics in the Vorbegriff Chapter of the Encyclopedia Logic.Giorgi Lebanidze - 2019 - History of Philosophy Quarterly 36 (1):61-78.
    The paper demonstrates that a detailed analysis of Hegel’s criticism of rationalist metaphysics in the “Vorbegriff” (Preliminary Conception) chapter of the Encyclopedia Logic can shed light on the following critical features of Hegel’s metaphysics: (1) advancing semantic holism as an alternative to semantic atomism; (2) renouncing the projection of a substance-attribute formal structure onto actuality; (3) dismissing sense perception as the source of conceptual content; and (4) rejecting dualist ontology.
     
    Export citation  
     
    Bookmark  
  34.  11
    Hegel’s Transcendental Ontology.Giorgi Lebanidze - 2018 - Lanham, MD: Lexington Books.
    This book argues that the Doctrine of the Concept is the centerpiece of Hegel’s philosophical system and, through a close analysis of this final part of the Science of Logic, presents a detailed account of the key features of Hegel’s ontology.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Academy of Gelati as a pivotal topos of Caucasian philosophy and its importance for Georgian philosophical thought.Giorgi Tavadze - 2018 - In Burkhard Mojsisch, Tengiz Iremadze & Udo Reinhold Jeck (eds.), Veritas et subtilitas: truth and subtlety in the history of philosophy: essays in memory of Burkhard Mojsisch (1944-2015). John Benjamins.
     
    Export citation  
     
    Bookmark  
  36. Virtuous Choice and Parity.Martin Peterson & Barbro Fröding - 2012 - Ethical Theory and Moral Practice 15 (1):71-82.
    This article seeks to contribute to the discussion on the nature of choice in virtue theory. If several different actions are available to the virtuous agent, they are also likely to vary in their degree of virtue, at least in some situations. Yet, it is widely agreed that once an action is recognised as virtuous there is no higher level of virtue. In this paper we discuss how the virtue theorist could accommodate both these seemingly conflicting ideas. We discuss this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  71
    Why We Are Not Allowed to Sell That Which We Are Encouraged to Donate.Barbro Björkman - 2006 - Cambridge Quarterly of Healthcare Ethics 15 (1):60-70.
    t is a reality today that people die waiting in line for transplant organs. Something needs to be done to remedy this dire situation and alleviate the suffering. Broadly speaking, barring scientific progress that might make artificial organs and stem cell therapy viable alternatives, three options are available to us: increase voluntary donation, compel access to organs via government policy, or open up for a commercial market in organs. a.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  25
    Animals and Friendship: A Reply to Rowlands.Barbro Fröding & Martin Peterson - 2011 - Journal of Animal Ethics 1 (2):187-189.
    Can humans be friends with animals? If so, what would the moral implications of such friendship be? In a previous issue of this journal, we argued that humans can indeed be friends with animals and that such friendships are morally valuable. The present article is a comment on Mark Rowlands’s reply to our original article. We argue that our original argument is not undermined by Rowlands’s attack.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  17
    The logic of arithmetical hierarchy.Giorgie Dzhaparidze - 1994 - Annals of Pure and Applied Logic 66 (2):89-112.
    Formulas of the propositional modal language with the unary modal operators □, Σ1, 1, Σ2, 2,… are considered as schemata of sentences of arithmetic , where □A is interpreted as “A is PA-provable”, ΣnA as “A is PA-equivalent to a Σn-sentence” and nA as “A is PA-equivalent to a Boolean combination of Σn-sentences”. We give an axiomatization and show decidability of the sets of the modal formulas which are schemata of: PA-provable, true arithmetical sentences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  26
    In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
  41.  9
    "Social Alchemy" Yesterday and Today.Giorgy Masalkini - forthcoming - Vox Philosophical journal.
    The phenomenon of "social alchemy", containing the idea of the possibility of creating a new man and a new world and passing through all radical thought, especially of the New and Modern times, had and has a habit of pouring out into violence, in the broadest sense of the word, — from the guillotine and concentration camps to modern "information colonization of consciousness". Having received technological support, when digital technologies and new communication systems cover almost the entire world community, leaving (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Properly [image] Enumeration Degrees and the High/Low Hierarchy.Matthew Giorgi, Andrea Sorbi & Yue Yang - 2006 - Journal of Symbolic Logic 71 (4):1125 - 1144.
    We show that there exist downwards properly $\Sigma _{2}^{0}$ (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  36
    The logic of linear tolerance.Giorgie Dzhaparidze - 1992 - Studia Logica 51 (2):249 - 277.
    A nonempty sequence T1,...,Tn of theories is tolerant, if there are consistent theories T 1 + ,..., T n + such that for each 1 i n, T i + is an extension of Ti in the same language and, if i n, T i + interprets T i+1 + . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  17
    Radical Islamism in Georgia.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (2).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Salafism in Azerbaijan.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  17
    Towards applied theories based on computability logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.
    Computability logic (CL) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. Formulas in it represent computational problems, "truth" means existence of an algorithmic solution, and proofs encode such solutions. Within the line of research devoted to finding axiomatizations for ever more expressive fragments of CL, the present paper introduces a new deductive system CL12 and proves its soundness and completeness with (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  20
    The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.
    This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games between a machine and its environment. Intuitionistic implication is understood as algorithmic reduction in the weakest possible — and hence most natural — sense, disjunction and conjunction as deterministic-choice combinations of problems , and “absurd” as a computational problem of universal strength.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  29
    Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
    Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain no (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  30
    Many Concepts and Two Logics of Algorithmic Reduction.Giorgi Japaridze - 2009 - Studia Logica 91 (1):1-24.
    Within the program of finding axiomatizations for various parts of computability logic, it was proven earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting’s intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algorithmic reduction, however, is the one that does not allow such reusage. The present article shows that turning the logic of the first sort of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  53
    Contemporary Schools of Metascience.Gerard Radnitzky & Amedeo Giorgi - 1973 - Journal of Phenomenological Psychology 4 (1):380-382.
1 — 50 / 349