Results for 'Giorgi Tskhadaia'

263 found
Order:
See also
Giorgi Tskhadaia
Nazareth College of Rochester
  1.  41
    Contemporary Schools of Metascience.Gerard Radnitzky & Amedeo Giorgi - 1973 - Journal of Phenomenological Psychology 4 (1):380-382.
  2.  18
    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  
  3.  13
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  53
    The Descriptive Phenomenological Method in Psychology: A Modified Husserlian Approach.Amedeo Giorgi - 2009 - Duquesne University Press.
    "Discusses the phenomenological foundations for qualitative research in psychology which operates out of the intersection of phenomenological philosophy, science, and psychology; challenges long-standing assumptions about the practice of grounding the science of psychology in empiricism and asserts that the broader philosophy of phenomenological theory of science permits more adequate psychological development"--Provided by publisher.
    Direct download  
     
    Export citation  
     
    Bookmark   78 citations  
  5. Giorgi, A. The Descriptive Phenomenological Method in Psychology: A Modified Husserlian Approach. Pittsburgh, PA: Duquesne University Press, 233 Pp., ISBN 978-0-8207-0418-0, $25.00. [REVIEW]Frederick J. Wertz - 2010 - Journal of Phenomenological Psychology 41 (2):269-276.
  6. The Theory, Practice, and Evaluation of the Phenomenological Method as a Qualitative Research Procedure.Amedeo Giorgi - 1997 - Journal of Phenomenological Psychology 28 (2):235-260.
    This article points out the criteria necessary in order for a qualitative scientific method to qualify itself as phenomenological in a descriptive Husserlian sense. One would have to employ description within the attitude of the phenomenological reduction, and seek the most invariant meanings for a context. The results of this analysis are used to critique an article by Klein and Westcott , that presents a typology of the development of the phenomenological psychological method.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  7.  68
    On the Way Toward a Phenomenological Psychology: The Psychology of William James.Hans Linschoten & Amedo Giorgi - 1968 - Philosophy and Phenomenological Research 29 (2):309-310.
  8.  21
    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  
  9.  10
    Psychology as a Human Science: A Phenomenologically Based Approach.Amedeo Giorgi - 1970 - New York: Harper & Row.
  10.  11
    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  
  11.  14
    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  
  12.  11
    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   5 citations  
  13. The Descriptive Phenomenological Psychological Method.Amedeo Giorgi - 2012 - Journal of Phenomenological Psychology 43 (1):3-12.
    The author explains that his background was in experimental psychology but that he wanted to study the whole person and not fragmented psychological processes. He also desired a non-reductionistic method for studying humans. Fortunately he came across the work of Edmund Husserl and discovered in the latter’s thought a way of researching humans that met the criteria he was seeking. Eventually he developed a phenomenological method for researching humans in a psychological way based upon the work of Husserl and Merleau-Ponty. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  14.  6
    Dynamic Topological Logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
    Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...)
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  15.  16
    A Constructive Game Semantics for the Language of Linear Logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
    I present a semantics for the language of first-order additive-multiplicative linear logic, i.e. the language of classical first-order logic with two sorts of disjunction and conjunction. The semantics allows us to capture intuitions often associated with linear logic or constructivism such as sentences = games, SENTENCES = resources or sentences = problems, where “truth” means existence of an effective winning strategy.The paper introduces a decidable first-order logic ET in the above language and gives a proof of its soundness and completeness (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  16
    The Taming of Recurrences in Computability Logic Through Cirquent Calculus, Part I.Giorgi Japaridze - 2013 - Archive for Mathematical Logic 52 (1-2):173-212.
    This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic. The logical vocabulary of the system consists of negation ${\neg}$ , parallel conjunction ${\wedge}$ , parallel disjunction ${\vee}$ , branching recurrence ⫰, and branching corecurrence ⫯. The article is published in two parts, with (the present) Part I containing preliminaries and a soundness proof, and (the forthcoming) Part II containing a completeness proof.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  20
    Separating the Basic Logics of the Basic Recurrences.Giorgi Japaridze - 2012 - Annals of Pure and Applied Logic 163 (3):377-389.
  18.  11
    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  
  19.  8
    System-Adapted Correlation Energy Density Functionals From Effective Pair Interactions.P. Gori-Giorgi & A. Savin - 2006 - Philosophical Magazine 86 (17-18):2643-2659.
  20.  13
    Multi-Level Semiosis: A Paradigm of Emergent Innovation.Luis Emilio Bruni & Franco Giorgi - 2016 - Biosemiotics 9 (3):307-318.
    In this introductory article to the special issue on Multi-level semiosis we attempt to stage the background for qualifying the notion of “multi-levelness” when considering communication processes and semiosis in all life forms, i.e. from the cellular to the organismic level. While structures are organized hierarchically, communication processes require a kind of processual organization that may be better described as being heterarchical. Theoretically, the challenge arises in the temporal domain, that is, in the developmental and evolutionary dimension of dynamic semiotic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  46
    The Taming of Recurrences in Computability Logic Through Cirquent Calculus, Part II.Giorgi Japaridze - 2013 - Archive for Mathematical Logic 52 (1-2):213-259.
    This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic. The logical vocabulary of the system consists of negation ${{\neg}}$ , parallel conjunction ${{\wedge}}$ , parallel disjunction ${{\vee}}$ , branching recurrence ⫰, and branching corecurrence ⫯. The article is published in two parts, with (the previous) Part I containing preliminaries and a soundness proof, and (the present) Part II containing a completeness proof.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Hegel's Transcendental Ontology.Giorgi Lebanidze - 2018 - 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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Amedeo Giorgi, Ed., Phenomenology and Psychological Research Reviewed By.Wilfred Schmidt - 1987 - Philosophy in Review 7 (6):232-234.
     
    Export citation  
     
    Bookmark  
  24.  12
    Radical Islamism in Georgia.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (2).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    Giorgi Giovanni. Riflessioni sui fondamenti primi della teoria degli insiemi. Pontificia Accidentia Scientiarum, Acta, vol. 5 no. 6 , pp. 35–40. [REVIEW]William Barrett - 1942 - Journal of Symbolic Logic 7 (3):127-127.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Saxelmcipos Mocqobis Antikuri Koncʻepʻciebi: Demokratiuli Atʻenidan Princʻipatamde.Giorgi Ugulava - 2010 - Logos.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  32
    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   2 citations  
  28.  4
    Giorgi Lebanidze. Hegel's Transcendental Ontology. Lanham MD: Lexington Books, 2018. ISBN 9781498561341 (E-Book). ISBN 9781498561334 (Pbk). Pp. 150 90.00 $. [REVIEW]Elena Tripaldi - 2021 - Hegel Bulletin 42 (1):142-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  6
    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  
  30. An Application of Phenomenological Method in Psychology.Amedeo Giorgi - 1975 - Duquesne Studies in Phenomenological Psychology 2:82-103.
  31.  28
    ‘Ndranghetain Lombardy: Culture and Organizational Structure.Caterina Gozzoli, Antonino Giorgi & Chiara D’Angelo - 2014 - World Futures 70 (7):401-425.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  2
    Salafism in Azerbaijan.Giorgi Omsarashvili - 2018 - Philosophy Study 8 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  6
    The Logic of Tasks.Giorgi Japaridze - 2002 - Annals of Pure and Applied Logic 117 (1-3):261-293.
    The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An agent , working as a slave for its master , can carry out the task αβ if it can carry out any one of the two tasks α, β, depending on which of them was requested by the master; similarly, it can carry out xα if it can carry out α for any particular (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  3
    Giorgi Lebanidze. Hegel's Transcendental Ontology. Lanham MD: Lexington Books, 2003. ISBN 9781498561341 (E-Book). ISBN 9781498561334 (Pbk). Pp. 150 90.00 $. [REVIEW]Elena Tripaldi - forthcoming - Hegel Bulletin:1-5.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Remarks on parabolic De Giorgi classes.Naian Liao - 2021 - Annali di Matematica Pura Ed Applicata 200 (6):2361-2384.
    We make several remarks concerning properties of functions in parabolic De Giorgi classes of order p. There are new perspectives including a novel mechanism of propagating positivity in measure, the reservation of membership under convex composition, and a logarithmic type estimate. Based on them, we are able to give new proofs of known properties. In particular, we prove local boundedness and local Hölder continuity of these functions via Moser’s ideas, thus avoiding De Giorgi’s heavy machinery. We also seize (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  12
    Workplace Bullying in a Sample of Italian and Spanish Employees and Its Relationship with Job Satisfaction, and Psychological Well-Being.Alicia Arenas, Gabriele Giorgi, Francesco Montani, Serena Mancuso, Javier Fiz Perez, Nicola Mucci & Giulio Arcangeli - 2015 - Frontiers in Psychology 6.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  41
    Giorgi Japaridze and Dick de Jongh. The Logic of Provability. Handbook of Proof Theory, Edited by Samuel R. Buss, Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 475–546. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):472-473.
  38. Anxiety, Stress-Related Factors, and Blood Pressure in Young Adults.Nicola Mucci, Gabriele Giorgi, Stefano De Pasquale Ceratti, Javier Fiz-Pérez, Federico Mucci & Giulio Arcangeli - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  36
    An Application of Phenomenological Method in Psychology.Amedeo Giorgi - 1975 - Duquesne Studies in Phenomenological Psychology 2:82-103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  40.  26
    Predicate Provability Logic with Non-Modalized Quantifiers.Giorgie Dzhaparidze - 1991 - Studia Logica 50 (1):149 - 160.
    Predicate modal formulas with non-modalized quantifiers (call them Q-formulas) are considered as schemata of arithmetical formulas, where is interpreted as the provability predicate of some fixed correct extension T of arithmetic. A method of constructing 1) non-provable in T and 2) false arithmetical examples for Q-formulas by Kripke-like countermodels of certain type is given. Assuming the means of T to be strong enough to solve the (undecidable) problem of derivability in QGL, the Q-fragment of the predicate version of the logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  14
    Ptarithmetic.Giorgi Japaridze - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
    The present article introduces ptarithmetic — a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic instead of classical logic. The formulas of ptarithmetic represent interactive computational problems rather than just true/false statements, and their “truth” is understood as existence of a polynomial time solution. The system of ptarithmetic elaborated in this article is shown to be sound and complete. Sound in the sense that every theorem T of the system represents (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42.  6
    Introduction to Clarithmetic III.Giorgi Japaridze - 2014 - Annals of Pure and Applied Logic 165 (1):241-252.
    The present paper constructs three new systems of clarithmetic : CLA8, CLA9 and CLA10. System CLA8 is shown to be sound and extensionally complete with respect to PA-provably recursive time computability. This is in the sense that an arithmetical problem A has a τ-time solution for some PA-provably recursive function τ iff A is represented by some theorem of CLA8. System CLA9 is shown to be sound and intensionally complete with respect to constructively PA-provable computability. This is in the sense (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  5
    Giorgi Giovanni. A proposito di alcune discussioni recenti sui problemi della logicu deduttiva. Bollettino della Unione Matematica Italiana, sor. 3 vol. 3 , pp. 256–259. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):141-141.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  21
    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   1 citation  
  45. Per un'archeologia culturale Del rosminianesimo.Fulvio de Giorgi - 2011 - Divus Thomas 114 (1):42-90.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Configuración biopolítica de las necesidades del campesino Colombiano en los años noventa.Luz Helena Di Giorgi Fonseca - 2018 - Cuadernos de Filosofía Latinoamericana 39 (118):13-36.
    El contexto rural colombiano, en los años noventa, se configuró, a partir de un discurso de desarrollo que desconoció y estigmatizó a la población campesina. En este sentido, “el trabajador agrario”, tal y como lo considera la Constitución Política de 1991, no refiere a la realidad específica de las comunidades campesinas, sino a un “pequeño productor”, que como lo indica el Informe de Desarrollo Humano de 2011, representa a individuo con un rol secundario, que con asistencia crediticia y técnica puede (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  14
    Authenticity and Subjective Wellbeing Within the Context of a Religious Organization.Antonio Ariza-Montes, Gabriele Giorgi, Antonio Leal-Rodríguez & Jesús Ramírez-Sobrino - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  17
    Annemarie Weyl Carr and Andréas Nicolaïdès, Eds., Asinou Across Time: Studies in the Architecture and Murals of the Panagia Phorbiotissa, Cyprus. Washington, DC: Dumbarton Oaks Research Library and Collection, 2012. Pp. Xii, 431; 32 Black-and-White and 190 Color Figures, 1 Map, and 6 Tables. $75. ISBN: 978-0-884-02349-4. [REVIEW]Manuela De Giorgi - 2014 - Speculum 89 (3):753-755.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. A Phenomenological Perspective on Certain Qualitative Research Methods.Amedeo Giorgi - 1994 - Journal of Phenomenological Psychology 25 (2):190-220.
    In this article the phenomonelogical approach to qualitative research is compared with certain other qualitative approaches following other paradigms. The thesis is that a deepened understanding of phenomenological philosophy can provide the alternative framework that many of these authors have been seeking. The comparison with other approaches is made in terms of theoretical and methodical consistency. Theoretically, the argument is that the situation known as "mixed discourse" exists because practitioners have not sufficiently freed themselves from the criteria and practices of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  50.  5
    The Role of the Capitol in Rome - Moralee Rome's Holy Mountain. The Capitoline Hill in Late Antiquity. Pp. XXVI + 278, Ills, Maps. New York: Oxford University Press, 2018. Cased, £47.99, Us$74. Isbn: 978-0-19-049227-4. [REVIEW]Andrea U. De Giorgi - forthcoming - The Classical Review:1-2.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 263