Results for 'translations between logics'

966 found
Order:
  1. Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Triviality Results and the Relationship between Logical and Natural Languages.Justin Khoo & Matthew Mandelkern - 2019 - Mind 128 (510):485-526.
    Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  3. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Sound Reasoning : Prospects and Challenges of Current Acoustic Logics.Marc Champagne - 2015 - Logica Universalis 9 (3):331-343.
    Building on the notational principles of C. S. Peirce’s graphical logic, Pietarinen has tried to develop a propositional logic unfolding in the medium of sound. Apart from its intrinsic interest, this project serves as a concrete test of logic’s range. However, I argue that Pietarinen’s inaugural proposal, while promising, has an important shortcoming, since it cannot portray double-negation without thereby portraying a contradiction.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. The universality of logic: On the connection between rationality and logical ability.Simon J. Evnine - 2001 - Mind 110 (438):335-367.
    I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2022 - Review of Symbolic Logic 15 (2):505-536.
    We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  8. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Translating non Interpretable Theories.Alfredo Roque Freire - forthcoming - South America Journal of Logic.
    Interpretations are generally regarded as the formal representation of the concept of translation.We do not subscribe to this view. A translation method must indeed establish relative consistency or have some uniformity. These are requirements of a translation. Yet, one can both be more strict or more flexible than interpretations are. In this article, we will define a general scheme translation. It should incorporate interpretations but also be compatible with more flexible methods. By doing so, we want to account for methods (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Quasi-concepts of logic.Fabien Schang - 2020 - In Alexandre Costa-Leite (ed.), Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza. London: College Publications. pp. 245-266.
    A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then quasi-truth [5] is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Deontic logic as a study of conditions of rationality in norm-related activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. The Myth of Logical Behaviourism and the Origins of the Identity Theory.Sean Crawford - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford, England: Oxford University Press.
    The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  14. Logics for Belief as Maximally Plausible Possibility.Giacomo Bonanno - 2020 - Studia Logica 108 (5):1019-1061.
    We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction properties (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
    Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Review of Striker translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. On the Logical Positivists' Philosophy of Psychology: Laying a Legend to Rest.Sean Crawford - 2014 - In Thomas Uebel (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 711-726.
    The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Redução Plena do Deôntico ao Ôntico.Diogo Lindner - 2008 - Dissertation, Universidade Federal de Santa Maria
    A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seusresultados quanto à construção de um sistema de lógica deôntica que capture conceitos eprincípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma apresentação em linhas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. REVIEW OF 1988. Saccheri, G. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), in Mathematical Reviews MR0862448. 88j:01013.John Corcoran - 1988 - MATHEMATICAL REVIEWS 88 (J):88j:01013.
    Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Schleiermacher’s Icoses: Social Ecologies of the Different Methods of Translating.Douglas Robinson - 2013 - Zeta Books.
    Schleiermacher’s Icoses is the first book-length study of the 1813 Academy address “Ueber die verschiedenen Methodes des Uebersetzens”; in addition to celebrating its 200 years of influence, the book undertakes a comprehensive examination of the whole argument, from its theory of hermeneutics to its foreignizing theory of translation and all the passing “poetic” elements on which Schleiermacher’s rhetoric always so heavily relied. The “icoses” in the title are specifically an articulation of the Gefühle/feelings that lie at the heart of Schleiermacher’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Anti-Realism and Anti-Revisionism in Wittgenstein’s Philosophy of Mathematics.Anderson Nakano - 2020 - Grazer Philosophische Studien 97 (3):451-474.
    Since the publication of the Remarks on the Foundations of Mathematics, Wittgenstein’s interpreters have endeavored to reconcile his general constructivist/anti-realist attitude towards mathematics with his confessed anti-revisionary philosophy. In this article, the author revisits the issue and presents a solution. The basic idea consists in exploring the fact that the so-called “non-constructive results” could be interpreted so that they do not appear non-constructive at all. The author substantiates this solution by showing how the translation of mathematical results, given by the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Artificial Intelligence and Analytic Pragmatism / Umjetna inteligencija i analitički pragmatizam (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Robert B. Brandom - 2022 - Sophos 1 (15):201-222.
    The text "Artificial Intelligence and Analytic Pragmatism" was translated from the book by Robert B. Brand: Between Saying and Doing: Towards an Analytical Pragmatism. Chapter 3. Oxford University Press. pp. 69 - 92.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Husserl’s Concept of Motivation: The Logical Investigations and Beyond.Philip J. Walsh - 2013 - History of Philosophy & Logical Analysis 16 (1):70-83.
    Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Information and design: book symposium on Luciano Floridi’s The Logic of Information.D. Bawden, T. Gorichanaz, J. Furner, L. Robinson, M. Ma, K. Herold, B. Van der Veer Martens, L. Floridi & D. Dixon - manuscript
    Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s PI, including (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Ranking judgments in Arrow’s setting.Daniele Porello - 2010 - Synthese 173 (2):199-210.
    In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit. Ranking judgments were introduced in order to state the logical connections between the impossibility theorem of aggregating sets of judgments and Arrow’s theorem. I present a proof of the theorem concerning ranking judgments as a corollary of Arrow’s theorem, extending the translation between preferences and judgments defined in List and Pettit to the conditions on (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. From Bi-facial Truth to Bi-facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.
    In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Signs, Toy Models, and the A Priori.Lydia Patton - 2009 - Studies in History and Philosophy of Science Part A 40 (3):281-289.
    The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  29. Minimal Sartre: Diagonalization and Pure Reflection.John Bova - 2012 - Open Philosophy 1:360-379.
    These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Kreativität und Präzision. Eine Neubestimmung kreativen Denkens und Handelns.Simone Mahrenholz - 2020 - Imago 13:13-23.
    IMAGO TEXT 2020 ABSTRACTS -/- (German abstract below) The text presents a structural analysis and a logical theory of creativity. It argues that creativity emerges from the translation between two forms of precision, thus from the ubiquitous transformation between incompatible forms of thought and articulation. This transformation allows for unexpected surpluses and innovations, in conjunction with fallacies, waste and noise. Common myths and misconceptions – i.e. about creativity as a force in dire supply - are debunked, as are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Unveiling the link between logical fallacies and web persuasion.Antonio Lieto & Fabiana Vernero - 2013 - In Antonio Lieto & Fabiana Vernero (eds.), ACM Proceedings of the 5th Web Science Conference, Paris. ACM.
    In the last decade Human-Computer Interaction (HCI) has started to focus attention on forms of persuasive interaction where computer technologies have the goal of changing users behavior and attitudes according to a predefined direction. In this work, we hypothesize a strong connection between logical fallacies (forms of reasoning which are logically invalid but cognitively effective) and some common persuasion strategies adopted within web technologies. With the aim of empirically evaluating our hypothesis, we carried out a pilot study on a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Secundum Quid and the Pragmatics of Arguments. The Challenges of the Dialectical Tradition.Fabrizio Macagno - 2022 - Argumentation 36 (3):317-343.
    The phrase _secundum quid et simpliciter_ is the Latin expression translating and labelling the sophism described by Aristotle as connected with the use of some particular expression “absolutely or in a certain respect and not in its proper sense.” This paper presents an overview of the analysis of this fallacy in the history of dialectics, reconstructing the different explanations provided in the Aristotelian texts, the Latin and medieval dialectical tradition, and the modern logical approaches. The _secundum quid_ emerges as a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. (1 other version)Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Frege on the Relations between Logic and Thought.Simon Evnine - manuscript
    Frege's diatribes against psychologism have often been taken to imply that he thought that logic and thought have nothing to do with each other. I argue against this interpretation and attribute to Frege a view on which the two are tightly connected. The connection, however, derives not from logic's being founded on the empirical laws of thought but rather from thought's depending constitutively on the application to it of logic. I call this view 'psycho-logicism.'.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Modal Structuralism and Theism.Silvia Jonas - 2018 - In Fiona Ellis (ed.), New Models of Religious Understanding. Oxford: Oxford University Press.
    Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Philosophy of Science: Interfaces between Logic and Knowledge Representation.Emma Ruttkamp - 2006 - South African Journal of Philosophy 25 (4):275-289.
    In this inaugural lecture I offer, against the background of a discussion of knowledge representation and its tools, an overview of my research in the philosophy of science. I defend a relational model-theoretic realism as being the appropriate meta-stance most congruent with the model-theoretic view of science as a form of human engagement with the world. Making use of logics with preferential semantics within a model-theoretic paradigm, I give an account of science as process and product. I demonstrate the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. A Social Pragmatic View on the Concept of Normative Consistency.Berislav Žarnić - 2015 - European Journal of Analytic Philosophy 11 (2):56--78.
    The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. “Vertendo vel etiam commentando in Latinam redigam formam” (In Aristotelis peri hermeneias commentarium. Editio secunda, II, 79.23 - 80.1). Boèce ou l’art de bien traduire (en commentant) et de bien commenter (en traduisant).Leone Gazziero - 2017 - Rursus 10:1-117.
    Celebrated as the equal to the great philosophers of old, namely Plato and Aristotle, whom – as Cassiodorus put it – he taught to speak Latin better than they spoke Greek, Boethius aspired to fully emancipate Roman culture from its Greek models through translations and exegesis so faithful they would leave nothing more to be desired from the original. The essay focuses on Boethius philhellenism, without complexes insofar as it had little to do either with the mixed feelings of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. (1 other version)What the near future of artificial intelligence could be.Luciano Floridi - 2019 - Philosophy and Technology 32 (1):1-15.
    In this article, I shall argue that AI’s likely developments and possible challenges are best understood if we interpret AI not as a marriage between some biological-like intelligence and engineered artefacts, but as a divorce between agency and intelligence, that is, the ability to solve problems successfully and the necessity of being intelligent in doing so. I shall then look at five developments: (1) the growing shift from logic to statistics, (2) the progressive adaptation of the environment to (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  42. An interpretation of political argument.William Bosworth - 2020 - European Journal of Political Theory 19 (3):293-313.
    How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. The Incommensurability Thesis.Howard Sankey - 1994 - Abingdon: Taylor and Francis.
    This book presents a critical analysis of the semantic incommensurability thesis of Thomas Kuhn and Paul Feyerabend. In putting forward the thesis of incommensurability, Kuhn and Feyerabend drew attention to complex issues concerning the phenomenon of conceptual change in science. They raised serious problems about the semantic and logical relations between the content of theories which deploy unlike systems of concepts. Yet few of the more extreme claims associated with incommensurability stand scrutiny. The argument of this book is as (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  44. A Semantic Information Formula Compatible with Shannon and Popper's Theories.Chenguang Lu - manuscript
    Semantic Information conveyed by daily language has been researched for many years; yet, we still need a practical formula to measure information of a simple sentence or prediction, such as “There will be heavy rain tomorrow”. For practical purpose, this paper introduces a new formula, Semantic Information Formula (SIF), which is based on L. A. Zadeh’s fuzzy set theory and P. Z. Wang’s random set falling shadow theory. It carries forward C. E. Shannon and K. Popper’s thought. The fuzzy set’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. From the History of Physics to the Discovery of the Foundations of Physics,.Antonino Drago - manuscript
    FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Logical Theatrics, or Floes on Flows: Translating Quine with the Shins.Joshua M. Hall - 2016 - European Journal of Pragmatism and American Philosophy 8 (2).
    I will begin this comparative analysis with Quine, focusing on the front matter and first chapter of Word and Object (alongside From a Logical Point of View and two other short pieces), attempting to illuminate there a (1) basis of excessive, yet familiar, chaos, (2) method of improvised, dramatic distortion, and (3) consequent neo-Pragmatist metaphysics. Having elaborated this Quinian basis, method and metaphysics, I will then show that they can be productively translated into James Mercer’s poetic lyrics for The Shins, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  96
    The “Aristotle of Königsberg”?: Kant and the Aristotelian Mind.Corey W. Dyck - forthcoming - In Wolfram Gobsch & Thomas Land (eds.), The Aristotelian Kant, ed. by W. Gobsch and T. Land, Cambridge University Press. Cambridge UK: Cambridge UP.
    In 1794, Michael Wenzel Voigt, a professor of rhetoric in present-day Czechia, published the first German translation of Aristotle’s De anima. Voigt’s translation was explicitly intended to rescue Aristotle's views on the soul, and the bold strategy he adopts towards this end is to assert a direct connection between Aristotle’s doctrines and Kant’s Critical philosophy. Thus, he contends that Aristotle’s books on the soul can be read as an “appendix” or even as a “propadeutic” to Kant’s Critical works. Despite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Logical Truth / Logička istina (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Willard Van Orman Quine - 2018 - Sophos 1 (11):115-128.
    Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.
    Download  
     
    Export citation  
     
    Bookmark  
  49. In Pursuit of the Functional Definition of a Mind: The Pivotal Role of a Discourse.Vitalii Shymko - 2018 - Psycholinguistics 24 (1):403-424.
    This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Defining Textual Entailment.Daniel Z. Korman, Eric Mack, Jacob Jett & Allen H. Renear - 2018 - Journal of the Association for Information Science and Technology 69:763-772.
    Textual entailment is a relationship that obtains between fragments of text when one fragment in some sense implies the other fragment. The automation of textual entailment recognition supports a wide variety of text-based tasks, including information retrieval, information extraction, question answering, text summarization, and machine translation. Much ingenuity has been devoted to developing algorithms for identifying textual entailments, but relatively little to saying what textual entailment actually is. This article is a review of the logical and philosophical issues involved (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966