Studia Logica

, Volume 32, Issue 1, pp 203–208 | Cite as

Przegląd czasopism



Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

  1. B. C. Johnsen:Black and the inductive justification of induction.Analysis. Vol. 32, No. 3.Google Scholar
  2. M. Martin:Confirmation and explanation.Analysis. Vol. 32, No. 5.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar
  6. M. R. Gardner:Two deviant logics for quantum theory: Bohr and Reichenbach.The British Journal for the Philosophy of Science. Vol. 23, No. 2.Google Scholar
  7. 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.Google Scholar
  8. T. Uesu:Simple type theory with constructive infinitely long expressions.Commentarii Mathematici Universitatis Sancti Pauli. Tom XIX, Fasc. II.Google Scholar
  9. Hisao Tanaka:A note on hyperdegrees.Commentarii Mathematici Universitatis Sancti Pauli. Tom XX, Fasc. I.Google Scholar
  10. Moto-o Takahashi:On the existence of Cohen extensions.Commentarii Mathematici Universitatis Sancti Pauli. Tom XX, Fasc. II.Google Scholar
  11. 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.Google Scholar
  12. H. Parthey, H. Wessel:Der IV. Internationale Kongress für Logik, Methodologie und Philosophie der Wissenschaft.Deutsche Zeitschrift für Philosophie. 1971, No. 12.Google Scholar
  13. 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.Google Scholar
  14. 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.Google Scholar
  15. 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.Google Scholar
  16. 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.Google Scholar
  17. I. Hacking:The Leibniz-Carnap program for inductive logic.The Journal of Philosophy. Vol. LXVIII, No. 19.Google Scholar
  18. J. Wallace:Some logical roles of adverbs.R. H. Thomason:Logic and adverbs.The Journal of Philosophy. Vol. LXVIII, No. 20.Google Scholar
  19. D. Scott:On engendering an illusion of understanding.R. K. Meyer:Entailment.The Journal of Philosophy. Vol. LXVIII, No. 21.Google Scholar
  20. R. Zaffron:Identity, subsumption and scientific explanation.I. Levi:Truth, content, and ties.The Journal of Philosophy. Vol. LXVIII, No. 23.Google Scholar
  21. 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.Google Scholar
  22. I. Waldner:The empirical meaningfulness of interpersonal utility comparisons.The Journal of Philosophy. Vol. LXIX, No. 4.Google Scholar
  23. M. Swain:Knowledge, causality, and justification.P. Unger:Propositional verbs and knowledge.The Journal of Philosopby. Vol. LXIX, No. 11.Google Scholar
  24. 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.Google Scholar
  25. 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 II10 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.Google Scholar
  26. 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.Google Scholar
  27. 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.Google Scholar
  28. 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.Google Scholar
  29. 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.Google Scholar
  30. M. Hladky:Precedence relations and their connection with unambiguity of context-free grammars.Kybernetika. Ročnik 8 (1972), Čislo 1.Google Scholar
  31. L. Tondl:K. problemam semanticzeskoj informacii.J. Gruska:On the size of context-free grammars.Kybernetika. Ročnik 8 (1972), Čislo 3.Google Scholar
  32. 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. 55Google Scholar
  33. 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.Google Scholar
  34. 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.Google Scholar
  35. 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.Google Scholar
  36. 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.Google Scholar
  37. 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.Google Scholar
  38. 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.Google Scholar
  39. 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.Google Scholar
  40. 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.Google Scholar
  41. 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.Google Scholar
  42. 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.Google Scholar
  43. 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.Google Scholar
  44. 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.Google Scholar
  45. W. W. Comfort, A. W. Hager:Cardinality of the complete Boolean algebras.C. G. Jockusch, Jr., R. I. Soare:Degrees of membres of 11 10 classes.Y. Wu:Completions of Boolean algebras with partially additive operators.Pacific Journal of Mathematics. Vol. 40, No. 3.Google Scholar
  46. 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.Google Scholar
  47. 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.Google Scholar
  48. 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.Google Scholar
  49. B. Loar:Reference and propositional attitudes.The Philosophical Review. Vol. LXXXI, No. 1.Google Scholar
  50. 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.Google Scholar
  51. E. M. Curley:Lewis and entailment.Philosophical Studies. Vol. 23, No. 3.Google Scholar
  52. J. R. Kress:Synonymy and oddity.Philosophical Studies. Vol. 23, No. 4.Google Scholar
  53. 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.Google Scholar
  54. 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.Google Scholar
  55. 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.Google Scholar
  56. 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.Google Scholar
  57. 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.Google Scholar
  58. 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.Google Scholar
  59. 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.Google Scholar
  60. 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.Google Scholar
  61. 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.Google Scholar
  62. L. Livovschi:Contributii la problema realizarii unui automat.Studii şi Cercetari Matematice. Tomul 24, Nr 3.Google Scholar
  63. 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.Google Scholar
  64. 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.Google Scholar
  65. 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.Google Scholar
  66. 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.Google Scholar
  67. 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.Google Scholar
  68. K. Obuchowski:Zastosowanie hipotez psychologicznych w naukach historycznych.K. Zamiara:O “Zastosowaniu hipotez...” — kilka uwag metodologicznych.Studia Metodologiczne UAM. 1972, Zeszyt 9.Google Scholar
  69. B. F. Chellas:Imperatives.C. L. Hamblin:Mathematical models of dialogue.Theoria. Vol. XXXVII, Part 2.Google Scholar
  70. H. Kamp:Formal properties of ‘now’.A. I F. Urquhart:Completeness of weak implication.Theoria. Vol. XXXVII, Part 4.Google Scholar
  71. В. А. Звегинцев:Борьба меис∂у омпиризмом и рациона. шзмом в современнноий амерканской линzвисмике.Вопросы Фнлософии. 1972, No. 1.Google Scholar
  72. А. Х. Левин:Смрукмура кванмовой механнки и nроблема скрымых nарамемров.Вопросы Философии. No. 2.Google Scholar
  73. Ю. А. Петров:О мемо∂оюzии обосновання мамемамики.Вопросы Фнлософии. No. 5.Google Scholar
  74. В. Н. Тростников:О взанмоомношеяии мамемамики и философии.В. Б. Родос:Теория имёи К. И. Лвюиса.А. Тарский:(США)-Исмина и ∂оказамелвсмво.Вопросы Философии. No. 8.Google Scholar

Copyright information

© Warszawa 1973

Personalised recommendations