Foundations of Temporal Logic – The WWW-site for Prior-studies
a joint project between
Department of Information Studies – University of Copenhagen
and
Department of Communication and Psychology – Aalborg University

 

www.priorstudies.org

 

Boxes 23-29 / M

Offprints from the collection of A.N. Prior
donated by
Mrs. Prior
These offprints must be ordered up from the basement stack.
Readers are requested to ask for these only if they are not available in the main offprint collection.
 
McCall, S. Abstract individuals (Dialogue, 4 (3), 1965)
McCall, S. A modal logic with eight modalities (Contributions to logic and methodology in honour of J.M. Bochenski, ed. A.-T. Tymieniecka, 1965)
McCall, S. The paradox of foreknowledge (Dialogue, 6 (2), 1967)
McCall, S. Temporal flux (American philosophical quarterly, 3 (4), October 1966)
MacDonald, I.D. Are there any principles in mathematics teaching? (Australian mathematics teacher, 21 (2), July 1965)
MacDonald, I.D. Matrices as "new mathematics" I (Australian mathematics teacher, 20 (1), April 1964)
MacDonald, I.D. Matrices as "new mathematics" II (Australian mathematics teachers, 20 (2), July 1964)
MacDonald, I.D. An old discussion of mathematics in education (Australian mathematics teacher, 21 (3), November 1965)
MacDonald, I.D. Thinking in symbols (New science, n.d.)
Mach, E. The science of mechancis (The science of mechanics : a critical and historical account of its development, 1960)
MacKay, D.M. Brain and will (Faith and though, 90 (2), Autumn 1958)
MacKay, D.M. On the logical indeterminacy of a free choice (Mind, 69 (273), January 1960)
Mackie, J.L. Causes and conditions (Americal philosophical quarterly, 2 (4), October 1965)
Mackie, J.L. Conditionally-restricted operations (Nôtre Dame journal of formal logic, 2 (4), 1961)
Mackie, J.L. Contemporary linguist philosophy : its strength and its weakness (Inaugural lecture, University of Otago, 1956)
Mackie, J.L. The direction of causation (Philosophical review, 75 (4), October 1966)
Mackie, J.L. The paradox of confirmation (British journal for the philosophy of science, 13 (52), 1963)
Mackie, J.L. Philosophy : its place in the universities (Vestes, 4 (3), September 1961)
Mackie, J.L. The philosophy of John Anderson (No source given)
Mackie, J.L./ Kneebone, G.T. Proof (No source given)
Mackie, J.L. Responsiblity and language (No source given)
Mackie, J.L. Self-refutation : a formal analysis (Philosophical quarterly, 14 (56), July 1964)
Makinson, D. An alternative characterisation of first-degree entailment (Logique et analyse, 32, Décember, 1965)
Makinson, D. Defending common sense (Philosophical review, 58 (3), May 1949)
Makinson, D. Nidditch’s definition of verifiability (Mind, 74 (294), April 1965)
Makinson, D. On some completeness theorems in modal logic (Zeitschrift für mathematische Logik und Grundlagen d. Math., 12, 1966)
Makinson, D. The paradox of the preface (Analysis, n.d.)
Makinson, D. Remarks on the concept of distribution in traditional logic (Noûs, 3 (1), 1969)
Makinson, D. There are infinitely many Diodorean modal functions (Journal of symbolic logic, 31 (3), September 1966)
Malcolm, N. Russell’s Human knowledge (Philosophical review, 59 (1), January 1950)
Marc-Wogau, K. The argument from illusion and Berkeley’s idealism (Theoria, 24 (2), 1958)
Marc-Wogau, K. Berkeley’s sensationalism and the esse est percipi-principle (Theoria, 23 (1), 1957)
Martin, R.L. Toward a solution to the liar paradox (Philosophical review, 76 (3), July 1967)
Massey, G.J. Symbolic logic among the humanities (Centennial review, 11 (2), Spring 1967)
Matsumoto, K. Decision procedure for modal sentential calculus S3 (Osaka mathematical journal, 12 (1), June 1960)
Maxwell, G. Theories, frameworks and ontology (Philosophy of science, 29 (2), April 1962)
Maxwell, N. Can there be necessary connections between successive events? (British journal of the philosophy of science, 19, 1967)
Mazrui, A.A. Alienable sovereignty in Rousseau : a further look (Ethics, 77 (2), January 1967)
Mazrui, A.A. Ancient Greece in African political thought (Inaugural lecture, Makerere University College, Kampala, Uganda, 1967)
Mazrui, A.A. From social Darwinism to current theories of modernization (World politics, 21 (1), October 1968)
Mazrui, A.A. Islam, political leadership and economic radicalism in Africa (Comparative studies in society and history, 9 (3), April 1967)
Mazrui, A.A. The monarchical tendency in African political culture (British journal of sociology, 18 (3), September 1967)
Mazrui, A.A. Rousseau and intellectualized populism in Africa (Review of politics, 30 (1), January 1968)
Meiland, J.W. Temporal parts and spatio-temporal analogies (American philosophical quarterly, 3 (1), January 1966)
Menger, K. The algebra of functions : past, present, future (Matematica, 20, 1961)
Menger, K. A counterpart of Occam’s razor in pure and applied mathematics (Synthese, 12 (4), December 1960)
Menger, K. Gulliver in Applyland (Eureka, October 1960)
Menger, K. Gulliver’s return to the land without one, two, three (American mathematical monthly, 67 (7), August-September 1960)
Menger, K. A logic of the doubtful : on optative and imperative logic (Reports of a mathematical colloqium second series, 1, 1939)
Menger, K. Superassociative systems and logical functors (Math. Annalen, 157, 1964)
Menger, K./ Whitlock, H.I. Two theorems on the generation of systems of functions (Fundamenta mathematica, 58, 1966)
Menger, K. Variables, constants, fluents (Symposium on the logic of variables and constants, n.d.)
Meredith, C.A. The dependence of an axiom of Lukasiewicz (Transactions of the American Mathematical Society, 87 (1), January 1958)
Meredith, C.A. The figures and moods of the n-term Aristotelian syllogism (Dominican studies, 5, 1953)
Meredith, C.A. On an extended system of the propositional calculus (Proceedings of the Royal Irish Academy, 54 (3), 1951)
Meredith, C.A. Postulates for implicational calculi (Journal of symbolic logic, 31 (1), March 1966)
Meredith, C.A. Single axioms for the systems (C,N), (C,O) and (A,N) of the two-valued propositional calculus (Journal of computing systems, 1 (3), 1953)
Meyer, R.K. Pure denumerable Lukasiewiczian implication (Journal of symbolic logic, 31 (3), September 1966)
Mihailescu, E. Decision problem in the classical logic (Nôtre Dame journal of formal logic, 8 (3), 1967)
Moh, S.-K. The deduction theorems and two new logical systems (Logica simbolica, 1960)
Moh, S.-K. On the definition of primitive recursive functions (In Chinese with English abstract) (Acta mathematica sinnica, 5 (1), 1955)
Moh, S.-K. Some axiom systems for propositional calculus (In Chinese with English abstract) (Acta mathematica sinnica, 5 (1), 1955)
Moisil, G.C. Bibliografia lucrarilor romanesti de logica matematica (Societatea de stiinte matematice din Republica Socialista Romania, 1965)
Moisil, G.C. Les logqiues non-Chrysippiennes et leurs applications (Acta philosophica fennica, 16, 1963)
Moisil, G.C. The interest of the actual operation of switching circuits for the logician (Analele Universitatii Bucuresti, 7-8, 1964-5)
Moisil, G.C. Remarques sur les modèles de la logique élémentaire (Bulletin mathématique de la Société des sciences mathématiques de la République Socialiste du Roumaine, 10 (58), 1966)
Moisil, G.C. Sur l’arithmetique à logique élémentaire (Analele Universitatii Bucuresti, 9, 1966)
Moisil, G.C. Sur la logique a trois valuers de Lukasiewicz (Analele Universitatii Bucuresti, 5 , 1962)
Moisil, G.C. Sur la logique strictement positive (Analele stiintifice ale Universitatii al I Cuza din Iasi, 11, 1965)
Moisil, G.C. Sur les ideaux des algebres Lukasiwicziennes trivalentes (Anaelele Universitatii C. I. Parhon, 1, 1960)
Montague, R. Deterministic theories (Decisions, values and groups, 1962)
Montague, R. Interpretability in terms of models (Proceedings of Akademie van Wetenschappen Series A, 68 93), 1965)
Montague, R./Kalish, D. On Tarski’s formalization of predicate logic with identity (Archiv für mathematische Logik und Grundlagenforschung, 7 (3-4), Mai 1965)
Montague, R./Kalish, D. "That" (Philosophical studies, 10, 1959)
Montgomery, H./Routley, R. Contingency and noncontingency bases for normal modal logic (Logique et analyse, 35-36, Décembre 1966)
Montogmery, H. "Counting" : a query (Australasian journal of philosophy, December 1965)
Montgomery, H./Routley, R. On systems containing Aristotle’s thesis (Journal of symbolic logic, 33 (1), March 1968)
Moody, E.A Buridan and a dilemma of nominalism (Harry Austryn Wolfson Jubilee volume, American Acdemy for Jewish Research, 1965)
Moody, E.A. A quodlibetal question of Robert Holkot, O.P., on the problem of the objects of knowledge and of belief (Speculum, 39 (1), January 1964)
Mostowski, A. Axiomatizability of some many valued predicate calculi (Fundamenta mathematicae, 50, 1961)
Mostowski, A./Ehrenfeucht, A. A compact space of models of first order theories (Bulletin de l’Academie Polonaise des Sciences, 9 (5), 1961)
Mostowski, A.A formula with no recursively enumerable model (Fundamenta mathematicae, 42, 1955)
Mostowski, A. A generalization of the incompleteness theorem (Fundamenta mathematicae, 49, 1961)
Mostowski, A. On a system of axioms which has no recursively renumerable arithmetic model (Fundamenta mathematicae, 40, 1953)
Mostowski, A. Quelques observations sur l’usage des méthodes non finitistes dans la méta-mathématique (Le Raisonnement en mathématqiues et en science experimentale, 1955)
Mothersill, M. "Unique" as an aesthetic predicate (Journal of philosophy, 58 (16), August 1961)
   
Updated December 23, 2017