This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If (...) a claim P is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

Pauline Kleingeld and Marcus Willaschek, in a co-authored article, declare that their purportedly new interpretation of Immanuel Kant’s writings on autonomy reveals that his moral philosophy is neither realist nor constructivist. However, as I explain here, John Rawls already occupies the area of intellectual territory to which Kleingeld and Willaschek attempt to lay claim: Rawls interprets Kant’s moral philosophy as neither realist, as Kleingeld and Willaschek evidently construe this term, nor constructivist, as they evidently construe this term. Contra Kleingeld and (...) Willaschek, the moral constructivism attributed to Kant by Rawls is not voluntarist, and Rawls’s account of Kant’s concept of autonomy is not paradoxical. In order to understand autonomy, it is necessary to understand Kant’s complex conception of the will, which structures his moral philosophy (as Rawls, unlike Kleingeld and Willaschek, explains). Rawls, like Kant, but unlike Kleingeld and Willaschek, clearly distinguishes between certain importantly different questions about normativity and obligation. Kant’s moral philosophy, according to Rawls’s insightful interpretation, is a form of objective moral constructivism. (shrink)

This study was a Persian-English comparative translation investigation on the selected poems of Forough- Farrokhzad, an influential contemporary Iranian poet. Two English translations were analyzed: one by a native Persian speaker, Sholeh Wolpé, an Iranian poet and translator, and the other by a non-native Persian speaker, Jascha Kessler, an American poet, writer and translator. The translations were reviewed according to Vinay and Darbelnet’s(1995) model which identifies two general translation strategies: direct and oblique, resembling literal versus free classifications, respectively, along (...) with their supplementary proce- dures in order to investigate the frequency of the application of each procedure by the two translators. After situating every line of the poems in the related categories, the number of times each procedure was em- ployed was examined. The findings indicated that both translators used the oblique strategy more than the direct one. The non-native translator, however, used the oblique strategy considerably more frequently com- pared to the native translator. Finally, new procedures called complementary procedures were proposed by the researchers to be added to Vinay and Darbelnet’s (1995) model in order to fill the gaps in the application of strategies and procedures to the poems of Forough Farrokhzad and probably other poems. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

Recent work in democratic theory has seriously questioned the dominant pluralist model of self-government and recommended the adoption of a ‘deliberative’ conception of constitutional democracy. With this shift in basic political theory, the objection to judicial review, often voiced in jurisprudential theory, as an anti-democratic instance of paternalism merits another look. This paper argues that the significant differences between four recent theories of constitutional review—put forward by Ely, Perry, Dworkin, and Habermas—are best understood as arising from different positions taken on (...) two cross-cutting distinctions that have been inherited from Locke and Rousseau: democratic processes as aggregative versus deliberative, and democratic legitimacy as substantive versus procedural. A reconstruction and critical evaluation of the four theories of judicial review, with special emphasis on their underlying theories of constitutional democracy, yields a set of criteria for adequate accounts of democratic processes, democratic legitimacy, and their relation to judicial review. I argue that the best understanding of constitutional review is yielded by Habermas’s theory because it combines a conception of popular sovereignty in terms of the collective process of citizens’ deliberative attempt to institutionalize the general will through law, with a resolutely proceduralist conception of democratic legitimacy. However, I also argue that some of the specific proposals Habermas makes concerning the institutionalization of constitutional review in an independent, non-accountable judiciary and the scope of duties for such a body need to be modified in the light of his overriding commitments to participatory deliberative processes and procedural legitimacy. (shrink)

In this paper I argue against a deflationist view that as representational vehicles symbols and models do their jobs in essentially the same way. I argue that symbols are conventional vehicles whose chief function is denotation while models are epistemic vehicles whose chief function is showing what their targets are like in the relevant aspects. It is further pointed out that models usually do not rely on similarity or some such relations to relate to their targets. For (...) that referential relation they reply instead on symbols (names and labels) given to them and their parts. And a Goodmanian view on pictures of fictional characters reveals the distinction between symbolic and model representations. (shrink)

This paper addresses the field of economic measurements of the value of assets, carried out by the methods of independent expert evaluation. The mathematical principles of application, within a comparative methodical approach, of additive and multiplicative models for correcting the cost of single indicator of compared objects have been considered. The differences of mathematical basis of the compared models were analyzed. It has been shown that the ambiguity in the methodology of correction procedure requires studying the advantages and (...) disadvantages of known models, as well as the justification and elaboration of recommendations for their application. Possible forms of correction representation using several alternative units of measurement have been defined; formulas for their interconnection have been built. Analytic expressions have been derived that mathematically describe the algorithms for performing the evaluation correction procedure using various forms of correction representation. The influence of the correction execution model on the characteristics of uncertainty in the independent evaluation result has been analyzed. The scope of two possible types of correction introduction models has been determined. A specific numerical example was used to demonstrate the methodological advantages of using a multiplicative model when summarizing percentage corrections. The independence of the correction result on the sequence of correction introduction has been confirmed. It is proposed to use the selected measure of partial corrections as a criterion for the adequacy of the correction introduction model. It is proved that the result of the independent expert evaluation depends on the chosen model and does not depend on the sequence of correction introduction. The reported study results are important in terms of theory and practice since they make it possible to improve the accuracy and reliability of the result of independent expert evaluation. (shrink)

What is the potential for improvements in the functioning of consciousness? The paper addresses this issue using global workspace theory. According to this model, the prime function of consciousness is to develop novel adaptive responses. Consciousness does this by putting together new combinations of knowledge, skills and other disparate resources that are recruited from throughout the brain. The paper's search for potential improvements in consciousness is aided by studies of a developmental transition that enhances functioning in whichever domain it occurs. (...) This transition involves a shift from the use of procedural (implicit) knowledge to declarative (explicit) knowledge. However, the potential of the transition to enhance functioning has not yet been realised to any extent in relation to consciousness itself. The paper assesses the potential for consciousness to use declarative knowledge to improve its own functioning and to thereby enhance human adaptability. A number of sources (including the practices of religious and contemplative traditions) are drawn on to investigate how this potential might be realised. (shrink)

In Anarchy, State and Utopia, Robert Nozick argues, first, that free-market anarchism is unstable -that it will inevitably lead back to the state; and, second, that without a certain "redistributive" proviso, the model is unjust. If either of these things is the case, the model defeats itself, for its justification purports to be that it provides a morally acceptable alternative to government (and therefore to the state). I argue, against Nozick's contention, that his "dominant protection agency" neither meets his monopoly (...) condition for statehood nor need run afowl of his redistributive requirement. This being the case, his argument against free market anarchism fails. (shrink)

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities (...) are related to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

The interplay between the virus, infected cells and immune responses to SARS-CoV-2 is still under debate. By extending the basic model of viral dynamics, we propose here a formal approach to describe neutralisation versus weak (or non-)neutralisation scenarios and compare them with the possible effects of antibody-dependent enhancement (ADE). The theoretical model is consistent with the data available in the literature; we show that both weakly neutralising antibodies and ADE can result in final viral clearance or disease progression, but (...) that the immunodynamics are different in each case. As a significant proportion of the world’s population is already naturally immune or vaccinated, we also discuss the implications for secondary infections after vaccination or in the presence of immune system dysfunctions. (shrink)

Paul Cilliers has developed a novel post-structural approach to complexity that has influenced several writers contributing to the current complexity literature. Concomitantly however, Cilliers advocates for modelling complex systems using connectionist neural networks (rather than analytic, rule-based models). In this paper, I argue that it is dilemmic to simultaneously hold these two positions. Cilliers’ post-structural interpretation of complexity states that models of complex systems are always contextual and provisional; there is no exclusive model of complex systems. This sentiment (...) however appears at odds with Cilliers’ promotion of connectionist neural networks as the best way to model complex systems. The lesson is that those who currently follow Cilliers’ post-structural approach to complexity cannot also develop a preferred model of complex systems, and those who currently advocate for some preferred model of complex systems cannot adopt the post-structural approach to complexity without giving up the purported objectivity and/or superiority of their preferred model. (shrink)

"Procedural Justice" offers a theory of procedural fairness for civil dispute resolution. The core idea behind the theory is the procedural legitimacy thesis: participation rights are essential for the legitimacy of adjudicatory procedures. The theory yields two principles of procedural justice: the accuracy principle and the participation principle. The two principles require a system of procedure to aim at accuracy and to afford reasonable rights of participation qualified by a practicability constraint. The Article begins in Part (...) I, Introduction, with two observations. First, the function of procedure is to particularize general substantive norms so that they can guide action. Second, the hard problem of procedural justice corresponds to the following question: How can we regard ourselves as obligated by legitimate authority to comply with a judgment that we believe (or even know) to be in error with respect to the substantive merits? The theory of procedural justice is developed in several stages, beginning with some preliminary questions and problems. The first question - what is procedure? - is the most difficult and requires an extensive answer: Part II, Substance and Procedure, defines the subject of the inquiry by offering a new theory of the distinction between substance and procedure that acknowledges the entanglement of the action-guiding roles of substantive and procedural rules while preserving the distinction between two ideal types of rules. The key to the development of this account of the nature of procedure is a thought experiment, in which we imagine a world with the maximum possible acoustic separation between substance and procedure. Part III, The Foundations of Procedural Justice, lays out the premises of general jurisprudence that ground the theory and answers a series of objections to the notion that the search for a theory of procedural justice is a worthwhile enterprise. Sections II and III set the stage for the more difficult work of constructing a theory of procedural legitimacy. Part IV, Views of Procedural Justice, investigates the theories of procedural fairness found explicitly or implicitly in case law and commentary. After a preliminary inquiry that distinguishes procedural justice from other forms of justice, Part IV focuses on three models or theories. The first, the accuracy model, assumes that the aim of civil dispute resolution is correct application of the law to the facts. The second, the balancing model, assumes that the aim of civil procedure is to strike a fair balance between the costs and benefits of adjudication. The third, the participation model, assumes that the very idea of a correct outcome must be understood as a function of process that guarantees fair and equal participation. Part IV demonstrates that none of these models provides the basis for a fully adequate theory of procedural justice. In Part V, The Value of Participation, the lessons learned from analysis and critique of the three models are then applied to the question whether a right of participation can be justified for reasons that are not reducible to either its effect on the accuracy or its effect on the cost of adjudication. The most important result of Part V is the Participatory Legitimacy Thesis: it is (usually) a condition for the fairness of a procedure that those who are to be finally bound shall have a reasonable opportunity to participate in the proceedings. The central normative thrust of Procedural Justice is developed in Part VI, Principles of Procedural Justice. The first principle, the Participation Principle, stipulates a minimum (and minimal) right of participation, in the form of notice and an opportunity to be heard, that must be satisfied (if feasible) in order for a procedure to be considered fair. The second principle, the Accuracy Principle, specifies the achievement of legally correct outcomes as the criterion for measuring procedural fairness, subject to four provisos, each of which sets out circumstances under which a departure from the goal of accuracy is justified by procedural fairness itself. In Part VII, The Problem of Aggregation, the Participation Principle and the Accuracy Principle are applied to the central problem of contemporary civil procedure - the aggregation of claims in mass litigation. Part VIII offers some concluding observations about the point and significance of Procedural Justice. (shrink)

What is the value of intellectual playfulness? Traditional characterizations of the ideal thinker often leave out playfulness; the ideal inquirer is supposed to be sober, careful, and conscientiousness. But elsewhere we find another ideal: the laughing sage, the playful thinker. These are models of intellectual playfulness. Intellectual playfulness, I suggest, is the disposition to try out alternate belief systems for fun – to try on radically different perspectives for the sheer pleasure of it. But what would the cog-nitive value (...) be of such playfulness? I suggest that intellectual playfulness function as, at the very least, a kind of intellectual insurance policy against epistemic traps. An epistemic trap is a belief system that re-directs good-faith inquiry to bad results. Am epistemic trap manipulates background beliefs to fend off contrary evidence. For example, a conspiracy theory might include a set of beliefs about how the mainstream media has been taken over by some vicious cabal. Normal epistemic attempts will be captured by a well-wrought epistemic trap, because normal attempts at inquiry are guided by these background beliefs -- which set what counts as a plausible path to explore, and what is implausible or beyond the pale. And a clever epistemic trap will manipulate those background beliefs for ill effect. Intellectual playfulness, on the other hand, isn’t motivated by an epistemic interest in the truth, but in the sheer pleasure of intellectual exploration. Since intellectual playfulness isn’t oriented towards the truth, it won’t be constrained by an agent’s background beliefs – it won’t, for example, prefer to investigate apparently more plausible pathways. Intellectual playfulness offers an opportunity to escape from epistemic traps. But intellectual playfulness has its own limitations. It will only drive us to explore belief systems when that exploration is fun. What we need is an array of differently-motivated exploratory tendencies – empathy, curiosity, playfulness – each of which will each cover for the others’ limitations. (shrink)

This paper takes up the challenge which Carnap poses in his Aufbau: to make of it a basis for continued epistemological research. I try to close some gaps in Carnap’s original presentation and to make at least the first few steps of his constructional outline more accessible to the modern reader. Particularly emphasized is Carnap’s implicit recognition that, to be effective, “structural” models of epistemology (using logical symbols) must be complemented with “procedural” models (his “fictitious operations”). The (...) paper shows how a procedural model, a computer program,can “bypass” Nelson Goodman’s counter example to Carnap’s logical construction of “similarity circles”. (shrink)

Behaviourism is the view that preferences, beliefs, and other mental states in social-scientific theories are nothing but constructs re-describing people's behaviour. Mentalism is the view that they capture real phenomena, on a par with the unobservables in science, such as electrons and electromagnetic fields. While behaviourism has gone out of fashion in psychology, it remains influential in economics, especially in ‘revealed preference’ theory. We defend mentalism in economics, construed as a positive science, and show that it fits best scientific practice. (...) We distinguish mentalism from, and reject, the radical neuroeconomic view that behaviour should be explained in terms of brain processes, as distinct from mental states. (shrink)

ABSTRACTA longstanding tradition in philosophy distinguishes between knowthatand know-how. This traditional “anti-intellectualist” view is soentrenched in folk psychology that it is often invoked in supportof an allegedly equivalent distinction between explicit and implicitmemory, derived from the so-called “standard model of memory.”In the last two decades, the received philosophical view has beenchallenged by an “intellectualist” view of know-how. Surprisingly, defenders of the anti-intellectualist view have turned to the cognitivescience of memory, and to the standard model in particular, todefend their view. Here, (...) I argue that this strategy is a mistake. As it turns out, upon closer scrutiny, the evidence from cognitivepsychology and neuroscience of memory does not support theanti-intellectualist approach, mainly because the standard modelof memory is likely wrong. However, this need not be interpretedas good news for the intellectualist, for it is not clear that theempirical evidence necessarily supp... (shrink)

I consider an epistemological, methodological dispute between Nietzsche and Kant about the possibility of rational self-critique: an activity where the intellect reflects on its cognitive powers, demarcates the proper use and limitations of these powers, and thereby achieves a systematically complete insight into what we can and cannot know. Kant affirms whereas Nietzsche denies that we can successfully conduct such a self-directed rational enquiry. By reconstructing the central argumentative moves that Nietzsche and Kant do or could make to defend their (...) respective position, I trace their disagreement to starkly diverging models of philosophical enquiry, of what philosophy is and ought to be all about. (shrink)

Should we insist on prediction, i.e. on correctly forecasting the future? Or can we rest content with accommodation, i.e. empirical success only with respect to the past? I apply general considerations about this issue to the case of economics. In particular, I examine various ways in which mere accommodation can be sufficient, in order to see whether those ways apply to economics. Two conclusions result. First, an entanglement thesis: the need for prediction is entangled with the methodological role of orthodox (...) economic theory. Second, a conditional predictivism: if we are not committed to orthodox economic theory, then we should demand prediction rather than accommodation – against most current practice. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a strategy (...) used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

This essay analyzes the rise of Large Language Models (LLMs) such as GPT-4 or Gemini, which are now incorporated in a wide range of products and services in everyday life. Importantly, it considers some of their hidden human costs. First, is the question of who is left behind by the further infusion of LLMs in society. Second, is the issue of social inequalities between lingua franca and those which are not. Third, LLMs will help disseminate scientific concepts, but their (...) meanings' dissemination is at risk. Fourth, is the issue of information security and how nations and individuals might adapt. Fifth, is the issue of the environmental cost of LLMs for future generations. At the dawn of the conversational AI era, it would be wise to ponder what inequalities and empowerments will be co-created with LLMs. (shrink)

The 2010s were a golden age of information privacy research, but its policy accomplishments tell a mixed story. Despite significant progress on the development of privacy theory and compelling demonstrations of the need for privacy in practice, real achievements in privacy law and policy have been, at best, uneven. In this chapter, I outline three broad shifts in the way scholars (and, to some degree, advocates and policy makers) are approaching privacy and social media. First, a change in emphasis from (...) individual to structural approaches. Second, increasing attention to the political economy of privacy—especially the business models of information companies, such as social media platforms. And third, a deeper understanding of privacy’s role in a healthy digital public sphere. (shrink)

I examine two explanatory models of choking: the representationalist model and the anti-representationalist model. The representationalist model is based largely on Anderson's ACT model of procedural knowledge and is developed by Masters, Beilock and Carr. The antirepresentationalist model is based on dynamical models of cognition and embodied action and is developed by Dreyfus who employs an antirepresentational view of know-how. I identify the models' similarities and differences. I then suggest that Dreyfus is wrong to believe representational (...) activity requires reflection and attention. I also argue that the representationalist model of choking is preferable, since some embodied actions require appeals to representations, something not available to Dreyfus's anti-representational model. (shrink)

The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by (...) Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem. (shrink)

We asked college students to make judgments about realistic moral situations presented as dilemmas (which asked for an either/or decision) vs. problems (which did not ask for such a decision) as well as when the situation explicitly included affectively salient language vs. non-affectively salient language. We report two main findings. The first is that there are four different types of cognitive strategy that subjects use in their responses: simple reasoning, intuitive judging, cautious reasoning, and empathic reasoning. We give operational definitions (...) of these types in terms of our observed data. In addition, the four types characterized strategies not only in the whole sample, but also in all of the subsamples in our study. The second finding is that the intuitive judging type comprised approximately 26% of our respondents, while about 74% of our respondents employed one of the three styles of reasoning named above. We think that these findings present an interesting challenge to models of moral cognition which predict that there is either a single, or a single most common, strategy – especially a strategy of relying upon one’s intuitions – that people use to think about moral situations. (shrink)

Klein's target article argues that autonoetic consciousness is a necessary condition for memory; this unusually narrow view of the scope of memory implies that only episodic memory is, strictly speaking, memory. The narrow view is opposed to the standard broad view, on which causal connection with past experience is sufficient for memory; on the broad view, both declarative (i.e., episodic and semantic) and procedural memory count as genuine forms of memory. Klein mounts a convincing attack on the broad (...) view, arguing that it opens the "doors of memory" too far, but this commentary contends that the narrow view does not open them far enough. It may be preferable to adopt an intermediate view of the scope of memory, on which causal connection is sufficient for memory only when it involves encoding, storage, and retrieval of content. More demanding than the simple causal condition but less demanding than the autonoesis condition, the encoding-storage-retrieval condition implies that both episodic and semantic memory count as genuine forms of memory but that procedural memory does not. (shrink)

The highly enjoyable experiences associated with drinking good wines have been widely misunderstood. It is common to regard wine appreciation as an analytical or quasi-scientific kind of activity, in which wine experts carefully distinguish the precise sensory qualities of each wine, and then pass on their accumulated factual knowledge to less experienced wine enthusiasts. However, this model of wine appreciation is seriously defective. One good way to show its defects is to provide a better and more fundamental scientific account of (...) what is involved in wine appreciation. In order to do so, I outline a novel, evolutionarily based theory of perceptual consciousness that explains why there must be imaginative as well as analytical kinds of experiences of wines. In addition, imaginative wine experiences, unlike typical imaginative artistic experiences, may be shown to involve highly individualistic, improvisatory elements that help to give wine drinking a unique place among the recreational arts. (shrink)

In this paper, we outline a comprehensive approach to composed analogies based on the theory of conceptual spaces. Our algorithmic model understands analogy as a search procedure and builds upon the idea that analogical similarity depends on a conceptual phenomena called ‘dimensional salience.’ We distinguish between category-based, property-based, event-based, and part-whole analogies, and propose computationally-oriented methods for explicating them in terms of conceptual spaces.

Political theorists have offered many accounts of collective decision-making under pluralism. I discuss a key dimension on which such accounts differ: the importance assigned not only to the choices made but also to the reasons underlying those choices. On that dimension, different accounts lie in between two extremes. The ‘minimal liberal account’ holds that collective decisions should be made only on practical actions or policies and that underlying reasons should be kept private. The ‘comprehensive deliberative account’ stresses the importance of (...) giving reasons for collective decisions, where such reasons should also be collectively decided. I compare these two accounts on the basis of a formal model developed in the growing literature on the ‘discursive dilemma’ and ‘judgment aggregation’ and address several questions: What is the trade-off between the (minimal liberal) demand for reaching agreement on outcomes and the (comprehensive deliberative) demand for reason-giving? How large should the ‘sphere of public reason’ be? When do the decision procedures suggested by the two accounts agree and when not? How good are these procedures at truthtracking on factual matters? What strategic incentives do they generate for decision-makers? My discussion identifies what is at stake in the choice between minimal liberal and comprehensive deliberative accounts of collective decisionmaking, and sheds light not only on these two ideal-typical accounts themselves, but also on many characteristics that intermediate accounts share with them. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set (...) of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

Many multinational corporations develop business operations in Europe. The current research attempts to fill the gap on how corporations can increase their political influence in this geography by exploring the joint effect of corporate political activity(CPA) and social responsibility (CSR) on political embeddedness and financial performance. Based on institutional theory and on a sample of autochthonous (European Union [EU]) and allochthonous (non-EU) firms with declared EU lobbying (from 2008to 2019) we conducted two studies. Based on a multi-level model, Study 1 (...) finds strong and robust evidence that boardroom gender diversity and EU lobbyists inter-actively increase EU political embeddedness. Complementarily, Study 2, which relies on general linear Modeling, suggests that allochthonous corporations are more profit-able when they display high-level political embeddedness and lobbying expenditures, combined with adoption of United Nations (UN) guidelines. Overall, findings show that lobbying in Europe pays off, especially when corporations strive to be aligned with EU ethical values and aspirations. Hiring lobbyists to be based in Brussels and promoting gender equality help establish EU political connections. Subsequently, findings highlight the role that EU political embeddedness, lobbying expenditures, and UN guidelines play in leveraging financial performance, especially across non-EU corporations. Regarding EU corporations, results show that a firm-level investment on CPA-CSR is particularly important. Overall, findings from this research support corporations that are growing businesses in Europe. KEYWORDScorporate political activity, corporate social responsibility, lobbying, return on assets (ROA),United Nations (UN_. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic (...) is used as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

The goal of this article is to show that instrumental rationality and utility that have been used in economics for many years does not work well. What is presented in the article is how significant the influence of utilitarianism has been on economics and why the economists get rid of humans’ goals and motivations. It is shown in the article that the human who decides in present is absolutely different from the human who decides over time. Many economists neglected this (...) problem because they wanted to have an effective and simple model. Becker’s economic method is presented as a dead end to which economics has been brought to. It is impossible to connect different selves of one human being by using the utility measure. The works of Schelling and J.S. Mill are used to explain this impossibility. The conclusion of this article is that instrumental rationality and utility have affected economics significantly. But, this simplified view on human nature is no longer valid. Hence, economics needs to think not only about the means but also about the human goals. Economics needs to rebuff relativism and show people how to achieve well-being. If we want to help people with their self-governance, we will have to choose reason over emotions. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on rather (...) than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

The era of AI-based decision-making fast approaches, and anxiety is mounting about when, and why, we should keep “humans in the loop” (“HITL”). Thus far, commentary has focused primarily on two questions: whether, and when, keeping humans involved will improve the results of decision-making (making them safer or more accurate), and whether, and when, non-accuracy-related values—legitimacy, dignity, and so forth—are vindicated by the inclusion of humans in decision-making. Here, we take up a related but distinct question, which has eluded the (...) scholarship thus far: does it matter if humans appear to be in the loop of decision-making, independent from whether they actually are? In other words, what is stake in the disjunction between whether humans in fact have ultimate authority over decision-making versus whether humans merely seem, from the outside, to have such authority? Our argument proceeds in four parts. First, we build our formal model, enriching the HITL question to include not only whether humans are actually in the loop of decision-making, but also whether they appear to be so. Second, we describe situations in which the actuality and appearance of HITL align: those that seem to involve human judgment and actually do, and those that seem automated and actually are. Third, we explore instances of misalignment: situations in which systems that seem to involve human judgment actually do not, and situations in which systems that hold themselves out as automated actually rely on humans operating “behind the curtain.” Fourth, we examine the normative issues that result from HITL misalignment, arguing that it challenges individual decision-making about automated systems and complicates collective governance of automation. (shrink)

In the last decade, the UK Government has attempted to implement improved processes and procedures in modelling and analysis in response to the Laidlaw report of 2012 and the Macpherson review of 2013. The Laidlaw report was commissioned after failings during the Intercity West Coast Rail (ICWC) Franchise procurement exercise by the Department for Transport (DfT) that led to a legal challenge of the analytical models used within the exercise. The Macpherson review looked into the quality assurance of Government (...) analytical models in the context of the experience with the Intercity West Coast franchise competition. This paper examines what progress has been made in the 8 years since the Laidlaw report in model building and best practise in government and proposes several recommendations for ways forward. This paper also discusses the Lords Science and Technology Committees of June 2020 that analysed the failings in the modelling of COVID. Despite going on to influence policy, many of the same issues raised within the Laidlaw and Macpherson Reports were also present in the Lords Science and Technology Committee enquiry. We examine the technical and organisational challenges to progress in this area and make recommendations for a way forward. (shrink)

This article discusses Sven Ove Hansson’s corpus model for the influence of values (in particular, non-epistemic ones) in the hypothesis acceptance/rejection phase of scientific inquiry. This corpus model is based on Hansson’s concepts of scientific corpus and science ‘in the large sense’. I first present Hansson’s corpus model of value influence with some introductory comments about its origins, a detailed presentation of the model with a new terminology, an analysis of its limits, and an appreciation of its handling of controversial (...) non-epistemic values. I conclude that it is a very good candidate for managing value influence, because contrary to other models in the literature it is fairly simple, it provides a universal and systematic procedure for dealing with values, and it syste- matically preserves the epistemic integrity of science. I then study some difficulties associated with the model’s central feature of taking the maximum level of evidence required by the applications of a claim in order for the latter to enter the scientific corpus: the difficulty to identify this maximum requirement; the non-optimality of this requirement with respect to other less demanding requirements; the potentially detrimental consequences of the preference for false negatives over false positives on which it relies; and the issue of whether there can nevertheless be requirements higher than this maximum. I show that these issues may potentially challenge the corpus model. Finally, I call for empirical work (in particular, an investigation of scientists’ and engineers’ own normative views) in order to better assess these issues. (shrink)

Predictive processing theories are increasingly popular in philosophy of mind; such process theories often gain support from the Free Energy Principle (FEP)—a nor- mative principle for adaptive self-organized systems. Yet there is a current and much discussed debate about conflicting philosophical interpretations of FEP, e.g., repre- sentational versus non-representational. Here we argue that these different interpre- tations depend on implicit assumptions about what qualifies (or fails to qualify) as representational. We deploy the Free Energy Principle (FEP) instrumentally to dis- (...) tinguish four main notions of representation, which focus on organizational, struc- tural, content-related and functional aspects, respectively. The various ways that these different aspects matter in arriving at representational or non-representational interpretations of the Free Energy Principle are discussed. We also discuss how the Free Energy Principle may be seen as a unified view where terms that tradition- ally belong to different ontologies—e.g., notions of model and expectation versus notions of autopoiesis and synchronization—can be harmonized. However, rather than attempting to settle the representationalist versus non-representationalist debate and reveal something about what representations are simpliciter, this paper demon- strates how the Free Energy Principle may be used to reveal something about those partaking in the debate; namely, what our hidden assumptions about what represen- tations are—assumptions that act as sometimes antithetical starting points in this persistent philosophical debate. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and (...) access controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

Beginning with an examination of the deep history of making things and thinking about making things made-up in our minds, I argue that the resultant declarative understanding of the procedural knowledge of abstracting theories and building models—the essence(s) of the practice of science—embodied in Conceptual Mathematics is worth learning beginning with high school, along with grammar and calculus. One of the many profound scientific insights introduced—in a manner accessible to total beginners—in Lawvere and Schanuel's Conceptual Mathematics textbook (...) is: the way we ought to think about things varies with the nature of things. In light of the universal yearning for understanding, it may be pedagogically unethical not to teach the eminently learnable Conceptual Mathematics. Summing it all, we need to champion the cause of taking Conceptual Mathematics to classrooms. (shrink)

The dominant approach to the study of dynamic preference is to generate preference change by manipulating aspects of decision-problem presentation (problem description, task procedure, contextual options). The predisposing approach instead manipulates the decision maker’s mental state while holding problem presentation constant. Three illustrative studies are outlined here. The first modified preferences for ambitious consumption by manipulating subjects’ consumption energy. The second modified preferences for immediate consumption by manipulating subjects’ hedonic resources. The third modified preferences for consumption itself by manipulating subjects’ (...) desire proneness. Whereas framing is thought to affect perception, predisposing apparently can affect tastes and so involves a special kind of preference dynamism. (shrink)

The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

The chapter discusses the principle of conservatism and traces how the general principle is related to the specific one. This tracing suggests that the principle of conservatism needs to be refined. Connecting the principle in cognitive science to more general questions about scientific inference also allows us to revisit the question of realism versus instrumentalism. The framework deployed in model selection theory is very general; it is not specific to the subject matter of science. The chapter outlines some non-Bayesian (...) ideas that have been developed in model selection theory. The principle of conservatism, like C. Lloyd Morgan's canon, describes a preference concerning kinds of parameters. It says that a model that postulates only lower-level intentionality is preferable to one that postulates higher-level intentionality if both fit the data equally well. The model selection approach to parsimony helps explain why unification is a theoretical virtue. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal logic (...) in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)