Introduction: Majda Trobok, Nenad Miščević and Berislav Žarnić -- I. Logical and Mathematical Structures -- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics: Stewart Shapiro -- Applied Mathemathics in the Sciences: Dale Jacquette -- The Philosophical Impact of the Löwenheim-Skolem Theorem: Miloš Arsenijević -- Debating (Neo)logicism: Frege and the neo-Fregeans: Majda Trobok -- II. Epistemology and Logic -- Informal Logic and Informal Consequence: Danilo Šuster -- Logical Consequence and Rationality: Nenad Smokrović -- Logic, Indispensability and Aposteriority: Nenad Miščević -- III . Dynamic Logical Models of Meaning -- Extended Game-Theoretical Semantics: Manuel Rebuschi -- Dynamic Logic of Propositional Commitments: Tomoyuki Yamada -- Is Unsaying Polite?: Berislav Žarnić -- IV     Logical Methods in Ontological and Linguistic Analyses -- Towards a Formal Account of Identity Criteria: Massimiliano Carrara and Silvia Gaio -- A Mereology for the Change of Parts: Pierdaniele Giaretta and Giuseppe Spolaore -- Russell versus Frege: Imre Rusza -- Goodman’s OnlyWorld: Vladan Djordjević --      .

Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of logical structure regulative or constitutive or both in concept formation?   This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications.   The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists. Some essays focus on the role of indispensability considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive speech act.