-
79A Correct Polynomial Translation of s4 Into Intuitionistic LogicJournal of Symbolic Logic 84 (2): 439-451. 2019.We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.
-
106A. J. Ayer. Truth. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 162–187 (review)Journal of Symbolic Logic 31 (1): 113-113. 1966.
-
156
-
106
-
98
-
46Körner S.. Individuals and properties. Mind, n.s. vol. 63 , pp. 380–383Journal of Symbolic Logic 21 (3): 318-318. 1956.
-
50Review: C. D. Rollins, The Philosophical Denial of Sameness of Meaning; Arthur Smullyan, $Phi$-Symbols (review)Journal of Symbolic Logic 16 (3): 211-212. 1951.
-
108A. J. Ayer. Names and descriptions. Logique et analyse, n.s. vol. 5 no. 20 , pp. 199–202. - L. J. Russell, J. Dopp, Findlay, A. J. Ayer. Discussion. Logique et analyse, n.s. vol. 5 no. 20 , pp. 202–211 (review)Journal of Symbolic Logic 29 (4): 197. 1964.
-
136K. R. Popper. Self-reference and meaning in ordinary language. Mind, n. s. vol. 63 , pp. 162–169. - Ellis Evans. On some semantic illusions. Mind, n. s. vol. 63 , pp. 203–218. - Avrum Stroll. Is everyday language inconsistent?Mind, n. s. vol. 63 , pp. 219–225Journal of Symbolic Logic 21 (4): 381-381. 1956.
-
75Pap Arthur. Propositions, sentences, and the semantic definition of truth. Theoria , vol. 20 , pp. 23–35Journal of Symbolic Logic 21 (4): 381-382. 1956.
-
96Storer Thomas. The notion of “tautology.” Philosophical studies, vol. 5 , pp. 75–78Journal of Symbolic Logic 21 (4): 380-380. 1956.
-
171Cohen L. J. and Lloyd A. C.. Assertion-statements. Analysis , vol. 15 no. 3 , pp. 66–70Journal of Symbolic Logic 21 (1): 82-83. 1956.
-
72Hans Reichenbach. On observing and perceiving. Philosophical studies, vol. 2 , pp. 92–93Journal of Symbolic Logic 20 (2): 188. 1955.
-
88Review: Karl Aschenbrenner, Intention and Understanding (review)Journal of Symbolic Logic 19 (2): 138-138. 1954.
-
111Chisholm Roderick M.. Reichenbach on observing and perceiving. Philosophical studies, vol. 2 no. 4. pp. 45–48Journal of Symbolic Logic 17 (1): 70-70. 1952.
-
73Bar-Hillel Yehoshua. Comments on logical form. Philosophical studies, vol. 2 no. 4., pp. 26–29Journal of Symbolic Logic 17 (1): 69-69. 1952.
-
107Price Robert A.. A note on likeness of meaning. Analysis, vol. 11 no. 1 , pp. 18–19Journal of Symbolic Logic 16 (3): 212-212. 1951.
-
46Review: Max Black, Language and Philosophy (review)Journal of Symbolic Logic 15 (3): 210-213. 1950.
-
199George Berkeley. Lectures delivered before the Philosophical Union of the University of California. University of California Publications, Volume 29. Edited by S. C. Pepper, Karl Aschenbrenner and Benson Mates. (University of California Press, Berkeley and Los Angeles: Cambridge University Press, London, England. Pp. viii + 206. Price $4.) (review)Philosophy 34 (128): 75-. 1959.
-
87Sellars Wilfrid. Quotation marks, sentences, and propositions. English with Spanish abstract. Philosophy and phenomenological research, vol. 10 no. 4 , pp. 515–525 (review)Journal of Symbolic Logic 16 (2): 140-141. 1951.
