If there is a movement or school that epitomizes analytic philosophy in the middle of the twentieth century, it is logical empiricism. Logical empiricists created a scientifically and technically informed philosophy of science, established mathematical logic as a topic in and tool for philosophy, and initiated the project of formal semantics. Accounts of analytic philosophy written in the middle of the twentieth century gave logical empiricism a central place in the project. The second wave of interpretative (...) accounts was constructed to show how philosophy should progress, or had progressed, beyond logical empiricism. The essays survey the formative stages of logical empiricism in central Europe and its acculturation in North America, discussing its main topics, and achievements and failures, in different areas of philosophy of science, and assessing its influence on philosophy, past, present, and future. (shrink)

What could be more certain than the fact that 2 plus 2 equals 4? Since the time of the ancient Greeks mathematicians have believed there is little---if anything---as unequivocal as a proved theorem. In fact, mathematical statements that can be proved true have often been regarded as a more solid foundation for a system of thought than any maxim about morals or even physical objects. The 17th-century German mathematician and philosopher Gottfried Wilhelm Leibniz even envisioned a ``calculus'' of reasoning such (...) that all disputes could one day be settled with the words ``Gentlemen, let us compute!'' By the beginning of this century symbolic logic had progressed to such an extent that the German mathematician David Hilbert declared that all mathematical questions are in principle decidable, and he confidently set out to codify once and for all the methods of mathematical reasoning. (shrink)

Individuating the logic of scientific discovery appears a hopeless enterprise. Less hopeless is trying to figure out a logical way to model the epistemic attitude distinguishing the practice of scientists. In this paper, we claim that classical logic cannot play such a descriptive role. We propose, instead, one of the three-valued logics in the Kleene family that is often classified as the less attractive one, namely Hallden’s logic. By providing it with an appropriate epistemic interpretation, we can (...) informally model the scientific attitude. (shrink)

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such (...) a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)

I read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...) too high-minded, has too unrealistically exalted a view about what actually happens in universities which is too coloured by attitudes appropriate to the traditional humanities. And he is optimistic to the point of fantasy if he thinks that people are so susceptible to “the romance of ideas and the power of beauty” that they will want, or can be brought to want, lots and lots of universities in order to promote the ideas (as if they would suppose that the task of “conserving, understanding, extending and handing on to subsequent generations the intellectual, scientific, and artistic heritage of mankind” was clearly ill-served when there were only forty universities in England, as opposed to a hundred and whatever). (shrink)

To learn about real world phenomena, scientists have traditionally used models with clearly interpretable elements. However, modern machine learning (ML) models, while powerful predictors, lack this direct elementwise interpretability (e.g. neural network weights). Interpretable machine learning (IML) offers a solution by analyzing models holistically to derive interpretations. Yet, current IML research is focused on auditing ML models rather than leveraging them for scientific inference. Our work bridges this gap, presenting a framework for designing IML methods—termed ’property descriptors’—that illuminate not (...) just the model, but also the phenomenon it represents. We demonstrate that property descriptors, grounded in statistical learning theory, can effectively reveal relevant properties of the joint probability distribution of the observational data. We identify existing IML methods suited for scientific inference and provide a guide for developing new descriptors with quantified epistemic uncertainty. Our framework empowers scientists to harness ML models for inference, and provides directions for future IML research to support scientific understanding. (shrink)

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is (...) particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

The view that scientific theories are partially interpreted deductive systems (theoretical deductivism) is defended against recent criticisms by Hempel. Hempel argues that the reliance of theoretical inferences (both from observation to theory and also from theory to theory) uponceteris paribus conditions orprovisos must prevent theories from establishing deductive connections among observations. In reply I argue, first, that theoretical deductivism does not in fact require the establishing of such deductive connections: I offer alternative H-D analyses of these inferences. Second, I (...) argue that when the refined character of scientific observation is taken into account, we find that a theorymay after all establish such deductive connections among scientific observations, without reliance on provisos.These conclusions are based on the multi-level Popperian contextualist account of empirical interpretation sketched in a previous paper. As before, I claim that the supposed objections to theoretical deductivism depend upon questionable empiricist theses unnecessarily conjoined with theoretical deductivism by the Logical Positivists. Theoretical deductivism itself is unaffected by these arguments, and remains (when empirical interpretation is properly analyzed) the best account of scientific theories. (shrink)

In order to account for the actual function of analogue models in extending theories to new domains, we argue that it is necessary to analyze the inference involved into a complex two dimensional form. This form must go horizontally from descriptions of entities used as a model to redescriptions of entities in the new domain, and it must go vertically from an observation language to a theoretical language having a different and exclusive logical syntax. This complex inference can only (...) be intelligible if we interpret theoretical terms in a platonic manner, a la Körner. (shrink)

In this paper the system IL for relative interpretability is studied.

This chapter responds to Saul Kripke’s critique of the idea of adopting an alternative logic. It defends an anti-exceptionalist view of logic, on which coming to accept a new logic is a special case of coming to accept a new scientific theory. The approach is illustrated in detail by debates on quantified modal logic. A distinction between folk logic and scientific logic is modelled on the distinction between folk physics and scientific physics. The importance of not confusing (...) logic with metalogic in applying this distinction is emphasized. Defeasible inferential dispositions are shown to play a major role in theory acceptance in logic and mathematics as well as in natural and social science. Like beliefs, such dispositions are malleable in response to evidence, though not simply at will. The chapter considers the Quinean objection that accepting an alternative logic involves changing the subject rather than denying the doctrine. The objection is shown to depend on neglect of the social dimension of meaning determination, akin to descriptivism about proper names and natural kind terms criticized by Kripke and Putnam. Normal standards of interpretation indicate that disputes between classical and non-classical logicians are genuine disagreements. (shrink)

One can often encounter an opinion that Polish scientific philosophy deserves to be much better known than actually is. This book is thought as a response to such a claim. The papers collected in this volume are divided into two parts: Background and Influence and History and Systematics. However, there is no sharp borderline between themes which are touched in both parts. Generally speaking, all papers of the first part relate the Lvov-Warsaw School to some philosophical movements external (...) to it whereas the papers collected in the second one focus on internal issues connected with the school . Since the Polish school of mathematical logic is much better known than the Polish analytic philosophy we decided to omit here any treatment of the former. Thus, this collection centers on purely philosophical matters. We projected this volume not as an exhaustive panorama of Polish analytic philosophy but rather as a series of essays on particular persons or topic. As a result one can find here papers on Twardowski. Ajdukiewicz, Kotarbinski, Tarski and Lukasiewicz as well as on ethics on science, nominalism, and the methodology of psychology. We hope that this book will contribute to a better knowledge and evaluation of Polish achievements in analytic philosophy. We would like to express our gratitude to Professor Leszek Nowak, the editor-in-chief of Poznan Studies in the Philosophy of the Sciences and the Humanities, who initiated the idea of the collection and helped in its preparation. (shrink)

This Element offers a new account of the philosophical significance of logical empiricism that relies on the past forty years of literature reassessing the project. It argues that while logical empiricism was committed to empiricism and did become tied to the trajectory of analytic philosophy, neither empiricism nor logical analysis per se was the deepest philosophical commitment of logical empiricism. That commitment was, rather, securing the scientific status of philosophy, bringing philosophy into a scientific (...) conception of the world. (shrink)

Resumo: A atuação do tradutor e intérprete de língua de sinais no contexto educacional inclusivo é tema de constantes embates teóricos acerca da concepção de seu ‘papel’. Desse modo, verificam-se prescrições que delimitam suas práticas e atribuições pela caracterização de uma pretensa ‘identidade’ profissional. Na contramão disso, esse estudo tenciona um adensamento analítico acerca daquilo que é produzido na atividade interpretativo-pedagógica do intérprete educacional, fora do âmbito da ‘identidade profissional’, mas no âmbito das efetivas ações produzidas pela posição e contextos (...) de ensino, assumidos na prática cotidiana. Assim, entende-se que essa função interpretativa se constitui na lógica da ‘diferença’, pela ativação relacional e pedagógica com o sujeito surdo no contexto escolar. A tese empreendida é a de que a função pedagógica do intérprete educacional é estabelecida como efeito do ato educativo. Nosso foco se dará na análise do aprender surdo e sua co-construção de conhecimento, produzidos com e pelos signos emitidos pelo intérprete educacional como efeito do acontecimento educativo. Portanto, cabe neste artigo, analisar o movimento conceitual da posição-mestre a partir dos estudos da hermenêutica do sujeito, em Michel Foucault, sendo ela articuladora da função interpretativo-pedagógica do intérprete educacional que se materializa no e pelo contexto de ensino. Palavras-chave: Intérprete educacional; Libras; Posição-mestre. The role of the educational interpreter and deaf learning: an analysis of the master position in the educational relationship in an inclusive classroom Abstract: Sign language translators and interpreter’s part within inclusive education constantly rises theoretical debates about the conception of their 'role'. Thus, we commonly see prescriptions that delimit their practices and attributions by characterizing a supposed professional "identity". Nevertheless, this study aims to analyze what is produced in the interpretive-pedagogical activity of the educational interpreter, beyond the scope of 'professional identity', and within the effective actions produced by the position and context assumed on a daily basis. Thus, we understand that this interpretative function is constituted in the logic of 'difference', by relational and pedagogical activation with the deaf subject in the school context. The thesis undertaken is that the pedagogical function of the educational interpreter is established as an effect of the educational act. We focus on the analysis of deaf learning and its co-construction of knowledge, produced with and by the signs emitted by the educational interpreter as an effect of the educational event. Therefore, this article analyzes the conceptual movement of the master position from the studies of the hermeneutics of the subject, in Michel Foucault, assuming it as an articulator of the interpretative-pedagogical function of the educational interpreter that materializes in and through the teaching context. Keywords: Educational interpreter; Libras; Master position. El papel del intérprete educativo y el aprendizaje de los sordos: un análisis de la posición del maestro en la relación educativa en un aula inclusiva Resumen: El papel de los traductores e intérpretes de lengua de señas en la educación inclusiva suscita constantemente debates teóricos sobre la concepción de su "papel". Es habitual ver prescripciones que delimitan sus prácticas y atribuciones caracterizando una supuesta "identidad" profesional. Sin embargo, este estudio pretende analizar lo que se produce en la actividad interpretativa-pedagógica del intérprete educativo, más allá del ámbito de la "identidad profesional", y dentro de las acciones efectivas producidas por la posición y el contexto asumidos cotidianamente. Así, entendemos que esta función interpretativa se constituye en la lógica de la 'diferencia', por la activación relacional y pedagógica con el sujeto sordo en el contexto escolar. La tesis es que la función pedagógica del intérprete educativo se establece como efecto del acto educativo. Nos centramos en el análisis del aprendizaje de los sordos y su co-construcción del conocimiento, producido con y por los signos emitidos por el intérprete educativo como efecto del acto educativo. Para esto, este artículo analiza el movimiento conceptual de la posición de maestro desde los estudios de la hermenéutica del sujeto, en Michel Foucault, asumiéndola como articuladora de la función interpretativa-pedagógica del intérprete educativo que se materializa en y a través del contexto docente. Palabras clave: Intérprete educativo; Libras; Puesto de maestro. Data de registro: 06/07/2022 Data de aceite: 26/10/2022. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the (...) philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render (...) certain norms, but not others, legally valid. Hence it also follows that there can be two types of disagreement over the truth or falsehood of propositions about the law. People can disagree over the question ‘What are the conditions of legal validity?’, in which case their disagreement is a theoretical one. Or they can agree on the conditions of validity, and disagree as to whether or not those conditions actually obtain in a given case or not.” Argues that the best way to interpret Dworkin’s ‘semantic-sting argument’ is as a general argument against conventionalism in legal positivism. Summarizes the outcome of Dworkin’s argument as follows: “[I]f Dworkin is right about the legal reasoning of lawyers and judges, conventionalism would be self-defeating: if lawyers and judges recognize as legally binding not only those norms which are uncontroversially identifiable under the Rule of Recognition, that is, if what they recognize as binding is not only source-based law, then conventionalism turns out to be false on its own terms. In other words, either law is not what lawyers and judges think that it is, in which case law is not a matter of conventions, or – if it is what lawyers and judges think – conventionalism is false, as they do not see the law as purely a matter of conventions.” Dworkin’s theory, then, is a new conception of jurisprudence aiming to present itself as a rival to conventionalism. The book will be concerned with re-examining positivism in light of the interpretative challenge. Chapter 2: Meaning and Interpretation “[R]oughly, interpretation can be defined as an understanding or explanation of the meaning of an object.” Interpretation in this narrow sense is distinct from a less formal and broader use of interpretation that makes it equivalent to explanation. “Hence also, only those objects which are capable of bearing some meaning qualify as objects of interpretation.” [Why shouldn’t we think of interpretation as object-identification? This seems to be closer to what Dworkin has in mind.] Thus, a consideration of the philosophical work on meaning is appropriate. First, a consideration of Davidson on interpretation. The thesis is that Davidson’s “radical interpretation” can only account for sentence meaning and not for linguistic interpretation in general. Davidson cannot account for the non-rule-governed aspects of communication. “Semantics, as opposed to interpretation, concerns those aspects of communication which are rule or convention governed…but such rules are normally unavailable as reasons or justifications for an interpretation. On the contrary, interpretation is usually required because the issue is not determined by rules or conventions.” Interpretation, rather, is parasitic with understanding the meaning of an expression and not equivalent with it. As Dummett notes, any reflection on the meanings of words assumes prior knowledge of ordinary meanings. “This leads to the conclusion that understanding or explaining the meaning of an expression and interpreting it, are two conceptually separate things. It also indicates that seman ics can only be employed, if at all, to elucidate the concept of interpretation by way of contrast: interpretation concerns those aspects of communication which are under-determined by semantic rules or conventions.” Pragmatics, the study of problems posed by discrepancies between utterer’s meaning and sentence meaning, would seem to be closer to inquiry into interpretation. Both are concerned with understanding how meaning is possible where conventional rules leave off. Contemporary pragmatics, moreover, recognizes the logically indeterminate character of communicative inferences beyond conventional meaning and that the contextual conditions that account for the possibility cannot be realized in the semantic structure of the sentence. However, different criteria of success may be at work in pragmatics than interpretation. Pragmatics is concerned with how communication is achieved and thus the criteria of success would be grasping a speaker’s intentions. Many think, however, that communication is unimportant in certain spheres of communication, e.g. artistic interpretation, and that in these cases the aim of interpretation is not to uncover the actual artist’s intentions. What kind of meaning is interpretation aimed at then? It cannot be the meaning the object has for the interpreter. “Interpretation purports to be a statement about the object interpreted, not about the subject who offers the interpretation…it is crucial to remember that not everything we say about a work of art, or any other text, amounts to an interpretation of it. Only those aspects of a text which can shed light on its meaning form part of the text’s interpretation. What the text means for someone rarely entails anything about what the text means.” [This is puzzling to some extent for it remains somewhat ambiguous what it means to talk of subject-independent meaning.] Interpretive meaning attribution is, rather, counterfactual. “In general, I will suggest that the answer to this question consists in the fact that meaning is assigned by a counterfactual statement. Given that x is the meaning attributed to, for instance a text T, and x is not the literal meaning of T, nor is it the meaning of T intended by its author, then the attribution of meaning x to T can only be understood as the contention that on the basis of certain assumptions a certain fictitious or stipulated speaker would have meant x by expressing T.” Thus, on this account, interpretation, when it does not concern an actual speaker, turns out to be a kind of counterfactual intention attribution. Twofold point: “First, that interpretation is essentially a matter of attributing intentions, that is, in the pragmatics sense of ‘meaning’, namely, meaning that such-and-such by an act or expression. At the same time, interpretations need not be based on the intentions of actual authors; the meaning of an act or expression is understandable in terms of counterfactual intentions.” [Are we really restricted to understanding the coherence and integrity of meaning in such a way? Presumably the author is a kind of device for organizing meaning, much like Dworkin’s integrity, but need it take that format?] The logic of interpretation is typically reducible to intention attribution. [What role does the counterfactual author play in structuring meaning?] The criteria of interpretive success will depend upon the object, whether it is the real author or the counterfactual author. If the former, success will depend upon the retrieval of the author’s actual intentions. “Likewise, if the author is characterized in terms of some ideal representative of a certain genre, for instance, the presumptions which are taken to determine this c aracterization would provide the criteria of success for the particular interpretation offered.” [The criteria of success would seem, then, to be the principles, ideals, etc. that we attribute to the counterfactual author. These attributed qualities would be doing all the work – is the attribution of intention to the hypothetical author, then, really necessary at all?] [Does this account presuppose a weird dichotomy between what an object is and what it means? This dichotomy is different, if present at all, in Dworkin.] Chapter 3: Dworkin’s Theory of Interpretation and the Nature of Jurisprudence Three main insights of Dworkin’s theory of interpretation: “First, that interpretation strives to present its object in its best possible light. Second, that interpretation is essentially genre-dependent. And third, that there are certain constraints that determine the limits of possible interpretations of a given object.” Why the best light? Dworkin doesn’t really address this question in depth but claims that otherwise we are left with no way of justifying and choosing an interpretation or we are left with the author’s intention model, which we should reject. [Marmor doesn’t seem clear on what precisely it means to present something in its best light – seems to conflate it with most appealing light which, I take it, is different than what Dworkin has in mind.] “Dworkin is quite right to maintain that without having some views about the values inherent in the genre to which the text is taken to belong, no interpretation can take off the ground. The values we associate with the genre partly, but crucially, determine what would make sense to say about the text, what are the kinds of meaning we could ascribe to it.” There is no necessity for an interpretation to present an object in its best light with regards to the genre it is taken to be part of. Interpretations “could simply strive to present it in a certain light, perhaps better than some, worse than others, but in a way which highlights an aspect of the meaning of the text which may be worth paying attention to for some reason or another.” [What kind of reasons would count in choosing to present it in one light rather than another?] There is simply zero grounds for Dworkin’s assertion that we have no reason to pay attention to an interpretation that does not present it in its best light. Take a psychoanalytic interpretation of Hamlet, for example – not the best light, but a legitimate one. [This seems related to the next criticism – clearly Dworkin would have to loosen his insistence on the best, though not to detriment.] Moreover, especially with regards to art, it doesn’t appear possible to make an all things considered judgment about the best interpretation given the incommensurability of different values that are taken to inhere in a given genre. [Dworkin can respond here that we may have different available interpretations that could be justified with respect to the relevant value. Moreover, a lack of common denominator does not prevent any comparison whatsoever.] Constructive interpretation concerns social practices constituted by norms – it imposes a purpose or value rendering intelligible the normative character of the practice. There is a separate aspect of constructive interpretation that maintains that elements of the practice are sensitive to the point of the practice. It is important to note that different social practices will institutionalize themselves in different ways – thus, different practices will establish varying conditions on how the practice can be altered. The position of the positivists is that evaluative judgments concerning what the law should be are insufficient for determining what the law is given the nature of law’s institutionalization.&nb p; [This would seem to reside on a certain conception of law, i.e. an interpretation about where the value of law lies.] “[T]his being one of the main points of dispute between Dworkin and his positivist opponents, Dworkin cannot at this initial state presume law to be sensitive to its value in the manner that other, non-institutional practices might be, without incurring the charge of having assumed the very point at issue.” The upshot for Dworkin is that any explanation of a social practice such as law requires the same kind of reasoning as participation in that practice. This will be called the hermeneutic thesis. We can try to reconstruct a justification for this view based on the necessity of shared background assumptions – but this will not do since Dworkin’s claim is stronger: it contends that participants’ and theorists’ must “adopt one and the same normative point of view.” [The sense of normative here is unclear. It is true, though, that shared background assumptions do not imply viewing the law as valuable in any particular way, or at least it does not imply this in any strong sense.] Dworkin makes two distinct points with the hermeneutic thesis: “First, that the explanation of a social practice, like law or the arts, is essentially interpretative, and as such, necessarily value laden. Second, that the interpretation of such social practices, which Dworkin calls ‘argumentative’, is unique in the sense that the practice itself is an evaluative enterprise, and that therefore the interpreter of such a practice must form an evaluative judgment of her own about those values which are inherent in the practice that she purports to interpret.” [As stated, the first thesis is terribly ambiguous – for Dworkin, it clear implies a commitment to constructive interpretation. For Marmor, who accepts it, it is totally unclear what commitment he intends to make. He seems to mean simply that we have criteria for success concerning what counts as a successful explanation.] Mamor denies the second thesis. “What Dworkin seems to ignore here is that there is a crucial difference between forming a view about the values which are manifest in a social practice, like law, and actually having evaluative judgments about them.” [The problem, however, it that it is a contentious matter what values are part of the law – a theorist’s account of what values are constitutive of a particular legal system must rely on the kind of arguments which participants rely on. Of course, a theorist might simply note a debate about values and attempt to remain agnostic, but this will fail to be a full theoretical account of what law is!] Dworkin’s thesis seems to depend exclusively on his account of constructive interpretation. [This seems exactly right.] Chapter 4: Coherence, Holism, and Interpretation: The Epistemic Foundation of Dworkin’s Legal Theory Begins with discussion of Rawls’ reflective equilibrium. Sums up dual criticism as follows: “[T]he assumption that intuitions are independently true and the converse one, that their truth depends on fitting a coherent scheme, both seem to yield paradoxical results.” Dworkin, in his article “The Original Position”, claims that Rawls cannot commit himself to ethical realism. “[T]he natural model presupposes some form of ethical realism, while the constructive model does not. One important difficulty arising from an attempt to apply the natural model to Rawls is, that under the natural model, any theory which dopes not account for an intuition, at least for one which is held firmly, cannot be wholly satisfactory, just as scientific theory which does not account for certain observational data it is supposed to cover, would not be satisfactory in a familiar way.” Rawls, rather, is committed to a constructivist view of morality. Moreover, the reason we value coherence epistemically in moral theory is that it itself is a value of political morality – fairness requires consistency and publicity in the application of moral standards. Marmor notes the following problem with such a view: “[I]f coherence is justified, as it is here, with reference to certain moral values, that is, a specific conception of fairness, then we face the following problem: the presupposed values of fairness must themselves be based upon intuitive convictions, in which case the question of their truth cannot be ignored. If they are taken to be true…we are driven back to the perplexities of the natural model.” Discusses, helpfully, the Fish/Dworkin debate. The upshot is that Dworkin’s interpretive model is best off if it commits itself to a Quineian holism. However, this undermines his distinction between internal and external skepticism since holism must deny that moral judgments constitute a closed system. [This analysis seems exactly right.] Endorses Simmonds view that Dworkin’s theory does not meet the requirements of complexity he identifies as necessary to avoid vicious circularity in interpretive judgments of fit and identity. Coherence is doing the work through and through and therefore the interpretive theory of law is circular. [Will require further investigation, though it is unclear how coherence is doing any work in the pre-interpretive stage. At this stage, the judgments, if interpretive, seem to be derived from different sources. In any case, using coherence as a value seems to be highly suspect.] Why doesn’t Dworkin just reject Fish’s assumptions: because of his jurisprudence. “If legal texts can have a meaning that is not entirely dependent on a process of interpretation, then it is at least sometimes the case that the law can simply be understood, and applied, without the mediation of interpretation. And if that is the case, then the argument from interpretation against legal positivism collapses. It is no longer the case that every conclusion about what the law is, depends on evaluative considerations about what it ought to be.” Chapter 5: Semantics, Realism, and Natural Law Assessment of Michael Moore’s legal realism and its implications. [The final criticisms of Moore are not decisive.] Chapter 6: Constructive Identification and Razian Authority A consideration of Dworkin’s denial that the communication model of interpretation is appropriate for legal interpretation. Marmor argues that intentions do play a crucial role in the identification of legal norms in a way that is incompatible with Dworkin’s “coherence thesis”. Marmor takes Dworkin to be committed to the constructive identification thesis: that the identification of something as part of the legal, artistic, etc. genre can be done sufficiently by evaluative considerations. “Here, one must maintain that evaluative considerations are sufficient to determine whether something is a legal norm or a work of art”. [Fit, however, constrains possible evaluative considerations – thus evaluative considerations are not sufficient in themselves.] “Now the crucial point here is this: if you maintain the possibility of constructive identification in art, you must assume that works of art can be identified as such on the basis of certain features they happen to possess, features which contain no reference to any particular intention to create a work of art…unless we take intentions into account, how can we discriminate between the concept of an aesthetic artifact and the con ept of a work of art?” [It is unclear, and I think false, that constructive interpretation of anything requires identifying something irrespective of an artificers intentions. Those intentions may be relevant, dependent upon the genre under which we are trying to classify the object. Nothing, seemingly, about constructive interpretation in general excludes this possibility.] Marmor’s point is that it turns out to be impossible to identify art as art without reference to an artist’s intentions – especially given the state of contemporary art. [It is notable that Marmor’s response to counterexample implicitly depends upon a fully developed theory of aesthetics. His cursory comments on the matter of identifying art seem insufficient to say the least.] The rest of the chapter considers the incompatibility of Raz’s account of authority with constructive interpretation. The incompatibilities mentioned do not move beyond what Raz identifies in his article “Authority, Law and Morality”, but a defense of this notion of authority is defended in several [inconclusive] respects. [Raz and Marmor want to separate identification from content. This is not clearly a defensible separation.] Chapter 7: No Easy Cases? Chapter defends notion that there is a distinction between easy and hard cases in the positivist sense. Takes a Hartian approach and ultimately defends the distinction by associating it Wittgenstein’s conception of rule following. The point is that one need to look the purpose of rule in order to understand what the rule requires. Chapter 8: Legislative Intent and the Authority of Law Examines the following doctrine concerning the role of legislative intent in adjudication: “[F]irst, it would hold that laws, at least in certain cases, are enacted with relatively specific intentions, and that this is a matter of fact which is discernible through an ordinary fact-finding procedure. Second, that in certain cases the presence of such a fact, namely, that the law was enacted with a certain intention, provides judges with a reason to decide the legal dispute in accordance with the relevant legislative intent.” [It is important that for Marmor, interpretive strategies are only appropriate in hard cases. However, we should wonder what grounds positivism can offer for deciding a hard case in any manner which is not the morally best manner according to the judgment of the judge. There are no legal grounds, by definition, in hard cases and so what justificatory strategy would endorse any judicial decision except for the morally best one?] We can ascribe intentions to a legislative body, when this is possible at all, by taking the shared intentions of the majority, rather than some group intention, to be the significant intentions. Moreover, we should expect a good deal of consensus about intentions for otherwise it is hard to explain how legislative bodies are able to produce so much legislation. Discussion of kinds of intentions concludes as follows: “I have distinguished between three main types of intention that are potentially relevant from the legal point of view. Apart from the intentions that are manifest in the language of the law itself, legislators typically have further intentions in enacting a given law, and sometimes they would have certain intentions bearing on its proper application. I have also suggested that some of these further intentions may be essentially non-avowable, in which case they are rendered initially irrelevant. Finally, I have pointed out that considerations of consistency require that the legislator’s application intentions be taken into account only if, and to the extent that, they are in accord with his further intentions.” The manner in which intentionalism is to be justif ed relies on the distinction, Marmor maintains, between expert and mere collective action authority. “The point I wanted to make is strictly conditional: if, and only if, a certain law is justified on the basis of the expertise branch of the normal justification thesis, would it make sense to defer to the legislature’s intentions in the interpretation of the law, that is, to the extent that there is, in fact,; such an intention and it can clarify something that needs clarification.” Insofar as a legislature can be considered an expert on the matter requiring adjudication and interpretation should the body’s intention be taken into account. Chapter 9: Constitutional Interpretation Begins by laying out general necessary features of a constitution. Then Marmor moves on to consider general questions of constitutional legitimacy. First, he considers what grounds might be offered for the legitimacy of a constitution at all. He notes that the central question is what permits a single generation to bind future generations. He then examines four arguments to avoid this problem. The first is based on the moral legitimacy of the constitution; Marmor rejects this solution for the [truly dubious] reason that the constitution would make no practical difference because it would not supply reasons in addition to those provided by morality [but, presumably, the point is that these legally valid rules would be institutionally enshrined]. The second is based on the moral authority of the framers and Marmor rightly rejects this on the basis of the idealization of the framers it requires and less rightly on the basis that there cannot be moral authorities. Third is the “argument from interpretation” which claims that “as long as the particular content of the constitution is determined by its interpretation, and the authoritative interpretation at any time correctly instantiates the values which ought to be upheld in the community, the constitution would be morally legitimate”. The fourth is Raz’s which argues that a constitution is valid so long as its constraints are morally permissible because conventions of this type might aid the continuity of the legal system, i.e. it is important to have a convention of this type and the constitution is a kind of this type. Marmor appears to endorse these two approaches and concludes: “The conditions for the legitimacy of a constitution must comprise the following conditions. First, the values and principles enshrined in it must be morally permissible…Second, when certain choices are made in particular cases, they would be legitimate if they are either morally underdetermined, or else, morally correct…It follows from this that both arguments must assume that at least in those areas in which the constitution would make a moral difference, it can be interpreted to make the difference that it should, that is, according to the true moral principles that should apply to the particular case...the moral legitimacy of constitutions very much dependent on the practices of their interpretation. In other words, a great deal of the burden of moral legitimacy is shifted by these arguments to the application of the constitution, thus assuming that the constitution is legitimate only if the courts are likely to apply the constitution in a morally desirable way.” [This implies that the only significant value constitutions have is in providing a conventional practice where some such practice is required.] Moves on to argue that courts typically rely, and rightly so, on moral considerations when deciding constitutional issues because typically, in cases of the kind that reach the supreme or constitutional court, there is no law on the case. Much of this relies on his earlier discussion about the nature of interpretation in the law – that legal interpretation is always a matter of cha ging the law. (shrink)

For a decade, we have admired the incisive and broadly informed works of Ladislav Tondl on the foundations of science. Now it is indeed a pleasure to include this book among the Boston Studies in the Philosophy of Science. We hope that it will help to deepen the collaborative scholar ship of scientists and philosophers in Czechoslovakia with the English reading scholars of the world. Professor Ladislav Tondl was born in 1924, and completed his higher education at the Charles University (...) iIi Prague. His doctorate was granted by the Institute of Information Theory and Automation. He was a professor and scientific research worker at the Institute for the Theory and Methodology of Science, which was a component part of the Czechoslovak Academy of Sciences. Tondl's principal fields of interest are the methodology of the empirical and experimental sciences, logical semantics, and cybernetics. For many years, he collaborated with Professor Albert Perez and others at the Institute of Information Theory and Automation in Prague, and he has undertaken fruitful collaboration with logicians in the Soviet and Polish schools, and been influenced by the Finnish logicians as well, among them Jaakko Hintikka. We list below a selection of his main publications. Perhaps the most accessible in presenting his central conception of the relationship between modem information theory and the methodology of the sciences is his 1965 paper with Perez, 'On the Role of Information Theory in Certain Scientific Procedures'. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or (...) that the mathematical component need not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

One way to show that text interpretation can be treated as a scientific problem is to show that the standards that are currently used in the natural sciences when dealing with problems not involving meaningful material can also be successfully employed in the case of text interpretation. These standards involve intersubjective intelligibility, testability with the use of evidence, rational argumentation, and making methodological decisions aiming at the attainment of truth, accuracy, simplicity and other epistemic values. In the (...) case of text interpretation—despite the fact that we deal with meaningful material—hypotheses can be formulated, consequences can be drawn by deduction, and these can be tested against empirical data. This claim is substantiated by the provision of an example of a scientific text. (shrink)

As shown through an inventory of the procedures used in diverse forms of qualitative content analysis projects, the logic of qualitative procedures is in most cases not standardized. Often researchers pay little or no attention to the procedures which they apply. This contribution presents and discusses a procedure for interpretive content analysis which was applied in an empirical study into trans-border news coverage in the Dutch-German Euregion Rhine-Waal. First, we will describe the study on the portrayal of the Dutch and (...) German people as well as their respective countries, The Netherlands and Germany, in the four main regional newspapers of this region. Secondly, basic principles of qualitative methodology are discussed and, thirdly, the procedure of the applied method based on these principles is presented and illustrated by means of exemplary material. Finally, after a brief presentation of some empirical results, the applied procedure of interpretive content analysis is discussed. (shrink)

In 1954 Hempel wrote “Once the idea of a partial specification of meaning is granted, it appears unnecessarily restrictive, however, to limit the sentences effecting such partial interpretation to reduction sentences in Carnap's sense. … Generally, then, a set of one or more theoretical terms, t1, t2 ⃛, tn, might be introduced by any set M of sentences such that M contains no extralogical terms other than t1, t2 ⃛, tn, and observation terms, M is logically consistent, and M (...) is not equivalent to a truth of formal logic. The last two of these conditions serve merely to exclude trivial extreme cases. A set M of this kind will be referred to briefly as an interpretative system, its elements as interpretative sentences.” This is the last move in a process in which the idea of definition has been widened beyond the explicit or equivalence definition which was the basis of earlier thought on the subject of introducing new words into a language. It would seem that the scheme proposed by Hempel must represent the final move, for it would seem difficult to conceive any more liberal description of a purely direct and verbal scheme. Among the predecessors of Hempel in this liberalising movement I will mention Ramsey and Braithwaite whose views stem ultimately from Campbell, and are based on the idea that the “interpretative system” is essentially a scientific theory, and Carnap who introduced the particular notion of a “reduction sentence”, and who was more directly the source of Hempel's own ideas. (shrink)

Discusses alternative interpretations of the modal operators, for the modal propositional logic S5.

Tadeusz Kotarbiski is widely recognized as a major philosopher of theLvov–Warsaw school. His reism, which is a contribution to semantics andontology, is still discussed and debated, and his most original creation, praxiology,has grown into an entire research field. However, Kotarbiski's philosophy ofscience has not received much attention by later commentators. This paper attemptsto correct this situation by considering the hypothesis that Kotarbiski succeededalready in 1929 in formulating a position that can be regarded as an early version ofscientific realism. Unlike (...) most other ``scientific philosophers'' before the mid-thirties,he was able to combine ontological realism (by defending a form of physicalism andnominalism) and semantical realism (by defending the classical correspondence theoryof truth). He was also a critical epistemological realist. Further, in spite of theinstrumentalist flavour of his reductionist programme in eliminating terms apparentlyreferring to abstract entities, Kotarbiski accepted theories as statements with truth values and theoretical entities as long as they can be understood as physical bodies. (shrink)

Interpretation is commonly used in mathematical logic to compare different theories and identify cases where two theories are for almost all intents and purposes the same. Similar techniques are used in the comparison between alternative logics although the links between these approaches are not transparent. This paper generalizes theoretical comparison techniques to the case of logical comparison using an extremely general approach to semantics that provides a very generous playing field upon which to make our comparisons. In particular, (...) we aim to develop the useful idea that interpretations should determine inner models. (shrink)

The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences. Inspired, in part, by issues in these different ‘application’ areas, in this paper I propose an epistemic logic T for metadata extracted from scientific papers on COVID-19. More in details, I introduce a structure S to syntactically and semantically modelling metadata extracted with systems for extracting structured metadata from (...) scientific articles in a born-digital form. These systems will be considered, in the logical model created, as ‘Metadata extraction agents’. In this case MEA taken into consideration are CERMINE and TeamBeam. In an increasingly data-driven world, modelling data or metadata means to help systematise existing information and support the research community in building solutions to the COVID-19 pandemic. (shrink)

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant (...) logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political (...) motivations for adopting that position. (shrink)

All types of logic started with Aristotle and have been corrected as a traditional, formal, conditional, classical logic and even modern logic carry the main problems of Aristotelian logic. Despite their important differences, because of these core commonalities they are all called Classical Logic. The fundamental limitations of classical logic make it impossible to advance the knowledge necessary to solve growing human problems. All human knowledge, especially scientific knowledge is based on the logical principles that seem to hinder (...) the knowledge of reality rather than facilitate it; although in the beginning, this logic has helped mankind in acquiring knowledge. Fuzzy logic has been successful as an effective solution in science and in practice, but it lacks the necessary philosophical foundations so it has faced with several major problems and on important paradox in theorizing. First, the main challenges in classical logic are diseased in this article, then it is explained how to solve the problems and most important paradox to apply the fuzzy logic for scientific discoveries in a new approach. Finally, the new paradigm of Fuzziological Epistemology (fuzzy based epistemology) has been proposed in term of Dynamic Fuzzy Puzzle Theory. (shrink)

A spatial modal logic is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut-elimination theorem for a modified subsystem of SML are also presented.

In this essay, I shall show that the so-called inferential (Suárez 2003 and 2004 ) and interpretational (Contessa 2007 ) accounts of scientific representation are respectively unsatisfactory and too weak to account for scientific representation ( pars destruens ). Along the way, I shall also argue that the pragmatic similarity (Giere 2004 and Giere 2010 ) and the partial isomorphism (da Costa and French 2003 and French 2003 ) accounts are unable to single out scientific representation. In (...) the pars construens I spell out a limiting case account which has explanatory surplus vis à vis the approaches which I have previously reviewed. My account offers an adequate treatment of scientific representation, or so I shall try to argue. Central to my account is the notion of a pragmatic limiting case, which will be characterized in due course. (shrink)

Interpreted Logical Forms are objects composed of a syntactic structure annotated with the semantic values of each node of the structure. We criticize the view that ILFs are the objects of propositional attitude verbs such as believe, as this is developed by Larson and Ludlow. Our critique arises from a tension in the way that sen-.

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought to bear on theories of contemporary physics. Then I identify a class of examples of dualities that lead to empirical under-determination. But I argue that the resulting under-determination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition (...) for the anti-realist. The paper also shows how the number of possible interpretative options about dualities that have been considered in the literature can be reduced, and suggests a general approach to scientific realism that one may take dualities to favour. (shrink)

Descartes' conception of facultive inference is of a simple, primitive, unanalyzable, unmediated, unjustifiable "mental operation by which one grasps connections between one's ideas," in contrast to Aristotle's discursive inference consisting in "spelling out and analyzing its steps". Gaukroger shows why Descartes takes Aristotelian syllogistic to be merely presentative of material already known, and thus takes deduction to be only a way of ordering and displaying this knowledge. For Descartes, only synthesis leads to new knowledge. Thus it is a mistake to (...) give an "apriorist and deductivist interpretation of Descartes's method... whereby all scientific knowledge is... deduced from the cogito". One "problem with a purely deductive approach... is... that... first principles take us to every possible world". To settle which account is of the actual world, we must resort to experiment. Also leading to a nondeductive method in science is Descartes' doctrine of God's creation of truths which means that "human knowledge can no longer be modeled in any way on divine knowledge". Descartes' three-part problem-solving method, then, is to pose the problem in quantitative terms, test the solutions experimentally, and incorporate the solution into his system of natural philosophy. (shrink)

In this paper I propose a version of interrogative logic as a form of representation of the underlying logic of scientific practices—a kind of model-based reasoning, since it takes into account an oracle or model that can be consulted—by means of modified tableaux that can represent a game with two types of moves: logical steps and queries, governed by (modified) tales and a query rule, respectively. In this way, the process of acquiring knowledge is analogous to the justification (...) of a thesis through the method of modified tableaux. (shrink)

In this reply to the article by A.M. Dorozhkin and S.V. Shibarshina, the question of the creative nature of the randomization technique is considered, which is understood as a rejection of logically obvious ways to solve scientific problems, and involves the inclusion of an element of randomness, or uncertainty, in the scientific search procedure. Some doubt is expressed about the consequences of introducing the technique of epistemological randomization into the tactics of solving scientific problems. The author of (...) the article emphasizes the fact that an attempt to solve scientific problems by an inclusion of other, non-scientific elements in the area of science may be a case of randomization. The author determines the areas which are subject to an uncertainty factor. Art and culture are regarded as such non-science areas. However, the appeal to uncertainty is an indication of a fundamental inability to describe in quantitative terms the origin of creativity. This position can be characterized as “misterianism” in the interpretation of creativity, by analogy with misterianism in the understanding of consciousness by K. McGinn. In this case, the randomization technique is nothing more than one of the possible conditions for creativity, which cannot guarantee the appearance of an original result. (shrink)

A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.

In this paper I argue for a place for logic inscientific methodology, at the same level asthat of computational and historicalapproaches. While it is well known that a awhole generation of philosophers dismissedLogical Positivism (not just for the logicthough), there are at least two reasons toreconsider logical approaches in the philosophyof science. On the one hand, the presentsituation in logical research has gone farbeyond the formal developments that deductivelogic reached last century, and new researchincludes the formalization of several (...) othertypes of reasoning, like induction andabduction. On the other hand, we call for abalanced Philosophy of Science, one inwhich both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one. (shrink)

The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this logic, inexactness is controlled and minimized by means of uniquely designed deductions. We show how the notion of equality is handled within this logic and we apply it to certain principles and interpretations of quantum theory.

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic (...) operator; in Frege's first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

Diagrams can serve as representational models in scientific research, yet important questions remain about how they do so. I address some of these questions with a historical case study, in which diagrams were modified extensively in order to elaborate an early hypothesis of protein synthesis. The diagrams’ modelling role relied mainly on two features: diagrams were modified according to syntactic rules, which temporarily replaced physico-chemical reasoning, and diagram-to-target inferences were based on semantic interpretations. I then explore the lessons for (...) the relative roles of syntax, semantics, external marks, and mental images, for justifying diagram-to-target inferences, and for the “artefactual approach” to scientific models. (shrink)

This chapter focuses on modern commentators close to or from the Kyoto school. According to Müller, there have been two approaches within the so-called Kyoto school regarding Dōgen's work. Initially, there were philosophically ambitious interpretations, such as those by Watsuji Tetsurō and Tanabe Hajime. They were ambitious insofar as they attempted to bridge the gap between philosophy and religion. However, from the 1940s onwards, these seminal works tended to recede into the background since they were criticised for assimilating (...) a medieval monk into modern secular thought. Müller discusses the second approach that was put forward by thinkers such as Nishida Kitarō (1870-1945), Nishitani Keiji (1900-1990) and Ueda Shizuteru (1926-2019). They furthered the questioning of religion and philosophy by developing a specific style of reading Dōgen. (shrink)

A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.

Scientific realism is the view that the theoretical entities of science exist. Atoms, forces, electromagnetic fields, and so on, are not merely instruments for organizing observational data but are real and causally effective. This view seems to be hardly compatible with the logical empiricist agenda: As common wisdom has it, logical empiricism is mainly characterized by a strong verification criterion of meaning, i.e., by the project of defining the meaning of theoretical terms by virtue of the meaning (...) of purely observational terms. However, it has been largely ignored by the historians of logical empiricism that there indeed existed a realist faction within the logical empiricist movement. (shrink)

In recent years the problem of scientific prediction has attracted a constantly increasing number of researchers. The fact that a number of philosophers, logicians, and representatives of concrete disciplines have turned to investigating the nature of scientific prediction is first of all because of the needs of the development of scientific knowledge itself, as well as of industry. The rapid progress of the natural and the social sciences puts in the foreground the task of studying the internal (...) regularities of the process of acquisition of knowledge, the techniques and methods of research, and in particular, so very important a function of science as prediction. (shrink)

The article presents several adaptive fuzzy hedge logics. These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically, strictly speaking or loosely speaking, or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information concerning the meaning (...) of potentially hedged predicates (stored in the memory of the interpreter in question). The proof theory of the logics is non-monotonic in order to enable the logics to deal with possible non-monotonic interpretation dynamics (this is illustrated by means of several concrete proofs). All the adaptive fuzzy hedge logics are also sound and strongly complete with respect to their [0,1]-semantics. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence (...) of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping. (shrink)

A free eBook introduction to the philosophy of science, based on a course taught by Dr Bryan W. Roberts, Assistant Professor of Philosophy, Logic & Scientific Method at the London School of Economics.