Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991 (Q1344735)

The articles of this volume will be reviewed individually. Indexed articles: \textit{von Wrigth, Georg Henrik}, Logic and philosophy in the twentieth century, 9-25 [Zbl 0825.03001] \textit{Buss, Samuel R.}, The witness function method and provably recursive functions of Peano arithmetic, 29-68 [Zbl 0829.03036] \textit{Lambek, J.}, Some aspects of categorical logic, 69-89 [Zbl 0824.03035] \textit{Mints, G. E.}, Gentzen-type systems and Hilbert's epsilon substitution method. I, 91-122 [Zbl 0835.03023] \textit{Rathjen, Michael}, Admissible proof theory and beyond, 123-147 [Zbl 0833.03018] \textit{Louveau, Alain}, On the reducibility order between Borel equivalence relations, 151-155 [Zbl 0826.04001] \textit{Mitchell, William}, The core model up to a Woodin cardinal, 157-175 [Zbl 0824.03028] \textit{Ambos-Spies, Klaus; Lempp, Steffen; Lerman, Manuel}, Lattice embeddings into the r.e. degrees preserving 1, 179-198 [Zbl 0819.03032] \textit{Arslanov, Marat M.}, Contributions to the history of variations of weak density in the \(n\)- r.e. degrees, 199-208 [Zbl 0824.03017] \textit{Cooper, S. Barry}, Rigidity and definability in the noncomputable universe, 209-235 [Zbl 0852.03019] \textit{Makowsky, J. A.}, The impact of model theory on theoretical computer science, 239-262 [Zbl 0854.03040] \textit{Nute, Donald}, A decidable quantified defeasible logic, 263-284 [Zbl 0820.03014] \textit{Burgess, John P.}, Non-classical logic and ontological non-commitment, avoiding abstract objects through modal operators, 287-305 [Zbl 0825.03025] \textit{Pelham, Judy; Urquhart, Alasdair}, Russellian propositions, 307-326 [Zbl 0825.03024] \textit{Segerberg, Krister}, Accepting failure in dynamic logic, 327-349 [Zbl 0838.03027] \textit{Seidenfeld, Teddy}, When normal and extensive form decisions differ, 451-463 [Zbl 0818.90003] \textit{Nagorny, N. M.}, Andrei Markov and mathematical constructivism, 467-479 [Zbl 0817.01012] \textit{Woleński, Jan}, Contributions to the history of the classical truth-definition, 481-495 [Zbl 0822.03002] \textit{Coquand, Thierry}, A new paradox in type theory, 555-570 [Zbl 0821.03005] \textit{Nelson, Edward}, Taking formalism seriously, 571-577 [Zbl 0811.03044] \textit{Tieszen, Richard}, What is the philosophical basis of intuitionistic mathematics?, 579-594 [Zbl 0822.03006] \textit{van Benthem, Johan}, Logic and the flow of information, 693-724 [Zbl 0831.03011] \textit{Cresswell, M. J.}, Relational nouns, 745-759 [Zbl 0831.03016] \textit{Pearl, Judea; Verma, Thomas S.}, A theory of inferred causation, 789-811 [Zbl 0939.68844] \textit{Spirtes, Peter}, Building causal graphs from statistical data in the presence of latent variables, 813-829 [Zbl 0831.62002] \textit{Sudderth, William D.}, Coherent inference and prediction in statistics, 833-844 [Zbl 0812.62002] \textit{Binmore, Ken}, DeBayesing game theory, 927-945 [Zbl 0819.90146] \textit{Harsanyi, John C.}, Normative validity and meaning of von Neumann-Morgenstern utilities, 947-959 [Zbl 0829.90011]