Results for 'E. Mendelson'

930 found
Order:
  1.  9
    Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties.E. Mendelson - 1967 - Journal of Symbolic Logic 32 (3):393-394.
  2.  9
    Some Properties of Constructive Real Numbers and Constructive Functions.E. Mendelson - 1975 - Journal of Symbolic Logic 40 (3):454-454.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  13
    Sangha and State in Burma. A Study of Monastic Sectarianism and Leadership.B. G. Gokhale, E. Michel Mendelson & John P. Fergusson - 1978 - Journal of the American Oriental Society 98 (2):202.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  15
    On Simplification Algorithms for Disjunctive Normal Forms.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (1):141-141.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidability.E. Mendelson - 2000 - Philosophia Mathematica 8 (3):345-346.
     
    Export citation  
     
    Bookmark  
  6.  52
    Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  7.  12
    Superintuitionistic Logics and Finite Approximability.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):757-757.
  8.  11
    Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi.A. V. Kuznecov & E. Mendelson - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  82
    The King, the Traitor, and the Cross: an Interpretation of a Highland Maya Religious Conflict.E. Michael Mendelson - 1958 - Diogenes 6 (21):1-10.
    Holy Wednesday, 1953, was a great day for Santiago, a village of the Highland Maya Indians in the Central American Republic of Guatemala. On the church porch, strung up on a post decorated with lush tropical leaves, hung a four-foot puppet clothed in Indian costume with a large sombrero and a wooden mask, into whose mouth a long cigar had been planted by his worshipers. This, I had learned, was Judas Iscariot—but a strange Judas it was, for, instead of being (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  94
    The Uses of Religious Scepticism in Modern Burma.E. Michael Mendelson - 1963 - Diogenes 11 (41):94-116.
  11.  40
    Anita Burdman Feferman and Solomon Feferman. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2004. Pp. vi + 435. ISBN 0-521-80240-7. [REVIEW]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):231-232.
  12.  67
    Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X. [REVIEW]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):228-230.
  13.  25
    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.
  14.  39
    Quintilian and the Pedagogy of Argument.Michael Mendelson - 2001 - Argumentation 15 (3):277-294.
    Originating in the Sophistic pedagogy of Protagoras and reflecting the sceptical practice of the New Academy, Quintilian's rhetorical pedagogy places a special emphasis on the juxtaposition of multiple, competing claims. This inherently dialogical approach to argumentation is referred to here as controversia and is on full display in Quintilian's own argumentative practice. More important to this paper, however, is the role of controversia as an organizing principle for Quintilian's rhetorical curriculum. In particular, Quintilian introduces the protocols of controversia through a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  54
    Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
  16.  72
    "By the things themselves": Eudaimonism, direct acquaintance, and illumination in Augustine's.Michael Mendelson - 2001 - Journal of the History of Philosophy 39 (4):467-489.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.4 (2001) 467-489 [Access article in PDF] "By the Things Themselves":Eudaimonism, Direct Acquaintance, and Illumination in Augustine's De Magistro 1 Michael Mendelson 1. The Eudaimonistic Interlude It comes as a surprise. Two-thirds of the way through De Magistro, amid a torturous and at times obscure discussion of the nature of language, Augustine pauses to provide Adeodatus, his son and interlocutor, with what (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  32
    Wang Hao. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351. [REVIEW]Elliott Mendelson - 1965 - Journal of Symbolic Logic 30 (2):244-244.
  18.  45
    Polákov É. A.. Algébry rékursivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 1 , pp. 41–56.Polákov É. A.. O nékotoryh svojstvah algébr rékwsivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 39–57. [REVIEW]Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (2):408-409.
  19. Beyond the revolutions of matter. Mind, body, and pre-established harmony in the earlier Leibniz.Michael Mendelson - 1995 - Studia Leibnitiana 27 (1):31-66.
    Leibniz' prästabilierte Harmonie kann leicht als ein Versuch ausgelegt werden, die Beziehung zwischen cartesianischem Geist und Körper zu erklären, während gleichzeitig das Problem der 'kausalen Gleichheit' vermieden wird, das der cartesianische 'Interaktionismus' aufwirft. Es entstehen jedoch zwei Probleme durch eine Interpretation dieser Art. Erstens, warum wendet der frühe Leibniz die prästabilierte Harmonie auf alle Interaktionen zwischen Substanzen an und nicht nur auf die zwischen Geist und Körper? Zweitens, warum wendet der frühe Leibniz die prästabilierte Harmonie auf die Beziehung zwischen Geist (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  20.  18
    On the Number of Simple Bases of Boolean Functions.On Superpositions of Functions in P k.Investigation of some Classes of Functions in Multivalued Logics.On some Properties of Essential Functions from P k. [REVIEW]Arto Salomaa, G. A. Sestopal, E. Mendelson, S. V. Ablonskij, V. V. Martynuk & E. U. Zaharov - 1966 - Journal of Symbolic Logic 31 (3):501.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  52
    Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  22.  20
    Review: Elliott Mendelson, Theory and Problems of Boolean Algebra and Switching Circuits. [REVIEW]William E. Gould - 1974 - Journal of Symbolic Logic 39 (3):615-615.
  23.  51
    Čudnovskiǐ G. V.. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by Mendelson E.. Soviet mathematics, vol. 9 no. 2 , pp. 556–559. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
  24.  31
    A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 , pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 , pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  28
    Kuznecov A. V.. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 , pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  36
    Elliott Mendelson. Theory and problems of Boolean algebra and switching circuits. Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970, viii + 213 pp. [REVIEW]William E. Gould - 1974 - Journal of Symbolic Logic 39 (3):615.
  27.  45
    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.
  28.  38
    Ú. I. Žuravlév. Ob algoritmahj uproščéniá dizúnktivnyh normal′nyh form. Doklady Akadémii Nauk SSSR, vol. 132 , pp. 260–263. - Yu. I. Žuravlev. On simplification algorithms for disjunctive normal forms. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 1 no. 3 , pp. 526–529. [REVIEW]Andrzej Rowicki - 1966 - Journal of Symbolic Logic 31 (1):141-141.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  23
    M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 , pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 , pp. 1544–1545. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  33
    G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 , pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 , pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ . Problémy kibérnétiki, vol. 9 , pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah . Problémy kibérnétiki, vol. 3, pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ . Problémy kibérnétiki, vol. 12 , pp. 247–252. [REVIEW]Arto Salomaa - 1966 - Journal of Symbolic Logic 31 (3):501-502.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  28
    S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 , pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 , pp. 1292–1295. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
  32.  50
    Elliott Mendelson. On non-standard models for number theory. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 259–268. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    Mučnik A. A.. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 , pp. 407–412.Mučnik A. A.. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by Mendelson E.. American Mathematical Society translations, ser. 2 vol. 23 , pp. 7–13. [REVIEW]A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (3):393-394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  30
    N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 , pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258 by Moshe Machover. American Mathematical Society translations, vol. 29 , pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
  35.  17
    [Omnibus Review].Vann Mcgee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
    Reviewed Works:S. N. Artemov, B. M. Schein, Arithmetically Complete Modal Theories.S. N. Artemov, E. Mendelson, On Modal Logics Axiomatizing Provability.S.N. Artemov, E. Mendelson, Nonarithmeticity of Truth Prdicate Logics of Provability.V. A. Vardanyan, E. Mendelson, Arithmetic Complexity of Predicate Logics of Provability and Their.S. N. Artemov, E. Mendelson, Numerically Correct Provability Logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36. Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
    Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...)
     
    Export citation  
     
    Bookmark  
  37.  54
    B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 , pp. 219–230. , pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 , pp. 396-412. , pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 , pp. 559-571. , pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 , pp. 149-151. , pp. 1039-1041.) - B. I. Zil′ber The struc. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
    Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  89
    In Defense of the Unprovability of the Church-Turing Thesis.Selmer Bringsjord - unknown
    One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — light of the mind’s capacity for effortless hypercomputation — moreover false (e.g., [13]). But a new, more serious challenge has appeared on the scene: an attempt by Smith [28] to prove CTT. His case is a clever “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii (KU) machines. The plan for the present paper is as follows. After covering some necessary (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  40
    Philosophical Studies.E. Jordan & G. E. Moore - 1924 - Philosophical Review 33 (1):88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   91 citations  
  40.  59
    Locke against Democracy: Consent, Representation and Suffrage in the "Two Treatises".E. M. Wood - 1992 - History of Political Thought 13 (4):657.
    Interpretation of the classics in political theory seems to go in waves. For a while we had John Locke, the bourgeois thinker. Now we seem to be in a Locke-as-radical-democrat phase. Locke-the-bourgeois had problems of its own, but a radically democratic Locke -- not just the old Locke as liberal democrat but Locke as quasi-Leveller -- strains the interpretative imagination more than most; yet in recent years, several different kinds of argument have been advanced in support of it, both textual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  41. Class Structure and Income Determination.E. O. Wright - 1981 - Science and Society 45 (3):343-345.
     
    Export citation  
     
    Bookmark   6 citations  
  42. Über den Zusammenhang der Platonischen und Aristotelischen Schriften mit der Persönlichen Lehrthätigkeit ihrer Verfasser.E. Zeller - 1876 - Hermes 11 (1):84-96.
    No categories
     
    Export citation  
     
    Bookmark  
  43. (1 other version)Die deutsche Litteratur über die sokratische, platonische und aristotelische Philosophie. 1890. 1891.E. Zeller - 1892 - Archiv für Geschichte der Philosophie 5:535.
     
    Export citation  
     
    Bookmark  
  44. Egemonia [Greek] und despoteia [Greek] bei Xenophanes.E. Zeller - 1889 - Archiv für Geschichte der Philosophie 2:1.
     
    Export citation  
     
    Bookmark  
  45. La Philosophie des Grecs, considérée dans son développement historique.E. Zeller & E. Boutroux - 1878 - Revue Philosophique de la France Et de l'Etranger 5:321-327.
     
    Export citation  
     
    Bookmark   1 citation  
  46. Ueber Metaphysik als Erfahrungswissenschaft.E. Zeller - 1895 - Philosophical Review 4:338.
     
    Export citation  
     
    Bookmark  
  47.  26
    X. Zu Aristippus.E. Zeller - 1888 - Archiv für Geschichte der Philosophie 1 (2):172-177.
  48.  17
    Zu Leucippus.E. Zeller - 1902 - Archiv für Geschichte der Philosophie 15 (2):137-140.
  49. Existence and nonexistents.E. M. Zemach - 1993 - Erkenntnis 39 (2):145 - 166.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  5
    Some Horse Sense.E. M. Zemach - 2017 - Pacific Philosophical Quarterly 63 (1):69-74.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 930