@unpublished {2053, title = {The best we can do (extended abstract, submitted to LOFT)}, year = {2018}, author = {Van De Putte, Frederik and Tamminga, Allard and Duijf, Hein} } @article {8535753, title = {Beyond consensus? A reply to Alan Irwin}, journal = {SOCIAL EPISTEMOLOGY REVIEW AND REPLY COLLECTIVE}, volume = {6}, number = {10}, year = {2017}, pages = {48{\textendash}53}, keywords = {democracy, disclosure, meta-consensus, public participation in science, scientific consensus}, issn = {2471-9560}, author = {Van Bouwel, Jeroen and Van Oudheusden, Michiel} } @incollection {provijn2014bloody, title = {Bloody analogical reasoning}, booktitle = {Logic, Reasoning, and Rationality}, year = {2014}, pages = {217{\textendash}232}, publisher = {Springer}, abstract = {

In this paper I will study some of William Harvey’s applications of analogies in the Prelectiones Anatomiae Universalis and the Exercitatio anatomica de motu cordis et sanguinis in animalibus. I will show that Harvey applied analogies in many different ways and that some contributed to the discovery of the characteristic ‘action’ of the heart and pulse and even to the discovery of the blood circulation. The discovery process will be approached as a problem solving process as described in Batens’ contextual model. The focus on constraints allows to see Harvey both as a modern because of his extensive use of experimental results and as strongly influenced by an Aristotelian ‘natural philosophy interpretation’ of anatomy and physiology as, for instance, propagated by Fabricius of Aquapendente.

}, doi = {10.1007/978-94-017-9011-6_11}, author = {Provijn, Dagmar}, editor = {Weber, Erik and Wouters, Dietlinde and Meheus, Joke} } @article {wieland2013belief, title = {Belief and Truth: A Skeptic Reading of Plato, by Katja Maria Vogt (review).}, journal = {Mind}, volume = {122}, number = {488}, year = {2013}, pages = {1204{\textendash}1207}, doi = {10.1093/mind/fzu012}, author = {Wieland, Jan Willem} } @incollection {D:ronald, title = {Bedoelingen en principes. {E}en onverwachte relatie}, booktitle = {Door Denken en Doen. {E}ssays bij het Werk van {R}onald {C}ommers}, year = {2012}, pages = {93{\textendash}106}, publisher = {Academia Press}, address = {Gent}, author = {Batens, Diderik}, editor = {Claes, Tom} } @article {3148393, title = {Busting a myth about Le{\'s}niewski and definitions}, journal = {History and philosophy of logic}, volume = {33}, number = {2}, year = {2012}, pages = {159{\textendash}189}, abstract = {

A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Lesniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Lesniewski{\textquoteright}s published or unpublished work is known where the standard conditions are discussed. Second, Lesniewski{\textquoteright}s own logical theories allow for creative definitions. Third, Lesniewski{\textquoteright}s celebrated {\textquoteright}rules of definition{\textquoteright} lay merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study of these meta-theoretical conditions is more readily found in the works of Lukasiewicz and Ajdukiewicz.

}, issn = {0144-5340}, doi = {http://dx.doi.org/10.1080/01445340.2011.583771}, author = {Urbaniak, Rafal and H{\"a}m{\"a}ri, K Severi} } @conference {924838, title = {The body in Renaissance arithmetic: from mnemonics to embodied cognition}, booktitle = {Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation}, year = {2010}, publisher = {The Society for the Study of Artificial Intelligence and the Simulation of Behaviour}, organization = {The Society for the Study of Artificial Intelligence and the Simulation of Behaviour}, abstract = {

In Medieval and Renaissance arithmetic we find several instances of references to body parts or actions involving body parts. In this paper we will address the question on the historical functions of body parts in mathematics and discuss its relation to the currently prevailing practice of symbolic mathematics.12

}, isbn = {1902956931}, author = {Heeffer, Albrecht}, editor = {Pease, Alison and Guhe, Markus and Smaill, Alan} } @article {urbaniak2009bogus, title = {Bogus singular terms and substitution salva denotatione}, journal = {The Reasoner}, volume = {3}, number = {6}, year = {2009}, month = {June}, pages = {4-5}, author = {Urbaniak, Rafal} } @article {515799, title = {Betekenisverschuiving in het causaliteitsbegrip van Ernst Cassirer}, journal = {Tijdschrift voor filosofie}, volume = {70}, number = {4}, year = {2008}, pages = {733{\textendash}761}, abstract = {

Cassirer’s conception of causation has until now been treated largely on the basis of Determinism and Indeterminism in Modern Physics. In this article, I argue that a characterisation of this sort can not be complete. There appear to be several apparent contradictions (of which I discuss three) when we compare the concept of causality in Determinism and Indeterminism with treatments of the concept in other works, especially those of mythical causation. We need a general view of Cassirer’s conception of causality to account for these contradictions. I offer such a view, which is partly universal (in as far as it refers to universals as time and space) and partly contextual (in as far as it refers, through the conception of the object, to principles that are specific to certain symbolic forms). Then, I discuss the differences and the resemblances between theoretical and mythical causation, and, within the theoretical world view, between the natural, cultural and biological sciences.

}, issn = {0040-750X}, author = {Froeyman, Anton} } @conference {678254, title = {On the boundaries of solvability and unsolvability in tag systems. {T}heoretical and experimental results.}, booktitle = {The complexity of simple programs}, year = {2008}, publisher = {Cork University Press}, organization = {Cork University Press}, abstract = {

Several older and more recent results on the boundaries of solvability and unsolvability in tag systems are surveyed. Emphasis will be put on the significance of computer experiments in research on very small tag systems.

}, author = {De Mol, Liesbeth}, editor = {Woods, Damien and Neary, Turlough and Seda, Tony} } @conference {376586, title = {Belief Merging based on Adaptive Interaction}, booktitle = {A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction}, year = {2007}, publisher = {College Publications}, organization = {College Publications}, isbn = {978-1-904987-48-2}, author = {Primiero, Giuseppe}, editor = {van Benthem, Johan and Shier, Ju and Veltman, Frank} } @conference {376590, title = {On building abstract Terms in Typed Systems}, booktitle = {Logica 2006 Yearbook}, year = {2007}, publisher = {Filosofia Publisher}, organization = {Filosofia Publisher}, abstract = {

This paper offers some historical and conceptual remarks on the philosophical and logical procedures of abstraction, based on an account of the notions of concept and function. In order to provide a complete analyis, one should start by considering Plato’s theory of Ideas, which provides the first interpretation of “abstract terms” in the history of philosophy. The nature of the most general Forms, the related problem of the knowledge thereof, their connection to existing (concrete) objects, are the essential features of the Platonic theory of knowledge and of his metaphysics. The Platonic approach is grounded on the principle of conceptual priority of Ideas over their partecipations, the Forms existing separeted from all the particulars: the former are interpreted as standard particulars to which other particulars conform. Nonetheless, my investigation will start rather by Aristotle, who held first the relation of predication to be the basis for defining abstraction: from this I will try to consider some important ideas for the notion of abstraction in Type Systems.

}, author = {Primiero, Giuseppe}, editor = {Tomala, O and Honzik, R} } @article {Christiaens2006a, title = {Basic Ontology and the Ontology of the Phenomenological Life World: A Proposal}, journal = {Foundations of Science}, volume = {11}, number = {3}, year = {2006}, pages = {249-274}, abstract = {

The condition of explicit theoretically discursive cognitive performance, as it culminates in scientific activity, is, I claim, the life world. I contrast life world and scientific world and argue that the latter arises from the first and that contrary to the prevailing views the scientific world (actually, worlds, since the classical world is substantially different from the quantum world) finds its completion in the life world and not the other way around. In other words: the closure we used to search in a complete and comprehensive scientific description of all aspects of experience by referring it back to underlying atoms, genes and other scientific objects and the covering laws ruling them, should be sought in a reintegrating and occasionally dissolving of the abstract scientific model in the self-organizational fluidity and superposition-like indeterminateness and non-locality of the life world: “We have to acknowledge the indeterminate as a positive phenomenon” (Merleau-Ponty in his The Phenomenology of Perception).

}, keywords = {metaphysics, ontology, phenomenology, process ontology}, issn = {1233-1821}, doi = {10.1007/s10699-004-5909-y}, url = {http://dx.doi.org/10.1007/s10699-004-5909-y}, author = {Christiaens, Wim} } @conference {376594, title = {Belief Revision in Constructive Type Theory}, booktitle = {Logica 2005 Yearbook}, year = {2006}, publisher = {Filosofia Publisher}, organization = {Filosofia Publisher}, author = {Primiero, Giuseppe}, editor = {Bilkova, M and Tomala, O} } @incollection {C:bioApo, title = {Biografie van Leo Apostel}, booktitle = {Nationaal Biografisch Woordenboek}, year = {2005}, pages = {23-34}, publisher = {{Koninklijke Vlaamse Academie van Belgi{\"e}}, author = {Christiaens, Wim} } @article {D:ind_vpl7, title = {The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization}, journal = {Logique et Analyse}, volume = {47}, number = {185{\textendash}188}, year = {2004}, pages = {53{\textendash}84}, abstract = {

The aim of this paper is threefold. First, the sometimes slightly messy application of the conditional rule RC of the logic of inductive general- ization is clari{\O}ed by reducing this rule to a so-called basic schema BS. Next, some common truisms about inductive generalization are shown to be mistaken, but are also shown to be valid in special cases. Finally, and most importantly, it is shown that applications of the adaptive logic of inductive generalization to sets of data, possibly in the presence of background knowledge, invokes certain empirical tests and certain theo- retically justi{\O}ed defeasible conjectures, which in a sensible way increase one{\textquoteright}s empirical and theoretical knowledge about a given domain.

}, author = {Batens, Diderik} } @article {Vanackere2004, title = {Boekbespreking: "Jan Albert van Laar. The Dialectic of Ambiguity. A Contribution to the Study of Argumentation".}, journal = {Tijdschrift voor Taalbeheersing}, volume = {3}, year = {2004}, pages = {248{\textendash}251}, author = {Vanackere, Guido} } @article {WE_Rj, title = {Bespreking van {J}ean {P}aul van {B}endegem: Tot in der Eindigheid}, journal = {Ethiek \& Maatschappij}, volume = {1}, number = {2}, year = {1998}, pages = {128{\textendash}130}, author = {Weber, Erik} } @article {Kurtonina:1997:BTL:595833.595898, title = {Bisimulations for Temporal Logic}, journal = {Journal of Logic, Language and Information}, volume = {6}, number = {4}, year = {1997}, pages = {403{\textendash}425}, abstract = {

We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.

}, keywords = {definability, expressive power, modal and temporal logic, model theory}, issn = {0925-8531}, doi = {10.1023/A:1008223921944}, author = {Kurtonina, Natasha and De Rijke, Maarten} } @article {D:blocks, title = {Blocks. {T}he clue to dynamic aspects of logic}, journal = {Logique et Analyse}, volume = {38}, number = {150-151-152}, year = {1995}, note = {Appeared 1997}, pages = {285{\textendash}328}, abstract = {

The present paper introduces a new approach to formal logic. The block approach is especially useful to grasp dynamic aspects of reasoning, including formal reasoning, that fall beyond the reach of the usual approaches. A block language, the block analysis of proofs, and semantic systems in terms of blocks are articulated. The approach is first applied to classical logic (including proof heuristics). It is used to solve two important problems for adaptive logics (that have a dynamic proof theory). Some further applications are discussed, including meaning change.

}, author = {Batens, Diderik} } @article {D:bridge, title = {A bridge between two-valued and many-valued semantic systems: n-tuple semantics}, journal = {Proceedings of the 12th International Symposium on Multiple-Valued Logic}, volume = {IEEE}, year = {1982}, pages = {Los Angeles, 318{\textendash}322}, author = {Batens, Diderik} } @incollection {D:bavw, title = {Bijna alle{\textendash}veel{\textendash}weinig}, booktitle = {Contactgroepen Humane en Politieke Wetenschappen}, year = {1977}, pages = {6{\textendash}14}, publisher = {NFWO}, author = {Batens, Diderik} }