Skip to main content
Log in

Przegląd czasopism

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Artykuły o treści logicznej zawarte w czasopismach nadesłanych do redakcji

  • B. C. Johnsen:Black and the inductive justification of induction.Analysis. Vol. 32, No. 3.

  • M. Martin:Confirmation and explanation.Analysis. Vol. 32, No. 5.

  • J. E. Wiredu:A note on modal quantification, ontology and the indenumerably infinite.A. J. Dale:‘Orders’ of sets.W. W. Gustason:Miss Anscombe on the ‘general propositional form’.D. H. Sanford:Begging the question.R. K. Perkins, Jr.:Urmson on Russell's incomplete symbols.R. E. Bales:Utilitarianism, overall obligatoriness and deontic logic.Analysis. Vol. 32, No. 6.

  • W. C. Kneale:Russell's paradox and some others.I. Hacking:Equipossibility theories of probability.D. Batens:Some objections to Keith Lehrer's Rule IR.I. Scheffler:Explanation, desires, and inscriptions.M. Ruse:The species problem.The British Journal for the Philosophy of Science. Vol. 22, No. 4.

  • J. J. Clarke:Turing machines and the mind-body problem.M. R. Gardner:Quantum-theoretical realism: Popper and Einstein v. Kochen and Specker.K. S. Friedman:Empirical simplicity as testability.A. R. White:The propensity theory of probability.J. Giedymin:Quine's Philosophical Naturalism.E. E. Harris:Epicyclic Popperism.The British Journal for the Philosophy of Science. Vol. 23, No. 1.

  • M. R. Gardner:Two deviant logics for quantum theory: Bohr and Reichenbach.The British Journal for the Philosophy of Science. Vol. 23, No. 2.

  • I. K. Namba:Independence proof of (ω, ω a )-distributive law in complete Boolean algebras.T. Uesu:Two formal systems of simple type theory with type variables.T. Uesu:Correction to ‘Zermelo's set theory and G *LC’.M. Takahashi:Cut-elimination theorem and Brouwerian-valued models for intuitionistic type theory.Commentarii Mathematici Universitatis Sancti Pauli. Tom XIX, Fasc. I.

  • T. Uesu:Simple type theory with constructive infinitely long expressions.Commentarii Mathematici Universitatis Sancti Pauli. Tom XIX, Fasc. II.

  • Hisao Tanaka:A note on hyperdegrees.Commentarii Mathematici Universitatis Sancti Pauli. Tom XX, Fasc. I.

  • Moto-o Takahashi:On the existence of Cohen extensions.Commentarii Mathematici Universitatis Sancti Pauli. Tom XX, Fasc. II.

  • A. Abian:Complete prime ideals of Boolean rings.M. Petrich:On ideals of a semilattice.T. Sturm, Praha:Äquivalenz- und Ordnungsrelationen.T. Katrinák:Die Kennzeichnung der beschränkten Brouwerschen Verbände.Czechoslovak Mathematical Journal. Vol. 22 (97) No. 2.

  • H. Parthey, H. Wessel:Der IV. Internationale Kongress für Logik, Methodologie und Philosophie der Wissenschaft.Deutsche Zeitschrift für Philosophie. 1971, No. 12.

  • Y. Gauthier:Logique mathématique et philosophie des mathématiques.J. Danek:La Méthodologie de Bolzano. Un thème dans la genèse de la pensée phénoménologique et de l'humanisme de notre temps.Ch. E. Cassin: ‘εxin Russell's analysis of definite descriptions.Dialogue. Vol. X, No. 3.

  • D. van Dalen, C. E. Gordon:Independence problems in subsystems of intuitionistic arithmetic.A. Hajnal, I. Juhász:A consequence of Martin's axiom.Indagationes Mathematicae. Vol. 33, Fasc. 5.

  • Shukla, Sahab Lal:Intuitionist treatment of some spaces of sequences.Hanstra, Herman:On the insufficiency of logically rigorous methods for communicating results of pure mathematics a subject for discussion.Indagationes Mathematicae. Vol. 34, Facs. 2.

  • P. R. Meyer:On the cardinality of dense sets.S. L. Shukla:On intuitionist analogues of classically inseparable spaces.S. L. Shukla:On some linear spaces which coincide classically but are different intuitionistically.Indagationes Mathematicae. Vol. 34, Fasc. 3.

  • I. Hacking:The Leibniz-Carnap program for inductive logic.The Journal of Philosophy. Vol. LXVIII, No. 19.

  • J. Wallace:Some logical roles of adverbs.R. H. Thomason:Logic and adverbs.The Journal of Philosophy. Vol. LXVIII, No. 20.

  • D. Scott:On engendering an illusion of understanding.R. K. Meyer:Entailment.The Journal of Philosophy. Vol. LXVIII, No. 21.

  • R. Zaffron:Identity, subsumption and scientific explanation.I. Levi:Truth, content, and ties.The Journal of Philosophy. Vol. LXVIII, No. 23.

  • R. Ackermann:Opacity in belief structures.R. C. Sleigh, Jr.:Restricted range in epistemic logic.I. Scheffler, N. Goodman:Selective confirmation and the ravens.The Journal of Philosophy. Vol. LXIX, No. 3.

  • I. Waldner:The empirical meaningfulness of interpersonal utility comparisons.The Journal of Philosophy. Vol. LXIX, No. 4.

  • M. Swain:Knowledge, causality, and justification.P. Unger:Propositional verbs and knowledge.The Journal of Philosopby. Vol. LXIX, No. 11.

  • H. Field:Tarski's theory of truth.R. S. Tragesser:Some observations concerning logics and concepts of existence.The Journal of Philosophy. Vol. LXIX, No. 13.

  • Th. J. Jech:Trees.D. P. McCullough:Logical connectovers for intuitionistic propositional logic.J. Helm, P. Young:On size versus efficiency for programs admitting speed-ups.D. Pincus:Support structures for the axiom of choice.J. I. Friedman:The generalized continuum hypothesis is equivalent to the generalized maximization principle.C. H. Applebaum: ω-homomorphisms and ω-groups.C. G. Jockusch, Jr., R. I. Soare:A minimal pair of II 01 classes.J. T. Baldwin, A. H. Lachlan:On strongly minimal sets.M. K. Rennie:Semantics for RK t .K. J. Barwise, R. O. Gandy, Y. N. Moschovakis:The next admissible set.S. Garfunkel, H. Shank:On the Undecidability of finite planar graphs.C. G. McKay:A class of decidable intermediate propositional logics.G. Fuhrken, W. Taylor:Weakly atomio-compact relational structures.The Journal of Symbolic Logic. Vol. 36, No 1.

  • M. Lerman:Some theorems on R-maximal sets and major subsets of recursively enumerable sets.J. Malitz:Infinitary analogs of theorems from first order model theory.S. Aanderaa, D. Belsnes:Decision problems for tag systems.H. J. Keisler:On theories categorical in their own power.T. J. Grilliot:On effectively discontinuous type-2 objects.S. Görnemann:A logic stronger than intuitionism.S. Maehara, G. Takeuti:Two interpolation theorems for a II 11 predicate calculus.D. A. Alton:Recursively enumerable sets which are uniform for finite extensions.D. Isles:Natural well-ordings.A. B. Manaster:Some contrasts between degrees and the arithmetical hierarchy.E. M. Kleinberg, R. A. Shore:On large cardinals and partition relations.J. R. Moschovakis:Can there be no nonrecursive functions? The Journal of Symbolic Logic. Vol. 36, No. 2.

  • E. Wesley:An application of nonstandard analysis to game theory.K. Prikry:On measures on complete Boolean algebras.K. Kunen:Elementary embeddinds and infinitary combinatoris.P. B. Andrews:Resolution in type theory.J. C. Owings, Jr.:A splitting theorem for simple II 11 sets.J. G. Rosenstein:A note on a theorem of Vaught.A. Robinson:On the notion of algebraic closedness for noncommutative groups and fields.J. Gregory:Incompleteness of a formal system for infinitary finite-quantifier formulas.L. H. Tharp:A quasi-intuitionistic set theory.J. Flum:A remark on infinitary languages.F. Wattenberg:Nonstandard topology and extensions of monad systems to infinite points.J. C. E. Dekker:Countable vector spaces with recursive operations.R. Parikh:Existence and feasibility in arithmetic.The Journal of Symbolic Logic. Vol. 36, No. 3.

  • R. Fittler:Generalized prime models.R. McKenzie:Negative solution of the decision problem for sentences true in every subalgebra od <N,+>.D. J. Shoesmith, D. J. Smiley:Deducibility and manyvaluedness.P. Eklof, G. Sabbach:Definability problems for modules and rings.K. Kunen, K. Prikry:On descendingly incomplete ultrafilters.M. D. Gladstone:Simplifications of the recursion scheme.The Journal of Symbolic Logic. Vol. 36, No. 4.

  • R. Chuaqui:Forcing for the impredicative theory of classes.H. E. Rose: εa-arithmetic and transfinite induction.R. Mansfield:The completeness theorem for infinitary logic.P. Aczel:Describing ordinals using functionals of transfinite types.J. R. Shilleto:Minimum models of analysis.A. R. Meyer, P. C. Fischer:Computational speed-up by effective operators.W. Hodges:On order-types of models.J. Ketonen:On nonregular ultrafilters.Ph. Olin:Products of two-sortes structures.Th. J. Grilliot:Omitting types; application to recursion theory.E. Ellentuck:Nonrecursive combinatorial functions.A. Mostowski:A transfinite sequence of ω-models.A. Blass:The intersection of nonstandard models of arithmetic.S. Shelah:Uniqueness and characterization of prime models over sets for totally transcedental first-order theories.E. Ellentuck:The positive propertiesof isolic integers.J. W. Rosenthal:A new proof of a theorem of Shelah.D. M. Gabbay:Applications of trees to intermediate logics.L. Hay:A discrete chain of degrees of index ets.S. K. Thomason:Semantic analysis of tense logics.The Journal of Symbolic Logic. Vol. 37, No. 1.

  • M. Hladky:Precedence relations and their connection with unambiguity of context-free grammars.Kybernetika. Ročnik 8 (1972), Čislo 1.

  • L. Tondl:K. problemam semanticzeskoj informacii.J. Gruska:On the size of context-free grammars.Kybernetika. Ročnik 8 (1972), Čislo 3.

  • R. Routley:Domainless semantics for free, quantification, and significance logics.M. K. Rennie:Completeness in the logic of predicate modifier.J. Corcoran, J. Herring:Notes on a semantic analysi, of variable binding term operators.R. K. Meyer:On coherence in modal loiges.H. Hubien:On two of Professor Rescher's model theses.N. Rescher, Z. Parks:Restricted inference.M. Boffa:Demonstration d'une conjecture de J. H. Harris.W. Schild:Wants and causes.Logique et Analyse. 1971. No. 55

  • E. W. Chapin:On axioms and their corresponding deduction rules: a survey.L. E. Sanchis:Cut elimination, consistency and completeness in classical logic.M. W. Bunder:Predicate calculus without free variables.C. Williamson:Traditional logic as a logic of distribution-values.D. E. Cooper:Intensional isomorphism.M. K. Rennie:Remark on Cresswell on S0.5.K. R. Seeskin:Many-valued logic and future contingencies.M. J. Cresswell:A semantics for a logic of ‘better’.Logique et Analyse. 1972, No 56.

  • D. Foata, M. P. Schützenberger:On the principle of equivalence of Sparre Andersen.A. Ejrenfeucht, G. Fuhrken:On models with undefinable elements.Mathematica Scandinavica. Vol. 28, Fasc. 2.

  • E. R. Winkler:Scepticism and private language.B. H. Slater:The foundations of logic.A. F. MacKay:Professor Grice's theory of meaning.D. Mitchell:The truth or falsity of value judgements.D. G. Collingridge:Confirmationism.Mind. Vol. LXXXI, No. 321.

  • A. Broadie:Imperatives.L. Apostel:Iilocutionary forces and the logic of change;W. Kneale:Propositions and truth in natural languages.R. G. Swinburne:Cohen on evidential support.L. J. Cohen:A reply to Swinburne.A. Kasher:On the puzzle of self-supporting inductive arguments.Mind. Vol. LXXXI, No. 322.

  • I. Frege:Review of Dr. E. Husserl's Philosophy of Arithmetic.C. F. Kielkopf:The binary operation called “Material Implication” soberly understood.A. R. Anderson:An intensional interpretation of truthvalues.R. H. Kane:Presupposition and entailment.N. Nelkin:Mr. Roberts on Strawson.S. Blackburn:Searle on descriptions.J. Suzman:The ordinary language lattice.P. Swiggart:True sentences and true propositions.Mind. Vol. LXXXI, No. 323.

  • T. F. Sullivan:Affine geometry having a solid as primitive.R. H. Cowen:Superinductive classes in class-set theory.A. Shukla:Finite model property for five modal calculi in the neighbourhood of S/.E. W. Chapin, Jr.:Gentzen-like systems for partial propositional calculi:I. B. Sobociński:Lattice-theoretical and mereological forms of Hauber's law.C. F. Hoorman, Jr.:On Hauber's statement of his theorem.B. Sobociński:Atomistic mereology.F. S. Gass:Generalized ordinal notation.V. F. Rockey:On weak and strong validity of rules for the propositional calculus.M. Mullick:Does Ockham accept material implication? J. Donnelly:Some remarks on Geach's predicative and attributive adjectives. Notre Dame Journal of Formal Logic. 1971, Vol. XII, No. 1.

  • I. Thomas:In memoriam A. N. Prior (1912–1969).R. Routley:Conventionalist and contingency-oriented modal logics.H. Leblanc:Truth-value semantics for a logic of existence.J. R. Gregg:Two modes of deductive inference.E. W. Chapin, Jr.:Gentzen-like systems for partial propositional calculi. II.W. Russell Belding:Intuitionistic negation.R. V. Setlur:Duality in finite many-valued logic.L. Foss:Quine on translational indeterminacy.B. Sobociński:Atomistic mereology. II.N. Georgieva:Independence of the axioms and rules of inference of one system of the extended propositional calculus.M. Fitting:A tableau proof method admitting the empty domain.L. F. Goble:A system of modality.Ch. A. Applebaum:Isomorphism of ω-groups.B. Sobociński:A note on an axiom-system of atomistic mereology.D. Makinson:Some embedding theorems for modal logic.E. Ellentuck:Incompleteness via simple sets. Notre Dame Journal of Formal Logic. 1971, Vol. XII, No. 2.

  • R. L. Poss:Weak forms of the axiom of constructibility.R. L. Poss:Measurable cardinals and constructibility without regularity.V. Vučković:Combinatorial operators and their quasi-inverses.R. Ackermann:Matrix satisfiability and axiomatization.E. W. Chapin, Jr.:The strong decidability of cut-logics I: Partial propositional calculi.J. C. E. Dekker:Two notes on vector spaces with recursive operations.G. F. Schumm:Solutions to four modal problems of Sobociński.J. J. Zeman:A study of some systems in the neighborhood of S4.4.B. van Rootselaar:A class of models for intermediate logics.B. Sobociński:Concerning some extensions of S4.B. Sobociński:A new class of modal systems.L. Larouche:Examonation of the axiomatic foundations of a theory of change. IV.B. Sobociński:A proper subsystem of S4.04.Notre Dame Journal of Formal Logic. Vol. XII, No 3.

  • A. Dumitriu:La science de la logique.R. G. Wengert:The logic of essentially ordered causes.J. H. Harris:Ordinal theory in a conservative extension of predicate calculus.E. W. Chapin, Jr.:The strong decidability of cut logics II: Generalizations.R. C. Applebee, B. Pahi:Some results on generalized truthtables.J. T. Canty:Elementary logic without referential quantification.R. T. Brady:The consistency of the axioms of abstraction and extensionality in a three-valued logic.M. C. Bradley:Copi's method of deduction again.W. C. Wilcox:A mistake in Copi's discussion of completeness.W. J. Frascella:Certain counterexamples to the construction of combinatorial designs on infinite sets.R. E. Clay:A model for Leśniewski's mereology in functions.J. Reichbach:Some methods of formal proofs.M. B. Smyth:A diagrammatic treatment of syllogistic.N. J. Moutafakis:The extensional pragmatics of commands.L. E. Sanchis:A generalization of the Gentzen Hauptsatz.J. Drabbe:Sur une propriété de préservation.I. Thomas:A proof of a theorem of Łukasiewicz.J. L. Pollock:Henkin syle completeness proof in theories lacking negaion.Notre Dame Journal of Formal Logic. Vol. XII, No 4.

  • V. F. Rickey:Axiomatic inscriptional syntax. Part I: General syntax.E. J. Ashworth:The treatment of semantical paradoxes from 1400 to 1700.L. Larouche:Examination of the axiomatic foundations of a theory of change.V. A. J. Baker:Syllogistic with complex terms.R. E. Clay:Note on inductive finiteness in mereology.F. G. Asenjo, J. M. McKean:Weierstrass's final theorem of arithmetic is not final.T. F. Sullivan:The name solid as primitive in projective geometry.J. W. Berry:A note on immune sets.B. Sobociński:Additional note on lattice-theoretical form of Hauber's law.F. S. Gass:A note on II 11 ordinals.J. Cargile:Moore's proposition.J. J. Zeman:S4.6 is S4.9.B. Sobociński:Certain sets of postulates for distributive lattice with the constant.D. Bollman, M. Tapia:On the recursive unsolvability of the probability of the deduction theorem in partial propositional calculi.Ch. F. Kielkopf:Premisses are not axioms.R. L. Call:The Gödel-Herbrand theorems.D. D. Smith:Non-recursiveness of the set of finite sets of equations whose theries are one based.B. Sobociński:An abbreviation of Croisot's axiom-systems for distributive lattices with I.B. Pahi:Maximal full matrices. Notre Dame Journal of Formal Logic. 1972, Vol. XIII, No. 1.

  • A. Sweet:The pragmatics of first order languages.R. T. Brady:The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG a three-valued logic.W. Russell Belding, R. L. Poss andP. J. Welsh, Jr.:Transitivity, supertransitivity and induction.W. Russell Belding:Induction on fields of binary relations.J. M. Dunn:A modification of Parry's analytic implication.J. Corcoran:Strange arguments.E. W. Madison:Real fields with characterization of the natural numbers.G. J. Massey:The modal structure of the Prior-Rescher family of infinite product systems.R. Z. Parks, J. R. Chidgey:Necessity and ticket entailment.R. Z. Parks:A note on R-Mingle and Sobociński's three-valued logic.H. Leblanc, R. K. Meyer:Matters of separation.M. Fitting:Tableau methods of proof for modal logics.T. Hecht, T. Katriñák:Equational classes of relative Stone algebras.B. Sobociński:A new formalization of Newman algebra.B. Sobociński:An equational axiomatization of associative Newman algebras.P. A. Facione:A modal truth-tabular interpretation for necessary and sufficient conditions.M. C. Gemignani: Parallel 1-flats in 2-arrangements.R. D. Lee:An application of mathematical logic to the integer linear programming problem.B. Sobociński:A semi-lattice theoretical characterization of associative Newman algebras.W. D. Hart:Probability as degree of possibility.Notre dame Journal of Formal Logic. Vol. XIII, No. 2.

  • M. Benda:On saturated reduced products.Pacific Journal of Mathematics. Vol. 39, No. 3.J. I. Malitz, N. W. Reinhardt:Maximal models in the language with quantifier “there exist uncountably many”.Pacific Journal of Mathematics. Vol. 40, No. 1.

  • W. W. Comfort, A. W. Hager:Cardinality of the complete Boolean algebras.C. G. Jockusch, Jr., R. I. Soare:Degrees of membres of 11 01 classes.Y. Wu:Completions of Boolean algebras with partially additive operators.Pacific Journal of Mathematics. Vol. 40, No. 3.

  • Y.-K. Chan:A constructive study of measure theory.J. D. Halpern:On a question of Tarski and a maximal theorem of Kurepa S. Shelah:A combinatorial problem; stability and order for models and theories in infinitary languages.Pacific Journal of Mathematics. Vol. 41, No. 1.

  • R. S. de Montpensier:The logic of ethical statements.L. Eley:Life'World constitution of propositional logic and elementary predicate logic.R. Z. Parks:Note on the switches paradox.D. Gogol:On the switches paradox.Philosophy and Phenomenological Research. Vol. XXXII, No. 3.

  • S. J. Noren:Logical types and the identity theory.S. Munsat:Logical types and the identity theory.D. S. Mannison:A note on S. Noren's “Logical Types and the Identity Theory”.Philosophy and Phenomenological Research. Vol. XXXII, No. 4.

  • B. Loar:Reference and propositional attitudes.The Philosophical Review. Vol. LXXXI, No. 1.

  • G. M. Hochberg:Extrinsic epistemic preferebility.G. C. Stine:Two Women.G. Sollazzo:Barker and Achinstein on Goodman.M. P. Hodges:Quine on ‘Antological Commitmnent’.P.T. Geach:‘Most-Most-Sone’ arguments and the ‘Dictum de Omni’.W. T. Parry:A note on Geach's, ‘Dictum de Omni’.E. Martin, Jr.:Truth and translation.A. Snyder:On what has truth values.Ch. F. Kielkopf:A note on Hintikka's logic of belief as an ethics of belief.B. A. Brody:Sommers on predicability.R. Z. Parks:Hintikka and Sleigh on epistemic logic. Philosophical Studies. 1972, Vol. 23, Nos 1/2.

  • E. M. Curley:Lewis and entailment.Philosophical Studies. Vol. 23, No. 3.

  • J. R. Kress:Synonymy and oddity.Philosophical Studies. Vol. 23, No. 4.

  • C. R. Kordig:The comparability of scientific theories.R. A. Eberle:Replacing one theory by another under preservation of a given feature.J. N. Hattiangadi:Alternatives and incommensurables: The cas of Darwin and Kelvin.M. R. Gardner:Quantum logic really logic? W. Todd:Intentions and programs Th. Nickles:Covering law explanation.J. C. Carloye:An interpretation of scientific models involving analogies.J. M. Firestone:Remarks on concept formation: Theory Building and Theory Testing.Philosophy of Science. Vol. 38, No. 4.

  • F. Suppe:Whatis wrong with the received view on the structure of scientific theories.B. A. Brody:Towards an Aristotelean theory of scientific explanation.M. S. Krause:An analysis of Festinger's congnitive dissonance theory.Ch. G. Morgan:On two proposed models of explanation.Philosophy of Science. Vol. 39, No. 1.

  • N. Maxwell:A critique of Popper's views on scientific method.R. Shary:Three types of referential opacity.S. Uchii:Inductive logic with causal modalities: A probabilistic approach.D. Lincicome:Reporting, evaluating, describing.G. M. Scoledes:The determinism of quantum-mechanical probability statements.L. Wright:Explanation and teleology.N. Daniels:Thomas Reid's discovery of a non-euclidean geometry.P. Achinstein:Models and analogies.R. Schwartz:Paradox and projection.S. K. Miettinen:On Omer's model of scientific explanation.E. Laszlo, H. Margenau:The emergence of integrative concepts in contemporary science.R. Torretti:Remarks on Salmon's paradox of primes.J. Agassi:The interface of philosophy and physics.Philosophy of Science. Vol. 39, No. 2.

  • A. M. Cohen:Two algebraic proofs for regular languages.C. Constantinescu:A remark concerning the category of ultrafilters.S. Găină:Order topology in Boolean algebras.Revue Roumaine de Mathématiques Pures et Appliquées. Tome XVII, No 2.

  • D. C. Rine:A categorical characterization of general automata.G. Rozenberg:Constant-program versus variable-program address machines.L. Schwartz:On Tribuleč domination in algebraic linguistics.Revue Roumaine de Mathématiques Pures et Appliquées. Tome XVII, No 3.

  • M. Semeniuk:On the morphological homonymy and the many-argument contrast distribution.L. Schwartz-Popa Burcă:A new type of syntactic projectivity.Revue Roumaine de Mathématiques Pures et Appliquées. Tome XVII, No. 4.

  • N. N. Necula:An algorithm for the automatic synthesis of nearly optimal 2-level AND-OR combinational circuits.Revue Roumaine de Mathématiques Pures et Appliquées. Tome XVII, No. 5.

  • M. Kokoszyńska:Rudolf Carnap. Wspomnienie pośmiertne.T. Kubiński:O pseudodefinicjach aksjomatycznych stalej “jest” w teoriach elementarnych.T. Kubiński, E. Żabski:Próby aksjomatycznego ujęcia pojecia nicodróżnialności empirycznej.S. J. Surma:Przegląd wyników i metod badań nad równoważnościowym rachunkiem zdań.J. K. Kabziński:Prace Kołmogorowa i Gliwienki z lat dwudziestych na temat logiki intuicjonistycznej.P. Kossowski:U źródeł teorionogościowej koncepcji pojęcia relacji.W. Szczęch:O twierdzeniu Löwenheima z 1915 r. J. Zygmunt:Rozprawa doktorska Kurta Gödla.Ruch Filozoficzny. Tom XXIX Nr 3-4.

  • T. Kubiński:Kryterium matrycowe dla logiki zmiany von Wrighta.B. Chendov:The first dyadic (relative) modal systems.K. Berka:Aristotles's conception of dialetics.Ruch Filozoficzny Tom XXX, Nr 1.

  • L. Livovschi:Contributii la problema realizarii unui automat.Studii şi Cercetari Matematice. Tomul 24, Nr 3.

  • N. N. Necula:O metodii pentru reducerea numărului de variabile al functiilor booleene, foarte slab definite.Studii şi Cercetari Matematice. Tomul 24, Nr 4.

  • N. Both:Caracterizarea algebrică a sistemelor si teoriilor deductive. I.N. Both:Congruente deductive I.C. Dragusin:Aplicatiile ecuatiilor boolcan la studiul multipolilor eu redresori.M. M. Holban:Operatorii contextuali si multimea vidă in lingvistica algebrica.Studii şi Cercetari Matematice. Tomul 24, Nr 5.

  • P. T. Geach:A program for syntax.D. Lewis:General semantics.R. Montague:Pragmatics and intensional logic.P. Suppes:Probabilistic grammars for natural languages.J. Wallace:On the frame of reference.G. Lakoff:Linguistics and natural logic.R. C. Stalnaker:Pragmatics. Synthese. Vol. 22, Nos 1/2. 1970.

  • R. Rosenkrantz:Inductivism and probabilism.K. Lehrer:Induction and conceptual change.H. Vetter:Inductivism and falsificationism reconcilable.L. G. Creary:Empiricism and rationality.R. Hilpinen:Relational hypotheses and inductive inference.N. Stemmer:There problems in induction.H. E. Kyburg, Jr.:Epistemological probability.Synthese. Vol. 23, Nos 2/3.

  • S. Nowak:Inductive inconsistencies and conditional.R. T. Hull:Feyerabend's attack on observation sentences.M. Swain An alternative analysis of knowing.R. Rorty:Indeterminacy of translation and truth.G. Niemi:On the existence of a modal antinomy.Synthese. Vol. 23, No. 4.

  • K. Obuchowski:Zastosowanie hipotez psychologicznych w naukach historycznych.K. Zamiara:O “Zastosowaniu hipotez...” — kilka uwag metodologicznych.Studia Metodologiczne UAM. 1972, Zeszyt 9.

  • B. F. Chellas:Imperatives.C. L. Hamblin:Mathematical models of dialogue.Theoria. Vol. XXXVII, Part 2.

  • H. Kamp:Formal properties of ‘now’.A. I F. Urquhart:Completeness of weak implication.Theoria. Vol. XXXVII, Part 4.

  • В. А. Звегинцев:Борьба меис∂у омпиризмом и рациона. шзмом в современнноий амерканской линzвисмике.Вопросы Фнлософии. 1972, No. 1.

  • А. Х. Левин:Смрукмура кванмовой механнки и nроблема скрымых nарамемров.Вопросы Философии. No. 2.

  • Ю. А. Петров:О мемо∂оюzии обосновання мамемамики.Вопросы Фнлософии. No. 5.

  • В. Н. Тростников:О взанмоомношеяии мамемамики и философии.В. Б. Родос:Теория имёи К. И. Лвюиса.А. Тарский:(США)-Исмина и ∂оказамелвсмво.Вопросы Философии. No. 8.

Download references

Rights and permissions

Reprints and permissions

About this article

Cite this article

Przegląd czasopism. Stud Logica 32, 203–208 (1973). https://doi.org/10.1007/BF02123843

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02123843

Navigation