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 / S

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.
 
Sade, A. Algebre de Lukasiewicz dans la logique trivalente (Matematika I fizika, 247, 1969)
Sade, A. Evanescence de l’argument cantorien pour le cardinal des nombres dyadiques (Matematika I fizika, 210, 1968)
Sade, A. Fonctions propositionnelles monadiques dans la logique triavelente (Annales de la Société Scientifique de Bruxelles, 83, 1969)
Sade, A. Morphismes sur le groupoïde ternaire des opérateurs propositionnels (Annales de la Société Scientifique de Bruzelles, 83, 1969)
Sade, A. Quasigroupes demi-symétriques III (Annales de la Société Scientifique de Bruzelles, 81, 1967)
Salamucha, J. The proof ex motu for the existence of God : logical analysis of St. Thomas’ arguments
Salomaa, A. On many-valued systems of logic (Ajatus, 22, 1959)
Scharle, T.W. A diagram of the functors of the two-valued propositional calculus (Nôtre Dame journal of formal logic, 3 (4), 1962)
Schneewind, J.B. Comments on Prior’s paper (Review of metaphysics, 16 (2), December 1962)
Schram, J.M. Prodicus’ Fifty-drachma show-lecture and The Mytilene debate of Thucydides : an account of the intellectual and social antecedents of formal logic (Antioch review, 25 (1), Spring 1965)
Segerberg, K. On the logic of "to-morrow" (Theoria, 33, 1967)
Segerberg, K. Results in non-classical propositional logic (University of Uppsala, 1968)
Segerberg, K. Some modal logics based on a three-valued logic (Theoria, 33, 1967)
Sellars, W. Abstract entities (Review of metaphysics, 16 (4), June 1963)
Sellars, W. Classes as abstract entities and the Russell paradox (Review of metaphysics, 17 (1), September 1953)
Sellars, W. The identity approach to the mind-body problem (Review of metaphysics, 18 (3), March
Sellars, W. Induction as vindication (Philosophy of science, 31 (3), July 1964)
Sellars, W. Meditations Leibniziennes (American philosophical quarterly, 2 (2), April 1965)
Sellars, W. Naming and sense (Philosophy of science, 29 91), January 1962)
Sellars, W. Notes on intentionality (Journal of philosophy, 61 (21), November 1964)
Sellars, W. The paradox of analysis : a neo-fregean approach (Analysis, n.d.)
Sellars, W. Scientific realism or irenic instrumentalism : comments on J. J. C. Smart (Boston studies in the philosophy of science, 2, 1965)
Sellars, W. Some reflections on thoughts and things (Noûs, 1 (2), 1967)
Shapere, D. Mathematical ideals and metaphysical conepts (Philosophical review, 69 (3), July 1960)
Shapere, D. Philosophy and the analysis of language (Inquiry, 3, 1960)
Shepherdson On the interpretation of Aristotelian syllogistic (Journal of symbolic logic, 21 (2), June 1956)
Sibajiban Can the law of contradiction be stated? (Analysis, April 1961)
Sibajiban Descartes’ doubt (Philosophy and phenomenological research, 24 (1), September 1963)
Sibajiban The middle term (Nôtre Dame journal of formal logic, 9 (3), July 1968)
Sibajiban Mr. Eric Toms on the liar paradox (Mind, 74 (295), July 1965)
Sibajiban The self-contradictory and the inconceivable (Analysis supplement, 2, n.d.)
Simpson, T.M. A note on sense and denotation (No source given)
Simpson, T.M. On the elimination of oblique contexts (No source given)
Sinisi, V.F. Kotarbinski’s theory of genuine names (Theoria, 30, 1964)
Sloman, A. How to derive "better" from "is" (American philosophical quarterly, 6 (1), January 1969)
Slupecki, J. On Aristotelian syllogistic (Studia philosophica, 1951)
Smart, J.J.C. Can biology be an exact science? (Synthese, 11 (4), December 1959)
Smart, J.J.C. Colours (Philosophy, n.d.)
Smart, J.J.C. Conflicting views about explanation (Boston studies in the philosophy of science, 2, 1965)
Smart, J.J.C. Contradictories and entailments (Philosophy and phenomenological research, n.d.)
Smart, J.J.C. Current issues in the philosophy of science ed. H. Feigl and G. Maxwell (Australasian journal of philosophy, May 1962)
Smart, J.J.C. The direction of time by H. Reichenbach (No source given)
Smart, J.J.C. Dispositional properties (Analysis, n.d.)
Smart, J.J.C. Extreme and restricted utilitarianism (No source given)
Smart, J.J.C. Further remarks on sensations and brain processes (Philosophical review, 70 (3), July 1961)
Smart, J.J.C. Gödel’s theorem, Church’s theorem and mechanism (Synthese, 13 (2), June 1961)
Smart, J.J.C. The Indian journal of philosophy (No source given)
Smart, J.J.C. Is time travel possible? (Journal of philosophy, 60, 1963)
Smart, J.J.C. Materialism, materialism (Journal of philosophy, 60 (22), October 1963)
Smart, J.J.C. The methods of ethics and the methods of science (Journal of philosophy, n.d.)
Smart, J.J.C. The relevance of modern analytic philosophy for science (Australasian journal of science, 16 (6), June 1954)
Smart, J.J.C. Sensations and brain processes (Philosophical review, 68 (2), April 1959)
Smart, J.J.C. Sensations and brain processes : a rejoineder to Dr. Pitcher and Mr. Joske (No source given)
Smart, J.J.C. Sir William Mitchell, K.C.M.G. (1861-1962) (Australasian journal of philosophy, 40 (3), December 1962)
Smart, J.J.C. Spatialising time (Mind, 64 (254), April 1955)
Smart, J.J.C. The temporal asymmetry of the world (Analysis, 14 (4), March 1954)
Smart, J.J.C. "Tensed statements" : a comment (No source given)
Smart, J.J.C. Time (Contemporary philosophy : a survey, ed. R. Klibansky, 1968)
Smart, J.J.C./Mackie, J.L. A variant of the "heterological" paradox (Analysis, n.d.)
Smart, R.N. Being and the bible (Review of metaphysics 9 (4), June 1956)
Smiley, T.J. Entailment and deducibility (Proceedings of the Aristotelian Society, 1959)
Smiley, T.J. The independence of connectives (Journal of symbolic logic, 27 (4), December 1962
Smiley, T.J. Relative necessity (Journal of symbolic logic, 28 (2), June 1963)
Smiley, T.J. Syllogism and quantification (Journal of symbolic logic, 27 (1), March 1962)
Sobel, J.H. "Everyone", consequences and generalization arguments (Inquiry, 10, 1967)
Smiley, T.J./Basson, A.H. Propositional functions (No source given)
Sobocinski, B. L’analyse de l’antinomie russellienne par Lesniewski (Methodos, 1, 1949)
Sobocinski, B. An axiom-system for {K;N}-propositional calculus related to Simons’ axiomatization of S3 (Nôtre Dame journal of formal logic, 3 (3), 1962)
Sobocinski, B. Axiomatization of a conjunctive-negative calculus of propositions (Journal of computing studies, 1 (4), 1954)
Sobocinski, B. Axiomatization of a partial system of three-value calculus of propositions (Journal of computing studies, 1 (1), 1952)
Sobocinski, B. Z badan nad aksjomatyka prototetyki Stanislawa Lesniewskiego (Yearbook of the Polish Society of Arts and Sciences Abroad, 1953-4)
Sobocinski, B. Certain formulas equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 2 (4), 1961)
Sobocinski, B. A contribution to the axiomatization of Lewis’ system S5 (Nôtre Dame journal of formal logic, 3 (1), 1962)
Sobocinski, B. Family K of the non-Lewis modal systems (Nôtre Dame journal of formal logic, 5 (4), 1964)
Sobocinski, B. Modal system S4.4 (Nôtre Dame journal of formal logic, 5 (4), 1964)
Sobocinski, B. In memoriam Jan Lukasiewicz (1878-1956) (Philosophical studies (Ireland), 6, December 1956)
Sobocinski, B. An investigation of protothetic (Cahiers de l’Institut d’Études Polonaises en Belgique, 5, 1949)
Sobocinski, B. A note concerning the axiom of choice (Nôtre Dame journal of formal logic, 1 (3), 1960)
Sobocinski, B. Note on a modal system of Feys-Von Wright (Journal of computing studies, 1 (3), 1953)
Sobocinski, B. Note on a problem of Paul Bernays (Journal of symbolic logic, 20 (2), June 1955)
Sobocinski, B. A note on Prior’s systems in The theory of deduction (Nôtre Dame journal of formal logic, 5 (2), 1964)
Sobocinski, B. A note on the regular and irregular modal systems of Lewis (Nôtre Dame journal of formal logic, 3 (2), 1962)
Sobocinski, B. On a universal decision element (Journal of computing studies, 1 (2), 1953)
Sobocinski, B. On the generalized Brouwerian axioms (Nôtre Dame journal of formal logic, 3 (2), 1962)
Sobocinski, B. On the single axioms of protothetic I (Nôtre Dame journal of formal logic, 1 (1), 1960)
Sobocinski, B. On the single axioms of protothetic II (Nôtre Dame journal of formal logic, 2 (2), 1961)
Sobocinski, B. On the single axioms of protothetic III (Nôtre Dame journal of formal logic, 2 (3), 1961)
Sobocinski, B. On well constructed axiom systems (Yearbook of the Polish Society of Arts and Sciences Abroad, 1955-6)
Sobocinski, B. A set-theoretical formula equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 3 (3), 1962)
Sobocinski, B. A simple formula equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 1 (3), 1960)
Sobocinski, B. Six new sets of independent axioms for distributive lattices with O and I (Nôtre Dame journal of formal logic, 3 (3), 1962)
Sobocinski, B. Studies in Lesniewski’s mereology (Yearbook of the Polish Society of Arts and Sciences Abroad, 1954-5)
Sobocinski, B. A theorem on Hartog’s alephs (Nôtre Dame journal of formal logic, 2 (4), 1961)
Sobocinski, B. Three set-theoretical formulas (Nôtre Dame journal of formal logic, 2 (1), 1961)
Stahl, G. Une formalisation du "dominateur" (Revue philosophique de la France et de l’étranger, 1963)
Stahl, G. General considerations about modal sentences (Zeitschrift für mathematische Logik und Grundlagen d. Math., 5, 1959)
Stahl, G. Le problème de l’existence dans la logique symbolique (Revue philosophique de la France et de l’étranger, 1960)
Stahl, G. Temps et existence (Revue philosophique de la France et de l’étranger, 1961)
Stenius, E. Are true numerical statements analytic of synthetic? (Philosophical review, 74 (3), July 1965)
Stenius, E. Beginning with ordinary things (Synthese, n.d.)
Stenius, E. Miss Anscombe’s retraction (Analysis, n.d.)
Stenius, E. On the number of dimensions of physical space (Acta philosophica fennica, 18, 1965)
Sugihara, T. The number of modalities in T supplemented by the axiom CL2pL3p (Journal of symbolic logic, 27 (4), December 1962)
Sugihara, T. The number of modality (Memoirs of the Faculty of Liberal Arts, Fukui University, 10, February 1961)
Suszko, R. O analyitcznych aksjomatach I logicznych regulach wnioskowania (Prace komisji filozoficnej, 7 (5), 1949)
Suszko, R. Canonic axiomatic systems (Studia philosophica, 4, 1951)
Suszko, R. Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Studia logica, 11, 1961)
Suszko, R. Formalna teoria wartosci logicznych I (Studia logica, 6, 1957)
Suszko, R. On the extending of models II (Fundamenta mathematicae, 42, 1955)
Suszko, R. On the extending of models IV (Fundamenta mathematicae, 44, 1957)
Suszko, R. On the extending of models V (Fundamenta mathematicae, 48, 1960)
Suszko, R. Remarks on sentential logics (Proceedings of Akademie van Wetenschappen Series A, 61, 1958)
Suszko, R. Zarys elementarnej skladni logicznej (Zeszyty Wydzialu Filozoficznego Uniwersytetu Warszawskiego, 3, 1957)
Suszko, R. Syntactic structure and semantical reference I (Studia logica, 8, 1958)
Suszko, R. Syntactic structure and semantical reference II (Studia logica, 9, 1960)
   
Updated December 23, 2017