Results for 'G. Minc'

(not author) ( search as author name )
990 found
Order:
  1.  5
    Algebra of Proofs.G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  7
    D. M. R. Leivant. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam1979, ix + 137 pp. [REVIEW]G. E. Minc - 1981 - Journal of Symbolic Logic 46 (4):873-874.
  3.  4
    Ú. L. Éršov and É. A. Palútin. Matématičéskaá logika . “Nauka,” Moscow1979, 320 pp. [REVIEW]G. Minc - 1986 - Journal of Symbolic Logic 51 (3):827-829.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Review: D. M. R. Leivant, Absoluteness of Intuitionistic Logic. [REVIEW]G. E. Minc - 1981 - Journal of Symbolic Logic 46 (4):873-874.
  5.  25
    Review: M. E. Szabo, Algebra of Proofs. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Review: U. L. Ersov, E. A. Palutin, Mathematical Logic. [REVIEW]G. Minc - 1986 - Journal of Symbolic Logic 51 (3):827-829.
  7.  40
    Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
  9.  8
    Matematiceskaa teoria logiceskogo vyvoda.J. van Heijenoort, A. V. Idel'son & G. E. Minc - 1970 - Journal of Symbolic Logic 35 (2):323.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Absorption interbande, absorption intrabande, oscillations collectives, dans les dépôts très minces de lithium étudiés sous ultra-vide statique.M. Rasigni, G. Rasigni & J. P. Palmari - 1975 - Philosophical Magazine 31 (6):1307-1325.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. The Spin-Echo Experiments and the Second Law of Thermodynamics.T. M. Ridderbos & M. L. G. Redhead - 1998 - Foundations of Physics 28 (8):1237-1270.
    We introduce a simple model for so-called spin-echo experiments. We show that the model is a mincing system. On the basis of this model we study fine-grained entropy and coarse-grained entropy descriptions of these experiments. The coarse-grained description is shown to be unable to provide an explanation of the echo signals, as a result of the way in which it ignores dynamically generated correlations. This conclusion is extended to the general debate on the foundations of statistical mechanics. We emphasize the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  12.  16
    G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 , pp. 323–329. - G. É. Minc. Ustojčivost' E-téorém i provérka programm . Sémiotika i informatika, vol. 12 , pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 , pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 , pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 , pp. 435–452. [REVIEW]Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
  13.  29
    G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 , pp. 911–914. [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):325.
  14.  17
    Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
  15.  13
    G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    Minc G. É.. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 24–27.Minc G. E.. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by Ebner L.. Soviet mathematics, vol. 7 no. 4 , pp. 861–864. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  16
    Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem). [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):323-325.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  9
    Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
  19.  54
    Mince Pie Reasoning.Gerald W. Barnes - 1982 - Analysis 42 (3):163 - 169.
    ‘…one might easily wonder why no one has ever pointed out the mince pie syllogism…” (G. E. M. Anscombe, Intention, 2nd edition 1969, sec. 33).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  25
    S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 , pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 , pp. 918–920. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  21.  37
    A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika. [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):323-323.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Kant, Fichte und die Aufklärung.G. Zöller - 2004 - In Carla De Pascale (ed.), Fichte und die Aufklärung. New York: G. Olms.
     
    Export citation  
     
    Bookmark   1 citation  
  23.  10
    Excerpts from adaptation and natural selection.G. Williams - 1994 - In Elliott Sober (ed.), Conceptual Issues in Evolutionary Biology. The Mit Press. Bradford Books. pp. 121.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Xunzi: The Complete Text.H. G. Xunzi - 2014 - Princeton: Princeton University Press. Edited by Eric L. Hutton.
    This is the first complete, one-volume English translation of the ancient Chinese text Xunzi, one of the most extensive, sophisticated, and elegant works in the tradition of Confucian thought. Through essays, poetry, dialogues, and anecdotes, the Xunzi articulates a Confucian perspective on ethics, politics, warfare, language, psychology, human nature, ritual, and music, among other topics. Aimed at general readers and students of Chinese thought, Eric Hutton’s translation makes the full text of this important work more accessible in English than ever (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  25. Understanding dementia: a hermeneutic perspective.G. A. M. Widdershoven & I. Widdershoven-Heerding - 2003 - In Bill Fulford, Katherine Morris, John Z. Sadler & Giovanni Stanghellini (eds.), Nature and Narrative: An Introduction to the New Philosophy of Psychiatry. Oxford University Press UK.
     
    Export citation  
     
    Bookmark   4 citations  
  26. Mafteaḥ la-ḥaṭivot ha-hagigim me-ʻizvono shel Ber Borokhov.M. Minc (ed.) - 1975
    No categories
     
    Export citation  
     
    Bookmark  
  27. Terrorism of the Spirit.Alain Minc - 2001 - Telos: Critical Theory of the Contemporary 2001 (121):143-145.
     
    Export citation  
     
    Bookmark  
  28. Mathematics and its foundations.A. G. D. Watson - 1938 - Mind 47 (188):440-451.
  29. Supercharging the h-litre V. 16 brm racing engine.G. L. Wilde & F. J. Allenf - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 179--45.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  6
    Opravdanie cheloveka (khomodit︠s︡ei︠a︡).G. I︠U︡ Zherebilov - 1995 - Lipet︠s︡k: Lipet︠s︡kai︠a︡ obl. organizat︠s︡ii︠a︡ Soi︠u︡za pisateleĭ Rossii.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  9
    Chŏng Yag-yong kwa kŭ ŭi hyŏngjedŭl: Yi Tŏk-il yŏksasŏ.Tŏg-il Yi - 2004 - Sŏul: Kimyŏngsa.
    1. Sae sidae rŭl yŏrŏ gan saramdŭl -- 2. Ŏdum ŭi sidae.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Duns Scotus.G. Graham White - 1997 - In Thomas Mautner (ed.), The Penguin dictionary of philosophy. New York: Penguin Books.
     
    Export citation  
     
    Bookmark  
  33. Henry of Ghent.G. Graham White - 1997 - In Thomas Mautner (ed.), The Penguin dictionary of philosophy. New York: Penguin Books.
  34. John Buridan.G. Graham White - 1997 - In Thomas Mautner (ed.), The Penguin dictionary of philosophy. New York: Penguin Books.
     
    Export citation  
     
    Bookmark  
  35. Nicholas of Autrecourt.G. Graham White - 1997 - In Thomas Mautner (ed.), The Penguin dictionary of philosophy. New York: Penguin Books.
  36. The Analytic and the Synthetic: An Untenable Dualism.Morton G. White - 1950 - In Sidney Hook (ed.), John Dewey: Philosopher of Science and Freedom. New York, USA: The Dial Press. pp. 316-330.
  37. Wittgenstein's Nachlass the Bergen Electronic Edition.Ludwig Wittgenstein & G. H. von Wright - 1998
     
    Export citation  
     
    Bookmark   48 citations  
  38. Publicity and Common Commitment to Believe.J. R. G. Williams - 2021 - Erkenntnis 88 (3):1059-1080.
    Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  4
    Monisticheskai︠a︡ paradigma filosofskogo ponimanii︠a︡ mira i cheloveka.M. G. Zelent︠s︡ova - 2001 - Ivanovo: Ivanovskiĭ gos. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  3
    The law in crisis: bridges of understanding.C. G. Weeramantry - 1975 - Ratmalana: Sarvodaya Vishva Lekha.
  41.  13
    Empathy as Special Form of Motor Skill That Can Be Trained.Justin H. G. Williams - 2019 - In Georgina Barton & Susanne Garvis (eds.), Compassion and Empathy in Educational Contexts. Springer Verlag.
    Traditionally, empathy is conceived of as a cognitive function that governs how people think during social interactions, and is considered as largely impervious to change. However, developments in psychology and neuroscience show that empathy is grounded in neural substrates of emotionally communicative behaviour and so is learned through imitation and other forms of cultural learning. This also means that abnormal patterns of empathic function can develop through adverse life experiences, or that empathy may fail to develop in young people with (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. HURLBUTT, R. H. - "Hume, Newton and the Design Argument". [REVIEW]G. J. Warnock - 1967 - Mind 76:456.
     
    Export citation  
     
    Bookmark  
  43.  1
    Entwicklungstendenzen moderner Psychologie.Ernst G. Wehner - 1978 - München: Minerva-Publikation.
  44. Cupitt, G.-Justice as Fittingness.G. Wallace - 1998 - Philosophical Books 39:212-213.
     
    Export citation  
     
    Bookmark  
  45. Tractatus logico-philosophicus.Ludwig Wittgenstein, G. C. M. Colombo & Bertrand Russell - 1975 - London: Routledge and Kegan Paul. Edited by C. K. Ogden.
    Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   483 citations  
  46.  4
    Vermischte Bemerkungen: eine Auswahl aus dem Nachlass.Ludwig Wittgenstein, G. H. von Wright, Heikki Nyman & Alois Pichler - 1994 - Frankfurt am Main: Suhrkamp. Edited by G. H. von Wright, Heikki Nyman & Alois Pichler.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Intention.G. E. M. Anscombe - 1957 - Cambridge, Mass.: Harvard University Press.
    This is a welcome reprint of a book that continues to grow in importance.
  48.  3
    Metodologicheskie i obshcheteoreticheskie osnovy refleksivnogo obrazovanii︠a︡ uchashchikhsi︠a︡ kak prot︠s︡essa samorazvitii︠a︡.G. P. Zvenigorodskai︠a︡ - 2000 - Khabarovsk: Khabarovskiĭ gos. pedagogicheskiĭ universitet.
  49.  68
    Is there a problem about sense-data?G. A. Paul, H. M. Smith & A. R. M. Murray - 1951 - In Gilbert Ryle & Antony Flew (eds.), Logic and language (first series): essays. Oxford: Blackwell. pp. 61--77.
  50. Robustness to Fundamental Uncertainty in AGI Alignment.G. G. Worley Iii - 2020 - Journal of Consciousness Studies 27 (1-2):225-241.
    The AGI alignment problem has a bimodal distribution of outcomes with most outcomes clustering around the poles of total success and existential, catastrophic failure. Consequently, attempts to solve AGI alignment should, all else equal, prefer false negatives (ignoring research programs that would have been successful) to false positives (pursuing research programs that will unexpectedly fail). Thus, we propose adopting a policy of responding to points of philosophical and practical uncertainty associated with the alignment problem by limiting and choosing necessary assumptions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 990