Life and Work of Arthur Norman Prior
Last updated: 2018-06-29 16:57:31
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.
Ackermann, W. | Begründung einer strengen Implikation (Journal of symbolic logic, 21 (2), June 1956) |
Ajdukiewicz, K. | The axiomatic systems from the methodological point of view (Studia logica, 9, 1960) |
Ajdukiewicz, K. | Epistemology and semiotic (Proceedings of the 10th International Congress of Philosophy, Amsterdam, 1948) |
Ajdukiewicz, K. | La notion de rationalité des méthodes d’inférence faillibles (Logique et analyse, 2, Janvier 1959) |
Ajdukiewicz, K. | Okres warunkowy a implikacja materialna (Studia logica, 4, 1956) |
Ajdukiewicz, K. | On the notion of existence (Studia philosophica, 4, 1951) |
Ajdukiewicz, K. | Le problème du fondement des propositions analytiques (Studia logica, 8, 1958) |
Ajdukiewicz, K. | Three concepts of definition (Logique et analyse, 1, Août 1958 |
Ajdukiewicz, K. | Zwiazki skladniowe miedzy czlonami zdan oznajmujacych (Studia filozoficzne, 6 (21), 1960) |
Aldrich, V.C. | Chess not without the queen (Proceedings and addresses of the American Philosophical Association, 31, October 1958) |
Allen, I.M. | The Hippocratic ideal (New Zealand medical journal, 53 (296), August 1954) |
Anderson, A.R./ Belnap, N.D. | Enthymemes (Journal of philosophy, 58 (23), November 1961) |
Anderson, A.R./ Belnap, N.D. | First degree entailments (Math. Annalen, 149, 1963) |
Anderson, A.R./ Moore, O.K. | The formal analysis of normative concepts (2 copies) (Amercian sociological review, 22(1), February 1957) |
Anderson, A.R. | The logic of norms (2 copies) (Logique et analyse, 1, Avril 1958) |
Anderson, A.R. | Mathematics and the "language game" (Review of metaphysics, 9 (3), March 1958) |
Anderson, A.R./ Belnap, N.D. | The pure calculus of entailment (Journal of symbolic logic, 27 (1), March 1962) |
Anderson, A.R. | A reduction of deontic logic to alethic modal logic (Mind, 67 (265), January 1968) |
Anderson, A.R./ Belnap, N.D. | A simple treatment of truth functions (Journal of symbolic logic, 24 (4), December 1959) |
Anderson, A.R. | Some nasty problems in the formal logic of ethics (Noûs, 1 (4), 1967) |
Anderson, A.R./ Moore, O.K. | Some puzzling aspects of social interaction (Review of metaphysics, 15 (3), March 1962) |
Anon. | The image of New Zealand in the poetry of Ursula Bethell (Typescript) |
Anscombe, G.E.M. | Before and after (Philosophical review, 73 (1), January 1964) |
Anscombe, G.E.M. | The new theory of forms (Monist, 50 (3), July 1966) |
Åqvist, L. | Interpretations of deontic logic (Mind, 73 (290), April 1964) |
Åqvist, L. | On Dawson-models for deontic logic (Logique et analyse, 7, Avril 1964) |
Åqvist, L. | Results concerning some modal systems that contain S2 (Journal of symbolic logic, 29 (2), June 1964) |
Åqvist, L. | A solution to Moore’s paradox (Philosophical studies, 15 (1-2) January-February 1964) |
Arai, Y. | On axiom systems of propositional calculi II (Proceedings of the Japan Academy, 41 (6), 1965) |
Arai, Y. | On axiom sysems of propositional calclui III (Proceedings of the Japan Academy, 41 (7), 1965) |
Arai, Y. | On axiom systems of propositional calculi XII (Proceedings of the Japan Academy, 41 (10), 1965) |
Arai, Y. | On axiom systems of propositional calculi XVII (Proceedings of the Japan Academy, 42 (4), 1966) (Aristotleian Society Supplementary volume, 1959) |
Austin, J.L. | Ifs and cans (Proceedings of the British Academy, 42, 1956) |
Ayer, A.J. | Thinking and meaning (Inaugural lecture as Grote Professor of the Philosophy of Mind and Logic, University College London, Lewis, London, 1947) |
Baier, K. | Moral obligation (American philosophical quarterly, 3 (3), July 1966) |
Baker, A.J. | John Anderson and freethought (Australian quarterly, December 1962 |
Barcan, R.C. | The deduction theorem in a functional calculus of first order (Journal of symbolic logic, 11 (4), December 1946) |
Baumrin, B.H. | Is there a naturalistic fallacy? (American philosophical quarterly, 5 (2), April 1968) |
Bausch, A.F. | Modus ponens under hypotheses (Journal of symbolic logic, 29 (4), December 1964) |
Bayart, A. | La correction de la Logique de Modale du 1er and 2eme ordre (Logique et analyse, 1, Janvier 1958) |
Bayart, A. | Quasi-adéquation de la logique modale de 2eme ordre (2 copies) (Logique et analyse, 2, Avril, 1959) |
Becker, O. | A.N. Prior: time and modality (Philosophische Rundschau, 6, 1958) |
Becker, O. | Über den Kurieuwn locoz des Diodoros Kronos (Rheinisches Museum für Philologie, 1956) |
Becker, O. | Zur Rekonstruktion des Kyrieuon logos des Diodoros Kronos (Erkenntnis und Verantwortung, 1961) |
Bednarowski, W. | Hamilton’s quantification of the predicate (Proceedings of the Aristotleian Society, 1956) |
Bell, D.R. | La filosofia oggi in Gran Bretagna (Il Protagora, 1 (2-3), Arpile-Giugno 1959) |
Bennett, J. | Iterated modalities (Philosophical quarterly, 5 (18), January 1955) |
Bennett, J. | Meaning and implication (Mind, 63 (252), October 1954) |
Berg, J. | A note on deontic logic (Mind, 69 (276), October 1960) |
Bergman, G. | Some reflections on time (Archivio di filosofia organo dell’Instituto di Studi Filosfici,1958) |
Bergström, L. | Utilitarianism and deontic logic (Analysis, 29 (2), December 1968) |
Berka, K. | Historické podmínky vzniku vyrokové logiky stoikü (Philosophica, 2 (1), 1956) |
Berka, K. | Poznámky k textu sedmé knihy Diogena Laertskékho Vitae clarorum philosophorum (Listy filologicke, 6 (81) 1958) |
Berka, K. | Zur Problematik der peripatetischen Schlüsse (Deutsche Zeitschrift für Philosophie, 6 (6)) |
Berlin, I. | John Stuart Mill and the ends of life (Robert Waley Cohen Memorial Lecture, Council of Christians and Jews, London, 1959) |
Beth, E.W. | Considérations heuristiques sur les méthodes de déduction par séquences (Loqique et analyse, 2, October 1959) |
Beth, E.W. | On Mannoury’s method (Synthese, 10a) |
Beth, E.W. | On Padoa’s method in the theory of definition (Proceedings of the Akademie van Wetenschappen, Series A, 56 (4), 1953) |
Beth, E.W. | On the completeness of the classical sentential logic (Proceedings of the Akademie van Wetenschappen, Series A., 61 (4), 1958) |
Beth, E.W. | Remarks on intuitionistic logic (Constructivity in mathematics) |
Beth, E.W. | Science and classification (Synthese, 11 (3), September 1959) |
Beth, E.W. | Semantic entailment and formal derivability (Nieuew Reeks, 18 (13), 1955) |
Beth, E.W. | Semantics as a theory of reference (La Philosophie au milieu du vingtième siècle, ed. R. Klibansky, Firenze, 1958) |
Beth, E.W. | Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev (Proceedings of the Akademie van Wetenschappen, Series A, 56 (1), 1953) |
Beth, E.W. | Sur la description de certains modèles d’un système formel (Actes du Xième Congrès International de Philosophie, 1953) |
Beth, E.W. | A topological proof of the theorem of Löwenheim-Skolem-Gödel (Proceedings of the Akademie Van Wetenschappen, Series A, 54 (5), 1951) |
Bhattacharyya, S. | Symmetry, transitivity and reflexivity (Analysis, n.d.) |
Bird, O. | The formalizing of the topics in mediæval logic (Nôtre Dame journal of formal logic, 1 (4), 1960) |
Bird, O. | Peirce’s theory of methodology (Philosophy of science, 26 (3), July 1959) |
Bird, O. | Topic and consequence in Ockham’s logic (Nôtre Dame journal of formal logic 2 (2), 1961) |
Bird, O. | The tradition of the logical topics : Aristotle to Ockham (Journal of the history of ideas, 23 (3), July-September 1962) |
Bochenski, I.M. | Non-analtyical laws and rules in Aristotle (Methodos, 1951) |
Borgers, A | La logique des descriptions et des définitions (Mathematiques du Xxème siècle, 3, 1962) |
Borgers, A. | Les lois et les règles de la logique symbolique élémentaire des propositions et des prédicates (Mathématiques du XXème siècle, 2, 1961) |
Borgers, A. | La méthode axiomatique et la logique symbolique (Mathématiques du XXème siècle, 1, 1960) |
Borgers, A. | Quelques propositions arithmétiques équivalentes au principe de l’induction complète (Mathématiques du XXème siècle, 2, 1961) |
Borgers, A. | La théorie des ensembles (Mathématiques du XXème siècle, 1, 1960) |
Borkowski, L. | Dydaktyczne ujecie zerojedynkowej metody sprawdzania wyrazen wezszego jednoargumentowego rachunku predykatów (Studia logica, 11, 1961) |
Borkowski, L./ Slupecki, J. | A logical system based on rules and its application in teaching mathematical logic (Studia logica, 7, 1958) |
Borkowski, L. | The logical works of J. Lukasiewicz (Studia logica, 8, 1958) |
Borkowski, L. | O matrycowych regulach rachunku zdan (Matematyka fizyka astronomia, 2, 1959) |
Borkowski, L. | On proper quantifiers I (Studia logica, 8, 1958) |
Borkowski, L. | On proper quantifiers II (Studia logica, 10, 1960) |
Borkowski, L. | Pierwsza nowoczesna monografia o sylogistyce arystotelesa (Studia logica, 5, 1957) |
Borkowski, L. | Reduction of arithmetic logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants (Studia logica, 8, 1958) |
Borkowski, L. | Systems of the propositional and of the functional calculus based on one primitive term (Studia logica, 6, 1957) |
Borkowski, L. | O terminach modalnych (Studia logica, 7, 1958) |
Brain, L. | Some reflections on brain and mind (Brain, 86 (3), 1963) |
Braithwaite, R.B. | Axiomatizing a scientific system by axioms in the form of identifications |
Braithwaite, R.B. | Characterisations of finite Boolean lattices and related algebras (Journal of the London Mathematical Society, 17, 1942) |
Brandt, R.B. | The status of empirical assertion theories in ethics (Mind, 61 (244), October 1952) |
Broad, C.D. | The present relations of science and religion (Philosophy, 14 (54), April 1939) |
Brogan, A.P. | Aristotle’s logic of statements about contingency (Mind, 76 (301), January 1967) |
Bromberger, S. | The notion of analytical truth, by R.M. Martin (Philosophical review, 71 (2), April 1962) |
Bull, R.A. | An axiomatization of Prior’s modal calculus Q (Nôtre Dame journal of formal logic, 6 (3), July 1964) |
Bull, R.A. | A class of extensions of the modal system S4 with the finite modal property (Logik und Grundlagen, 11, 1962) |
Bull, R.A. | The implicational fragment of Dummett’s LC (Journal of symbolic logic, 27 (2), June 1962) |
Bull, R.A. | MIPC as the formalisation of an intuitionist concept of modality (Journal of symbolic logic, 31 (4), December 1966) |
Rull, R.A. | A modal extension of intuitionist logic (Nôtre Dame journal of formal logic, 6 (2), April 1965) |
Bull, R.A. | A note on the modal calculi S4.2 and S4.3 (Logik und Grundlagen, 10, 1964) |
Bull, R.A. | On possible worlds in propositional calculi (Theoria, 1968) |
Bull, R.A. | On the extension of S4 with CLMpMLp (Nôtre Dame journal of formal logic, 8 (4), October 1967) |
Bull, R.A. | On three related extensions of S4 (Nôtre Dame journal of formal logic, 8 (4), October 1967) |
Bull, R.A. | Some results for implicational calculi (Journal of symbolic logic, 29 (1), March 1964) |
Bull, R.A. | That all normal extensions of S4.3 have the finite model property (Logik und Grundlagen, 12, 1966) |
Bunge, M. | Physical time : the objective and relational theory (Philosophy of science, 35 (4), December 1968) |
Burns, A.L. | From balance to deterrence : a theoretical analysis (World politics, 9 (4), July 1957) |
Butler, R.J. | Natural belief and the enigma of Hume (Archiv für Geschichte der Philosophie, 42 (1), 1960) |
Butler, R.J. | The scaffolding of Russell’s theory of descriptions (Philosophical review, 63 (3), July 1954) |
Cameron, J.M. | Miracles (The month, 22 (5), November 1959) |
Cameron, J.M. | Poetry and dialectic (Inaugural lecture, Leeds, 1961) |
Cameron, J.M. | Words and things, by Ernest Gellner (Philosophical studies, 9, December 1959) |
Campbell, R. | Modality de dicto and de re (Australasian journal of philosophy, December 1964) |
Canty, J.T. | Completeness of Copi’s method of deduction (Nôtre Dame journal of formal logic, 4 (2), April 1963) |
Canty, J.T. | A natural deduction system for modal logic (Nôtre Dame journal of formal logic, 5 (3), July 1964) |
Canty, J.T. | A note on the axiomatization of Rubin’s system (S) (Nôtre Dame journal of formal logic, 6 (3), July 1965) |
Canty, J.T. | The numerical epsilon (Nôtre Dame journal of formal loigc, 10 (1), January 1969) |
Canty, J.T. | On symbolizing singularity S5 functions (Nôtre Dame journal of formal logic, 9 (4), October 1968) |
Canty, J.T. | Systems classically axiomatized and properly contained in Lewis’s S3 (Nôtre Dame journal of formal loigc, 6 (4), October 1965) |
Castañeda, H.-N. | Actions, imperatives, and obligations (Proceedings of the Aristotelian Society, 1967) |
Castañeda, H.-N. | Acts, the logic of obligation, and deontic calculi (Philosophical studies, 19 (1-2), January-February 1968) |
Castañeda, H.-N. | Analytic propositions, definitions and the a priori (Ratio, 2 (1), August 1959) |
Castañeda, H.-N. | "He" : a study in the logic of self-consciousness (Ratio, 8 (2), December 1966) |
Castañeda, H.-N. | Imperative reasonings (Philosophy and phenomenological research, 21 (1), September 1960) |
Castañeda, H.-N. | Indicators and quasi-indicators (American philosophical quarterly, 4 (2), April 1967) |
Castañeda, H.-N. | The logic of obligation (Philosophical studies, 10 (2), February 1959) |
Castañeda, H.-N. | Obligation and modal logic (Logique et analyse, 3, Janvier 1960) |
Castañeda, H.-N. | Omniscience and indexical reference (Journal of philosophy, 64 (7), April 1967) |
Castañeda, H.-N. | On the logic of attributions of self-knowledge to others (Journal of philosophy, 65 (15), August 1968) |
Castañeda, H.-N. | On the logic of self-knowledge (Noûs, 1 (1), March 1967) |
Castañeda, H.-N. | Un sistema general de lógica normativa (Dianoia, 1957) |
Chappell, V.C. | Time and Zeno’s arrow (Journal of philosophy, 59 (3), April 1962) |
Chisholm, R.M. | Brentano, Franz (Encyclopedia of philosophy, vol. 1, ed. P. Edwards, 1967) |
Chisholm, R.M. | Brentano’s theory of correct and incorrect emotion (Revue internationale de philosophie, 78 (4), 1966) |
Chisholm, R.M. | Comments on the "proposal theory" of philosophy (Journal of philosophy, 49 (9), April 1952) |
Chisholm, R.M. | Contrary-to-duty imperatives and deontic logic (Analysis, n.d.) |
Chisholm, R.M. | Ducasse’s theory of properties and qualities (Philosophy and phenomenological research, 13 (1), September 1952) |
Chisholm, R.M. | The ethics of requirement (American philosophical quarterly, 1 (2), April 1964) |
Chisholm, R.M. | Inference by complementary elimination (Journal of symbolic logic, 22 (3), September 1957) |
Chisholm, R.M. | Intentionality (Encyclopedia of philosophy, vol. 4, ed. P. Edwards, 1967) |
Chisholm, R.M. | Intentionality and the theory of signs (Philosophical studies, 3 (4), June 1952) |
Chisholm, R.M. | J. L. Austin’s philosophical paperss (Mind, 73 (289), January 1964) |
Chisholm, R.M. | Law statements and counterfactual inference (Analysis 15 (5), April 1955) |
Chisholm, R.M. | Leibniz’s law in belief contexts (Contributions to logic and methodology in honor of J.M. Bochenski, ed. A.-T. Tymieniecka, 1965) |
Chisholm, R.M. | The logic of knowing (Journal of philosophy, 60 (25), December 1963) |
Chisholm, R.M. | Meinong, Alexius (Encyclopedia of philosophy, vol. 5, ed. P. Edwards, 1967) |
Chisholm, R.M. | A note on Carnap’s meaning analysis (Philosophical studies, 6 (6), December 1955) |
Chisholm, R.M. | On the logic of believing (Philosophy and phenomenological research, 24 (2), December 1963) |
Chisholm, R.M. | On preference, probability, and learning (Synthese, 16, 1966) |
Chisholm, R.M. | On some psychological concepts and the "logic" of intentionality (Intentionality, minds, and perception, ed. H.-N. Castañeda, 1967) |
Chisholm, R.M. | On the logic of "intrinsically better" (American philosophical quarterly, 3 (3), July 1966) |
Chisholm, R.M. | Philosophers and ordinary language (Philosophical review, 60 (3), July 1951) |
Chisholm, R.M. | Philosophical essays, by A.J. Ayer (Journal of philosophy, 52 (7), March 1955) |
Chisholm, R.M. | Problems of analysis (Philosophical review, 64 (4), October 1955) |
Chisholm, R.M. | Query on substitutivity (Boston studies in the philosophy of science, 2, 1965) |
Chisholm, R.M. | Semantics and the philosophy of language, edited by Leonard Linsky, and Meaning, communication, and value, by Paul Kecskemeti (Philosophy and phenomenological research, 14 (1), September 1953) |
Chisholm, R.M. | Sentences about believing (Proceedings of the Aristotelian Society, 1956) |
Chisholm, R.M. | Supererogation and offence : a conceptual scheme for ethics (Ratio, 5 (1), June 1963) |
Church, A. | Brief bibliography of formal logic (Proceedings of the American Academy of Arts and Science, 80 92), May 1952) |
Church, A. | Carnap’s introduction to semantics (Philosophical review, 52 (3), 1943) |
Church, A. | Conditioned disjunction as a primitive connective for the propositional calculus (Portugaliae mathematica, 7 (2), 1948) |
Church, A. | Contributions to the analysis and synthesis of knowledge (Proceedings of the American Academy of Arts and Sciencess, 80 (1), July 1951) |
Church, A. | Eighth meeting of the association for symbolic logic (Journal of symbolic logic, 11 (1), March 1946) |
Church, A. | A formulation of the logic of sense and denotation (Structure, method and meaning : essays in honor of Henry M. Sheffer, 1951) |
Church, A. | The history of the question of existential import of categorical propositions (Proceedings of the 1964 International congress for logic, methodology and philosophy of science, Jerusalem, 1964) |
Church, A. | Intensional isomorphism and identity of belief (Philosophical studies, 5 (5), October 1954) |
Church, A. | Misogyny and ontological commitment (Typescript of lecture given at Harvard University, April 1958) |
Church, A. | Introduction to logic, by Patrick Suppess (Science, 126 (3285), December 1957) |
Church, A. | Non-normal truth tables for the propositional calculus (Boletin de la Sociedad Matematica Mexicana, 10 (1,2), 1953) |
Church, A. | On Carnap’s analysis of statements of assertion and belief (Analysis, 10 (5), April 1950) |
Church, A. | Special cases of the decision problem (Revue philosophique de Louvain, 49, May 1951) |
Clifford, J.E. | Tense logic and the logic of chance (Logique et analyse, 9, Juin 1966) |
Cohen, L.J. | Can the logic of indirect discourse be formalised? (Journal of symbolic logic, 22 (3), September 1957) |
Cohen, L.J. | Why do Cretans have to say so much? (Philosophcial studies, 12 (5), October 1961) |
Cresswell, M.J. | Alternative completeness theorems for modal systems (Nôtre Dame journal of formal logic, 8 (4), October 1967) |
Cresswell, M.J. | Completeness without the Barcan formula (Nôtre Dame journal of formal logic, 9 (1), January 1968) |
Cresswell, M.J. | A Henkin comlpeteness theorem for T (Nôtre Dame Journal of formal logic, 8 (3), July 1967) |
Cresswell, M.J. | The logic of imperatives (Proceedings of the 8th logic colloquium, Oxford, July 1963) |
Cresswell, M.J. | On the logic of incomlete answers (Journal of symbolic logic, 28 (1), March 1963) |
Cresswell, M.J. | Propositional arithmetic (Logique et analyse, 7, Décembre 1964) |
Cresswell, M.J. | Propositional identity (Logique et analyse, 10, Décembre 1967) |
Cresswell, M.J. | Another basis for S4 (Logique et analyse, 8, Septembre 1963) |
Cresswell, M.J. | Some further semantics for deontic logic (Logique et analyse, 10, Juin 1967) |
Curry, H.B. | The inferential approach to logical calculus (Logique et analyse, 4, Avril 1961) |
Daya | Symmetry, transitivity and reflexivity (Analysis, n.d.) |
Department of philosophy, University of Dundee | The encyclopedia of philosophy : an analytical review (Philosophical quarterly, 18 (70), January 1968) |
Dopp, J. | Essai d’une présentation de la logique combinatoire (Logique et analyse, 3, Octobre 1960) |
Dopp, J. | Les variétiés syntaxiques de la définition dans les langages rigoreux (Études philosophiques, 2, Avril-juin 1956) |
Drake, F.R. | On McKinsey’s syntactical characterizations of systems of modal logic (Journal of symbolic logic, 27 (4), December 1962) |
Dumitriu, A. | L’antinomie du menteur et sa solution (Revue roumaine des sciences sociales, 10 (2), 1966) |
Dumitriu, A. | Définition et existence (Revue roumaine des sciences sociales, 11 (4), 1967) |
Dumitriu, A. | Définitions et théoremès (Revue roumaine des sciences sociales, 12 (4), 1968) |
Dumitriu, A. | Le problème des paradoxes au moyen âge (Revue roumaine des sciences sociales, 9 (3), 1965) |
Dumitriu, A. | Les degrés de liberté du déterminisme (Scientia, 60, Juillet-Août 1966) |
Dumitriu, A. | Le problème des paradoxes logico-mathématiques (Scientia, 62, Juillet-Août 1968) |
Dumitriu, A. | The solution of logico-mathematical paradoxes (International philosophical quarterly, 9 (1), March 1969) |
Dumitriu, A. | La struttura logica della mentalita’primitiva (Dialogo, 1, 1969) |
Dummett, M. | Constructionalism (Philosophical review, 66 (1), January 1957) |
Dummett, M. | Frege on functions : a reply (Philosophical review, 64 (1), January 1955) |
Dummett, M./ Lemmon, E.J. | Modal logics between S4 and S5 (Logik und Grundlagen, 5, 1959) |
Dummett, M. | Nominalism (Philosophical review, 65 (4), October 1956) |
Dummett, M. | Note : Frege on functions (Philosophical review, 65 (2), April 1956) |
Dummett, M. | Propositional calculus with denumerable matrix (Journal of symbolical logic, 23 (1), March 1958) |
Dummett, M | Truth (Proceedings of the Aristotelian Society, 1959) |
Dummett, M. | Wittgenstein’s philosophy of mathematics (Philosophical review, 68 (3), July 1959) |
Department of Information Studies
University of Copenhagen
South Campus, build. 4
Njalsgade 76
DK-2300 Copenhagen S
Denmark
Department of Communication and Psychology
Aalborg University
Rendsburggade 14
DK-9000 Aalborg
Denmark
Department of Communication and Psychology
Aalborg University
Rendsburggade 14
DK-9000 Aalborg
Denmark