TY - Generic T1 - Against the disorder/nondisorder dichotomy Y1 - In Press A1 - De Vreese, Leen ED - Faucher, Luc ED - Forest, Denis JA - Defining Mental Disorders: Jerome Wakefield and his critics. PB - MIT Press ER - TY - JOUR T1 - Classical term-modal logics JF - JOURNAL OF LOGIC AND COMPUTATION Y1 - 2021 A1 - Frijters, Stef A1 - Van De Putte, Frederik KW - Arts and Humanities (miscellaneous) KW - CHOICE} KW - Hardware and Architecture KW - logic KW - Software KW - {Theoretical Computer Science AB -

{We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.}

VL - 31 SP - 1026-1054 UR - {http://dx.doi.org/10.1093/logcom/exaa053} ER - TY - JOUR T1 - Deontic Modals and Hyperintensionality JF - Logic Journal of the IGPL Y1 - 2019 A1 - Faroldi, Federico L. G. ER - TY - JOUR T1 - Hyperintensional Logics of Reasons JF - Logic Journal of the IGPL Y1 - 2019 A1 - Faroldi, Federico L. G. A1 - Protopopescu, Tudor ER - TY - BOOK T1 - Hyperintensionality and Normativity Y1 - 2019 A1 - Federico L.G. Faroldi PB - Springer ER - TY - Generic T1 - Looting Liars Masking Models Y1 - 2019 A1 - Batens, Diderik ED - Başkent, Can ED - Ferguson, Thomas Macaulay AB -

This paper does not raise objections but spells out problems that I consider at present unsolved within Priest's view on logic. In light of the state of scientific and other theories (§2) and in light of the character of natural languages (§3), Priest's central arguments do not seem convincing. Next, I offer some six independent obstacles for defining consistency, identifying models and describing the semantics and metatheory of LP (§4).

JA - Graham Priest on Dialetheism and Paraconsistency PB - Springer SP - 139--164 ER - TY - Generic T1 - How to take heroin (if at all). A new approach to detachment in deontic logic T2 - Deontic Logic and Normative Systems: 14th International Conference Y1 - 2018 A1 - Van De Putte, Frederik A1 - Frijters, Stef A1 - Meheus, Joke ED - Condoravdi, Cleo ED - Nair, Shyam ED - Pigozzi, Gabriella JA - Deontic Logic and Normative Systems: 14th International Conference PB - College Publications CY - London SP - 317-335 ER - TY - Generic T1 - Kennissystemen selectief wieden Y1 - 2018 A1 - Batens, Diderik ED - Van Kerkhove, Bart ED - François, Karen ED - Ducheyne, Steffen ED - Allo, Patrick JA - Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem PB - Academia Press CY - Gent, België SP - 227–244 SN - 978-94-014-5589-3 ER - TY - JOUR T1 - Co-Hyperintensionality JF - Ratio Y1 - 2017 A1 - Faroldi, Federico L. G. VL - 30 CP - 3 ER - TY - JOUR T1 - The Scale Structure of Moral Adjectives JF - Studia Semiotyczne Y1 - 2017 A1 - Faroldi, Federico L. G. A1 - Soria Ruiz, Andrés VL - 31 CP - 2 ER - TY - JOUR T1 - Ethical copula, negation, and responsibility judgments JF - Synthese Y1 - 2016 A1 - Faroldi, Federico L. G. VL - 193 CP - 11 ER - TY - Generic T1 - An Exact Truthmaker Semantics for Obligation and Permission Y1 - 2016 A1 - Anglberger, Albert A1 - Faroldi, Federico L. G. A1 - Korbmacher, Johannes JA - Deontic Logic and Normative Systems PB - College Publications SP - 2016 ER - TY - JOUR T1 - Social epistemology meets the philosophy of the humanities JF - Foundations of science Y1 - 2016 A1 - Froeyman, Anton A1 - Kosolosky, Laszlo A1 - Van Bouwel, Jeroen AB -

From time to time, when I explain to a new acquaintance that I’m a philosopher of science, my interlocutor will nod agreeably and remark that that surely means I’m interested in the ethical status of various kinds of scientific research, the impact that science has had on our values, or the role that the sciences play in contemporary democracies. Although this common response hardly corresponds to what professional philosophers of science have done for the past decades, or even centuries, it is perfectly comprehensible. For there are large questions of the kinds just indicated, questions that deserve to be posed and answered, and an intelligent person might well think that philosophers of science are the people who do the posing and the answering (Kitcher in Science, truth and democracy. Oxford University Press, Oxford, p. xi, 2001).

VL - 21 (1) ER - TY - JOUR T1 - Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs JF - Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia Y1 - 2015 A1 - Frans, Joachim A1 - Kosolosky, Laszlo VL - 29 SP - 345–360 ER - TY - Generic T1 - Explanatory strategies beyond the individualism/holism debate Y1 - 2014 A1 - Van Bouwel, Jeroen ED - Finn, Collin ED - Zahle, Julie AB -

Starting from the plurality of explanatory strategies in the actual practice of socialscientists, I introduce a framework for explanatory pluralism – a normative endorsement of the plurality of forms and levels of explanation used by social scientists. Equipped with thisframework, central issues in the individualism/holism debate are revisited, namely emergence,reduction and the idea of microfoundations. Discussing these issues, we notice that in recentcontributions the focus has been shifting towards relationism, pluralism and interaction, awayfrom dichotomous individualism/holism thinking and a winner-takes-all approach. Then, thechallenge of the debate is no longer to develop the ultimate individualistic approach ordefending the holist approach, but rather how to be combine individualism and holism; howcan they co-exist, interact, be integrated or develop some division of labour, while making thebest out of the strengths and limitations of the respective explanatory strategies of holists andindividualists? Thus, the debate shifts to how exactly pluralism should be understood as thenext leading question, going beyond the current individualism/holism debate. The paper endswith a discussion and evaluation of different understandings of explanatory pluralismdefended in the literature.

JA - Rethinking the individualism-holism debate PB - Springer VL - 372 SP - 153–175 SN - 9783319053431 ER - TY - JOUR T1 - Mechanistic Explanation and Explanatory Proofs in Mathematics JF - Philosophia Mathematica Y1 - 2014 A1 - Frans, Joachim A1 - Weber, Erik AB -

Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions.

VL - 22 SP - 231–248 ER - TY - BOOK T1 - De Humanities: een bedreigde soort? T2 - De uil van Minerva Y1 - 2013 ED - De Vleminck, Jens ED - Froeyman, Anton JA - De uil van Minerva PB - UGent VL - 26 ER - TY - Generic T1 - 'I began with the desire to speak with the dead': de ethiek als 'eerste filosofie' van de geschiedschrijving Y1 - 2013 A1 - Froeyman, Anton PB - Ghent University SN - 9789083125053 U1 -

Gertrudis Van De Vijver

ER - TY - JOUR T1 - Frank Ankersmit and Eelco Runia: the presence and the otherness of the past JF - Rethinking history Y1 - 2012 A1 - Froeyman, Anton AB -

This paper consists of two parts. In the first part, I give an in-depth comparison and analysis of the theories of Frank Ankersmit and Eelco Runia, in which I highlight their most important resemblances and differences. What both have in common is their notion of the presence of the past as a 'presence in absence'. They differ, however, with respect to the character of this past and the role representation plays in making it present. Second, I also argue that for both Ankersmit and Runia, the presence of the past is always the present of our past, which excludes the experience of the otherness of the past, and which opens both theories to the criticisms of being self-centered and nationalistic.

VL - 16 SP - 393–415 ER - TY - JOUR T1 - The Game of Fictional Mathematics. Review of “Mathematics and Reality” by Mary Leng JF - Constructivist Foundations Y1 - 2012 A1 - Frans, Joachim AB -

Leng attacks the indispensability argument for the existence of mathematical objects. She offers an account that treats the role of mathematics in science as an indispensable and useful part of theories, but retains nonetheless a fictionalist position towards mathematics. The result is an account of mathematics that is interesting for constructivists. Her view towards the nominalistic part of science is, however, more in conflict with radical constructivism.

VL - 8 SP - 126–128 ER - TY - JOUR T1 - On lawfulness in history and historiography JF - HISTORY AND THEORY Y1 - 2012 A1 - Leuridan, Bert A1 - Froeyman, Anton AB -

The use of general and universal laws in historiography has been the subject of debate ever since the end of the nineteenth century. Since the 1970s there has been a growing consensus that general laws such as those in the natural sciences are not applicable in the scientific writing of history. We will argue against this consensus view, not by claiming that the underlying conception of what historiography is-or should be-is wrong, but by contending that it is based on a misconception of what general laws such as those of the natural sciences are. We will show that a revised notion of law, one inspired by the work of Sandra D. Mitchell, in tandem with Jim Woodward's notion of ˝invariance,˝is indeed applicable to historiography, much in the same way as it is to most other scientific disciplines. Having developed a more adequate account of general laws, we then show, by means of three examples, that what are called ˝pragmatic laws˝and ˝invariance˝do in fact play a role in history in several interesting ways. These examples-from cultural history, economic history, and the history of religion-have been selected on the basis of their diversity in order to illustrate the widespread use of pragmatic laws in history.

VL - 51 SP - 172–192 ER - TY - JOUR T1 - The ontology of causal process theories JF - PHILOSOPHIA Y1 - 2012 A1 - Froeyman, Anton AB -

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.

VL - 40 SP - 523–538 UR - http://dx.doi.org/10.1007/s11406-011-9329-2 ER - TY - JOUR T1 - Psychoanalyse en geschiedfilosofie JF - PSYCHOANALYTISCHE PERSPECTIEVEN Y1 - 2012 A1 - Froeyman, Anton VL - 30 SP - 293–306 ER - TY - Generic T1 - On the curious historical coincidence of algebra and double-entry bookkeeping Y1 - 2011 A1 - Heeffer, Albrecht ED - François, Karen ED - Löwe, Benedikt ED - Müller, Thomas ED - Van Kerkhove, Bart JA - Foundations of the formal sciences VII : bringing together philosophy and sociology of science T3 - Studies in Logic PB - College Publications VL - 32 SP - 109–130 SN - 9781848900493 UR - http://www.collegepublications.co.uk/logic/?00021 ER - TY - JOUR T1 - Historische uitvoeringspraktijk JF - De uil van minerva Y1 - 2011 A1 - Froeyman, Anton AB -

In this paper, I offer some philosophical thoughts on the phenomenon of historical performance practice. I investigate the historical conditions of possibility of the ˝epistemologization˝ of historical performance practice and I argue for a more hermeneutical approach.

VL - 24 SP - 21–38 ER - TY - Generic T1 - Looking for busy beavers. A socio-philosophical study of a computer-assisted proof Y1 - 2011 A1 - De Mol, Liesbeth ED - François, Karen ED - Löwe, Benedikt ED - Müller, Thomas ED - Van Kerkhove, Bart AB -

"Young man, in mathematics you don't understand things, you just get used to them" John von Neumann

JA - Foundations of the Formal Sciences PB - College Publications SP - 61–90 ER - TY - JOUR T1 - Anticipation and the constitution of time in the philosophy of Ernst Cassirer JF - Casys: International journal of computing anticipatory systems Y1 - 2010 A1 - Froeyman, Anton AB -

In this paper, I will argue with Ernst Cassirer that anticipation plays an essential part in the constitution of time from a transcendental perspective. Time is, as any transcendental concept, seen as basically relational and subjective and only in a derivative way objective and indifferent to us. This entails that memory is prior to history, and anticipation is prior to prediction. In this paper, I will give some examples in order to argue for this point. Furthermore, I will also argue, again with Cassirer and against Henri Bergson, that time should be seen as a functional unity, and not as a collection of three different things-in-themselves (past, present and future).

VL - 23 SP - 11 ER - TY - CONF T1 - Constructive contextual modal judgments for reasoning from open assumptions T2 - Proceedings of the Computability in Europe 2010 Conference Y1 - 2010 A1 - Primiero, Giuseppe ED - Ferreira, F ED - Guerra, H ED - Mayordomo, E ED - Rasga, J AB -

Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.

JA - Proceedings of the Computability in Europe 2010 Conference PB - Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores ER - TY - JOUR T1 - Concepts of causation in historiography JF - Historical methods Y1 - 2009 A1 - Froeyman, Anton AB -

Historians can use the concept of causation in a variety of ways. each of which is associated with different historiographical claims and different kinds of argumentation. The author shows that, contrary to the Usual view, historical narratives are causal (in a specific way), and microhistory can be seen as a response to a very specific causal problem of Braudelian macrohistory.

VL - 42 SP - 116–128 ER - TY - JOUR T1 - Betekenisverschuiving in het causaliteitsbegrip van Ernst Cassirer JF - Tijdschrift voor filosofie Y1 - 2008 A1 - Froeyman, Anton AB -

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.

VL - 70 SP - 733–761 ER - TY - Generic T1 - Explanatory Pluralism. Y1 - 2008 A1 - Van Bouwel, Jeroen ED - Fullbrook, Edward JA - Pluralist Economics PB - Zed Books SP - 151-170 ER - TY - JOUR T1 - Unravelling the methodology of causal pluralism JF - Philosophica Y1 - 2008 A1 - Froeyman, Anton A1 - De Vreese, Leen AB -

In this paper we try to bring some clarification in the recent debate on causal pluralism. Our first aim is to clarify what it means to have a pluralistic theory of causation and to articulate the criteria by means of which a certain theory of causation can or cannot qua lify as a pluralistic theory of causation. We also show that there is currently no theory on the market which meets these criteria, and therefore no full-blown pluralistic theory of causation exists. Because of this, we offer a general strategy by means of which pluralistic theories of causation can be developed.

VL - 81 SP - 73–89 ER - TY - Generic T1 - Learning concepts through the history of mathematics: the case of symbolic algebra. Y1 - 2007 A1 - Heeffer, Albrecht ED - François, Karen ED - Van Bendegem, Jean Paul JA - Philosophical dimensions in mathematics education PB - Springer SP - 83–103 SN - 978-0-387-71571-1 ER - TY - Generic T1 - Empirical Progress and Ampliative Adaptive Logics Y1 - 2005 A1 - Meheus, Joke ED - Festa, Roberto ED - Aliseda, Atocha ED - Peijnenburg, Jeanne JA - Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 T3 - Poznan Studies in the Philosophy of the Sciences and the Humanities PB - Rodopi CY - Amsterdam/New York VL - 83 SP - 193–217 ER - TY - Generic T1 - Alternative mathematics: the vague way. Y1 - 2000 A1 - Van Bendegem, Jean Paul ED - Krause, Décio ED - French, Steven ED - Doria, Francisco A. JA - Festschrift in honor of Newton C.A. da Costa on the occasion of his seventieth birthday PB - Kluwer Academic VL - 125 SP - 19–31 SN - N/A ER -