Logic and scientific methods. Proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19--25, 1995
type: Item
instance of: scholarly article
title: Logic and scientific methods. Proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19--25, 1995
zbMATH Open document ID: 0885.00048
author: Maria Luisa Dalla Chiara
published in: Synthese Library
publication date: 1998-02-25T00:00:00Z
review text: 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 …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1120821
zbMATH Keywords: Logic
zbMATH Keywords: Scientific methods
zbMATH Keywords: Philosophy of science
zbMATH Keywords: Florence (Italy)
zbMATH Keywords: Congress
zbMATH Keywords: Proceedings
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1120821