Foundations of the formal sciences. II: Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10--13, 2000 (Q1405984)

The articles of this volume will be reviewed individually. The preceding conference (1, 1999) has been reviewed (see Zbl 1019.00520). Indexed articles: \textit{Barberousse, Anouk}, The diversity of models in statistical mechanics: views about the structure of scientific theories, 1-23 [Zbl 1205.82007] \textit{van Benthem, Johan}, Mathematical logic and natural language: Life at the border, 25-38 [Zbl 1036.03516] \textit{Bovens, Luc; Hartmann, Stephan}, Bayesian networks in philosophy, 39-46 [Zbl 1036.03500] \textit{Chapuis, André}, An application of circular definitions: rational decision, 47-54 [Zbl 1072.91523] \textit{Cohnitz, Daniel}, Two-dimensionalism and the metaphysical possibility of zombies, 55-62 [Zbl 1036.03501] \textit{Giusto, Mariagnese}, Topics in reverse mathematics, 63-87 [Zbl 1036.03043] \textit{Horsten, Leon}, The logic of intensional predicates, 89-111 [Zbl 1036.03503] \textit{Jansen, Ludger; Strobach, Niko}, The so-called materially valid inferences and the logic of concepts, 113-118 [Zbl 1036.03514] \textit{Kikuchi, Makoto}, Analysis and design from a viewpoint of information flow, 119-122 [Zbl 1036.03511] \textit{Kracht, Marcus}, Features in phonological theory, 123-149 [Zbl 1059.91083] \textit{Kutz, Oliver}, New semantics for modal predicate logics, 151-162 [Zbl 1036.03512] \textit{Makinson, David; van der Torre, Leendert}, What is input/output-logic?, 163-174 [Zbl 1040.03023] \textit{Martínez Fernández, José}, The Gupta-Belnap fixed-point problem and the theory of clones of functions, 175-184 [Zbl 1036.03507] \textit{ter Meulen, Alice G. B.}, Situated reasoning in time about time, 185-202 [Zbl 1072.91662] \textit{Osswald, Rainer}, Generic ontology of linguistic classification, 203-212 [Zbl 1034.03036] \textit{Rotter, Martin}, Techniques and methods of science from a structuralist points of view, 213-234 [Zbl 1044.81514] \textit{Tiede, Hans-Jörg}, Proof theory and formal grammars: Applications of normalization, 235-256 [Zbl 1036.03515] \textit{Wehmeier, Kai Frederick}, World travelling and mood swings, 257-260 [Zbl 1036.03513] \textit{Werning, Markus}, Synchrony and Composition: Toward a cognitive architecture between classicism and connectionism, 261-278 [Zbl 1067.91056] References, 279-300 [Zbl 1032.03500]