Prior Studies

Life and Work of Arthur Norman Prior

Home / The Archive at the Bodleian  / Box 23-29 / A-B-C-D


A-B-C-D

Offprints from the collection of A.N. Prior

Last updated: 2018-06-29 16:57:31


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.

A | B | C | D | 

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, ALa 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)
DayaSymmetry, transitivity and reflexivity
(Analysis, n.d.)
Department of philosophy, University of DundeeThe 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, MTruth
(Proceedings of the Aristotelian Society, 1959)
Dummett, M.Wittgenstein’s philosophy of mathematics
(Philosophical review, 68 (3), July 1959)

 
Per F. V. Hasle ©
  • Department of Information Studies


  • University of Copenhagen

  • South Campus, build. 4


  • Njalsgade 76

  • DK-2300 Copenhagen S


  • Denmark


  • per.hasle@hum.ku.dk
Peter Øhrstrøm ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • poe@hum.aau.dk
David Jakobsen ©

  • Department of Communication and Psychology


  • Aalborg University

  • Rendsburggade 14

  • DK-9000 Aalborg

  • Denmark


  • davker@hum.aau.dk