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. .J. G. Manning - 2018
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  23. 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  
  24. Traité de Psychologie, t. I.G. Dumas, Barat, Belot & Blondel - 1923 - Revue de Métaphysique et de Morale 30 (4):1-2.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  25. Mafteaḥ la-ḥaṭivot ha-hagigim me-ʻizvono shel Ber Borokhov.M. Minc (ed.) - 1975
    No categories
     
    Export citation  
     
    Bookmark  
  26. Terrorism of the Spirit.Alain Minc - 2001 - Telos: Critical Theory of the Contemporary 2001 (121):143-145.
     
    Export citation  
     
    Bookmark  
  27.  74
    When Self-Consciousness Breaks: Alien Voices and Inserted Thoughts.G. Lynn Stephens & George Graham - 2000 - MIT Press.
    An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".
    Direct download  
     
    Export citation  
     
    Bookmark   102 citations  
  28.  44
    Behaviorism: a conceptual reconstruction.G. E. Zuriff - 1985 - New York: Columbia University Press.
  29.  5
    Hume's reception in early America.Mark G. Spencer (ed.) - 2017 - New York: Bloomsbury Academic.
    Hume's Reception in Early America: Expanded Edition brings together the original American responses to one of Britain's greatest men of letters, David Hume. Now available as a single volume paperback, this new edition includes updated further readings suggestions and dozens of additional primary sources gathered together in a completely new concluding section. From complete pamphlets and booklets, to poems, reviews, and letters, to extracts from newspapers, religious magazines and literary and political journals, this book's contents come from a wide variety (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  8
    A new introduction to modal logic.G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
    This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  31. No entailing laws, but enablement in the evolution of the biosphere.G. Longo, M. Montévil & S. Kauffman - 2012 - In G. Longo, M. Montévil & S. Kauffman (eds.), Genetic and Evolutionary Computation Conference. Acm. pp. 1379 -1392.
    Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  32. The philosophy of Carl G. Hempel: studies in science, explanation, and rationality.Carl G. Hempel (ed.) - 2001 - New York: Oxford University Press.
    Editor James Fetzer presents an analytical and historical introduction and a comprehensive bibliography together with selections of many of Carl G. Hempel's most important studies to give students and scholars an ideal opportunity to appreciate the enduring contributions of one of the most influential philosophers of science of the 20th century.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. A treatise of human nature.David Hume & D. G. C. Macnabb (eds.) - 2003 - Mineola, N.Y.: Dover Publications.
    One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   896 citations  
  34.  11
    Business, time, and thought: selected papers of G.L.S. Shackle.G. L. S. Shackle - 1988 - New York: New York University Press. Edited by Stephen F. Frowen.
  35. Chapter Eight. Freedom and Money.G. A. H. G. Cohen - 2011 - In G. A. Cohen (ed.), On the Currency of Egalitarian Justice, and Other Essays in Political Philosophy. Princeton University Press. pp. 166-200.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  36. Consciousness and Experience.William G. Lycan - 1996 - Cambridge, Mass.: MIT Press.
    Lycan not only uses the numerous arguments against materialism, and functionalist theories of mind in particular, to gain a more detailed positive view of the ..
    Direct download  
     
    Export citation  
     
    Bookmark   508 citations  
  37. Gorgias on nature or that which is not.G. B. Kerferd - 1955 - Phronesis 1 (1):3-25.
  38. Where the action is: on the site of distributive justice.G. A. Cohen - 2002 - In Derek Matravers & Jonathan Pike (eds.), Debates in Contemporary Political Philosophy: An Anthology. Routledge, in Association with the Open University.
     
    Export citation  
     
    Bookmark   6 citations  
  39.  54
    Reply to Elster on "marxism, functionalism, and game theory".G. A. Cohen - 2002 - In Derek Matravers & Jonathan Pike (eds.), Theory and Society. Routledge, in Association with the Open University. pp. 483.
  40. 'From Time into Eternity': Schelling on Intellectual Intuition.G. Anthony Bruno - 2023 - Philosophy Compass 1 (4):e12903.
    Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  26
    Platonisme en christendom.G. J. D. Aalders & H. Wzn - 1946 - Philosophia Reformata 11 (2):80-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  9
    News.G. John M. Abbarno - 2011 - Journal of Value Inquiry 45 (3):381-388.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  7
    News.G. John M. Abbarno - 2011 - Journal of Value Inquiry 45 (4):497-507.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  6
    News.G. John M. Abbarno - 2012 - Journal of Value Inquiry 46 (2):279-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    News.G. John M. Abbarno - 2012 - Journal of Value Inquiry 46 (3):391-401.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    Van isolement naar openheid.G. A. M. Abbink - 1970 - Bijdragen 31 (4):350-372.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  8
    Informat︠s︡ionno-diskursivnyĭ podkhod k analizu oslozhnennogo predlozhenii︠a︡.G. N. Manaenko - 2006 - Stavropolʹ: Stavropolskoe otdelenie Rossiĭskoĭ assot︠s︡iat︠s︡ii lingvistov-kognitologov.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Chapter Eleven. How to Do Political Philosophy.G. A. H. G. Cohen - 2011 - In G. A. Cohen (ed.), On the Currency of Egalitarian Justice, and Other Essays in Political Philosophy. Princeton University Press. pp. 225-235.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  77
    Plato Republic.G. H. Plato & Wells - 1945 - New York: Basic Books (AZ). Edited by Allan Bloom & Adam Kirsch.
    A model for the ideal state includes discussions of the nature and application of justice, the role of the philosopher in society, the goals of education, and the effects of art upon character.
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  50.  30
    Works Cited.G. A. H. G. Cohen - 2011 - In G. A. Cohen (ed.), On the Currency of Egalitarian Justice, and Other Essays in Political Philosophy. Princeton University Press. pp. 255-262.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 990