%0 Unpublished Work %D Submitted %T Original position arguments: an axiomatic characterization %A Thijs De Coninck %A Frederik Van De Putte %G eng %0 Journal Article %J Rew. Symb. Logic %D 2016 %T Obligation as Weakest Permission: a Strongly Complete Axiomatization %A Frederik Van De Putte %X

In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula φ is obligatory if and only if it is (semantically speaking) the weakest permission. We give a sound and strongly complete, Hilbert style axiomatization for this logic. As a corollary, it is compact, contradicting earlier claims from Anglberger et al. (2015). In addition, we prove that our axiomatization is equivalent to Anglberger et al.’s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.

%B Rew. Symb. Logic %V 9 %P 370-379 %G eng %0 Journal Article %J Philosophical Studies %D 2013 %T Offline and online data: on upgrading functional information to knowledge %A Primiero, Giuseppe %X

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories.

%B Philosophical Studies %V 164 %P 371–392 %G eng %R http://dx.doi.org/10.1007/s11098-012-9860-4 %0 Journal Article %J Algemeen Nederlands Tijdschrift voor Wijsbegeerte %D 2013 %T Oneindige regressieargumenten %A Wieland, Jan Willem %X

Infinite regress arguments show up in many philosophical debates. But what actually is a regress argument? This article reviews two theories: the Paradox Theory and the Failure Theory. According to the Paradox Theory, regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, regress arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this article shows that the Failure Theory can be supplied with similar tools.

%B Algemeen Nederlands Tijdschrift voor Wijsbegeerte %V 105 %P 1–14 %G eng %R http://dx.doi.org/10.5117/ANTW2013.1.WIEL %0 Journal Article %J PHILOSOPHIA %D 2012 %T The ontology of causal process theories %A Froeyman, Anton %X

There is a widespread belief that the so-called process theories of causation developed by Wesley Salmon and Phil Dowe have given us an original account of what causation really is. In this paper, I show that this is a misconception. The notion of ˝causal process˝ does not offer us a new ontological account of causation. I make this argument by explicating the implicit ontological commitments in Salmon and Dowe's theories. From this, it is clear that Salmon's Mark Transmission Theory collapses to a counterfactual theory of causation, while the Conserved Quantity Theory collapses to David Fair's phsyicalist reduction of causation.

%B PHILOSOPHIA %V 40 %P 523–538 %G eng %U http://dx.doi.org/10.1007/s11406-011-9329-2 %0 Journal Article %J ALGEMEEN NEDERLANDS TIJDSCHRIFT VOOR WIJSBEGEERTE %D 2012 %T Op het snijvlak van cognitie, wetenschap en filosofie: intertheoretische relaties in de twintigste eeuw %A Gervais, Raoul %X

This article provides a critical survey of the debate on intertheoretic relations, with particular emphasis on the cognitive sciences. I begin by distinguishing two opposing sides, reductionism and antireductionism, and proceed by tracking the changes these positions underwent in the twentieth century. It appears that these changes consist to a significant degree in smoothing out the rough edges of both, so that the original positions can be understood as crude extremes. The monistic accounts of intertheoretic relations were traded in for more tolerant and nuanced approaches, a tendency that is chiefly inspired by an increasing focus on actual scientific practice.

%B ALGEMEEN NEDERLANDS TIJDSCHRIFT VOOR WIJSBEGEERTE %V 104 %P 21–38 %G eng %0 Generic %D 2008 %T Ockhams theorie van evidente kennis en het epistemologisch externalisme %A De Mey, Tim %E Praet, Danny %B Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley %I Academia Press %P 227–239 %@ 978-90-382-1279-1 %G eng %0 Journal Article %J Reports on Mathematical Logic %D 2006 %T On Ontological Functors of Lesniewski's Elementary Ontology %A Urbaniak, Rafal %X

We present an algorithm which allows to define any possible sentence-formative functor of Le&\#347;niewski's Elemen- tary Ontology (LEO), arguments of which belong to the category of names. Other results are: a recursive method of listing possible functors, a method of indicating the number of possible n-place ontological functors, and a sketch of a proof that LEO is function- ally complete with respect to {&\#8743;,&\#172;, &\#8704;, &\#949;}

%B Reports on Mathematical Logic %V 40 %P 15–43 %G eng %0 Journal Article %J Logique et Analyse %D 2006 %T Optical versus Mechanical Models: Newton's "Failure" to Construct an Optical Theory %A Ducheyne, Steffen %X

In this essay, I take up both Shapiro’s and Hakfoort’s suggestion that Newton tried to apply the same method he used in the Principia (first edition: 1687) to The Opticks (first edition: 1704). Why did Newton’s method, which was apparently so successful in the realm of mechanics, fail when applied to optics? I shall argue that both empirical as well as methodological aspects are needed to explain Newton’s failure. Newton’s repugnance to introduce hypotheses in published texts forced him to explore, in the demonstrative part of science, a conceptually poor framework. Such framework has limited inferential power, i.e. the set of consequences which can be deduced from it is limited. This will be contrasted with the Principia where a richer conceptual framework was at hand and its deduced effects could by confirmed by experiment. The conceptual framework in the Principia allowed Newton to a priori deduce the celestial motions. As I have argued elsewhere, a priori deducing the phenomena under investigation was one of Newton’s most central methodological ideals. In this essay, I shall attempt to explain why a priori deduction of phenomena was impossible in optics.

%B Logique et Analyse %V 49 %P 199–223 %G eng %0 Journal Article %J Bulletin of the Belgian Mathematical Society - Simon Stevin %D 2006 %T The origin of the problems in Euler's Algebra %A Heeffer, Albrecht %B Bulletin of the Belgian Mathematical Society - Simon Stevin %V 13 %P 949–952 %G eng %0 Generic %D 2002 %T Ontological causes of inconsistency and a change-adaptive, logical solution %A Vanackere, Guido %E Carnielli, Walter A. %E Coniglio, Marcelo E. %E Loffredo D'Ottaviano, Itala M. %X

This paper reveals an implicit ontological assumption that is presupposed in common thought. This assumption results in the fact that people usually do not make any distinction between 'the object a' and 'the object a at a given moment'. This laziness causes many inconsistencies. Several attempts to solve these inconsistencies are studied, and the most natural one is elaborated, namely the one obtained by applying Classical Logic to an ontological correct domain. This solution has a drawback with respect to communication, which is solved by the change-adaptive logic CAL2. This non-monotonic, paraconsistent logic, belongs to the family of ambiguity-adaptive logics. It has the special characteristic that it solves inconsistencies by the introduction of more precise names for objects, more exactly names that refer to objects at a moment. The dynamics of the logic captures the change in objects. CAL2 has a nice proof theory, and an intuitive semantics. Interesting results and applications are commented upon, for instance those making use of the notion 'periods of invariance'. Of course, the philosophical background is discussed.

%B Paraconsistency. The Logical Way to the Inconsistent %I Marcel Dekker %V 228 %P 151–166 %@ 0824708059 %G eng %0 Journal Article %J Mores %D 2001 %T Over de zin van het leven en de zingevende functie van wereldbeelden %A Batens, Diderik %B Mores %V 226 %P 41–63 %G eng %0 Generic %D 1999 %T Oorlog en vrede in wetenschapsland %A Van Bendegem, Jean Paul %E Walraves, Else %E Stuy, Johan %B Denken als Openheid. Liber Amicorum Hubert Dethier %I VUB %P 153-160 %G eng %0 Journal Article %J Mores %D 1997 %T Over het (vermeende) conflict tussen godsgeloof en de wetenschappen %A Batens, Diderik %A Meheus, Joke %B Mores %V 42 %P 401–415 %G eng %0 Generic %D 1996 %T Ook het oneindige is ons werk %A Van Bendegem, Jean Paul %E Batens, Diderik %B Leo Apostel. Tien filosofen getuigen %I Hadewijch %C Antwerpen/Baarn %P 119–134 %G eng %0 Generic %D 1993 %T Ontdekking en creativiteit in wetenschap en muziek %A Meheus, Joke %E Halleux, Robert %E Bernés, Anne-Cathérine %B Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen %I Nationaal Comité voor Logica, Geschiedenis en Filosofie van de Wetenschappen %P 41–52 %G eng %0 Generic %D 1993 %T Onze huidige kijk op ontdekking en creativiteit vereist een `contextuele' kennistheoretische aanpak %A Batens, Diderik %E Raymaekers, Bart %B Gehelen en fragmenten. De vele gezichten van de filosofie %I Universitaire Pers %P 265–267 %G eng %0 Generic %D 1989 %T Over de kloof tussen feit en norm, bekeken vanuit de hedendaagse wetenschapsfilosofie %A Batens, Diderik %E Van den Enden, Hugo %B Dwarsdenken. Omtrent Jaap Kruithof %I EPO %P 165–177 %G eng %0 Journal Article %J Philosophica %D 1977 %T Outline of a theory of meaning: semantical and contextual %A Batens, Diderik %B Philosophica %V 19 %P 137–154 %G eng %0 Journal Article %J Communicatie en Cognitie %D 1969 %T Over de stand van zaken in de Carnapiaanse inductieve logica %A Batens, Diderik %B Communicatie en Cognitie %V 6 %P 29–57 %G eng