Logic and scientific methods. Proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19--25, 1995
The articles of mathematical interest will be reviewed individually. The preceding conference (9, 1991) has been reviewed (see Zbl 0783.00048, Zbl 0807.00012, Zbl 0812.00019). Indexed articles: \textit{Cantini, Andrea}, Proof-theoretical aspects of self-referential truth, 7-27 [Zbl 0944.03055] \textit{Joyal, A.}, Free lattices, communication and money games, 29-68 [Zbl 0897.90203] \textit{Krajíček, Jan}, On methods for proving lower bounds in propositional logic, 69-83 [Zbl 0907.03024] \textit{Sazonov, Vladimir Yu.}, On bounded set theory, 85-103 [Zbl 0903.03031] \textit{Kolaitis, Phokion G.}, Infinitary logic in finite model theory, 107-125 [Zbl 0905.03017] \textit{Lincoln, P. D.; Scedrov, A.; Shankar, N.}, Decision problems for second-order linear logic, 127-143 [Zbl 0898.03005] \textit{Todorčević, Stevo}, Comparing the continuum with the first two uncountable cardinals, 145-155 [Zbl 0906.03050] \textit{Kelly, Kevin T.; Schulte, Oliver}, Church's thesis and Hume's problem, 159-177 [Zbl 0905.03006] \textit{Moschovakis, Yiannis N.}, The logic of functional recursion, 179-207 [Zbl 0903.03020] \textit{Schwichtenberg, Helmut; Stroetmann, Karl}, From higher order terms to circuits, 209-220 [Zbl 0905.03032] \textit{Soare, Robert I.}, Computability and enumerability, 221-237 [Zbl 0906.03042] \textit{Tamburrini, Guglielmo}, Mechanistic theories in cognitive science: The import of Turing's thesis, 239-257 [Zbl 0900.03023] \textit{Casari, Ettore}, Conjoining and disjoining on different levels, 261-288 [Zbl 0906.03003] \textit{Došen, Kosta}, Logical consequence: A turn in style, 289-311 [Zbl 0906.03055] \textit{Hansson, Sven Ove; Makinson, David}, Applying normative rules with restraint, 313-332 [Zbl 0957.03007] \textit{Parsons, Charles}, What can we do ``in principle''?, 335-354 [Zbl 0913.03006] \textit{Pearl, Judea}, Causation, action, and counterfactuals, 355-375 [Zbl 0907.68184] \textit{Kelly, Kevin; Schulte, Oliver; Hendricks, Vincent}, Reliable belief revision, 383-398 [Zbl 0899.03008] \textit{Rantala, Veikko}, Explanatory translation. Beyond functionalism and reductionism, 399-412 [Zbl 0900.03022] \textit{Bukovský, Lev}, Logic in Czechoslovakia and Hungary, 451-456 [Zbl 0899.01017] \textit{Uspensky, Vladimir}, Mathematical logic in the former Soviet Union: Brief history and current trends, 457-483 [Zbl 0897.01014] \textit{Vakarelov, Dimiter}, Logic in central and eastern Europe: Balkan region, 485-495 [Zbl 0897.01013] \textit{Wójcicki, Ryszard}, The postwar panorama of logic in Poland, 497-508 [Zbl 0897.01015]
scientific article; zbMATH DE number 1120821