This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
143 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 143
  1. Samson Abramsky & Jouko Väänänen (2009). From If to Bi. Synthese 167 (2):207 - 230.
    We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. T. Achourioti & M. van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Kazimierz Ajdukiewicz (1967). Proposition as the Connotation of Sentence. Studia Logica 20 (1):87 - 98.
  4. Kazimierz Ajdukiewicz (1958). Le Problème du Fondement Des Propositions Analytiques. Studia Logica 8 (1):259 - 281.
  5. Ken Akiba (1998). Nominalistic Metalogic. Journal of Philosophical Logic 27 (1):35-47.
    This paper offers a novel method for nominalizing metalogic without transcending first-order reasoning about physical tokens (inscriptions, etc.) of proofs. A kind of double-negation scheme is presented which helps construct, for any platonistic statement in metalogic, a nominalistic statement which has the same assertability condition as the former. For instance, to the platonistic statement "there is a (platonistic) proof of A in deductive system D" corresponds the nominalistic statement "there is no (metalogical) proof token in (possibly informal) set theory for (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Ken Akiba (1996). Field on the Notion of Consistency. Notre Dame Journal of Formal Logic 37 (4):625-630.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Varol Akman, BABY-SIT: A Computational Medium Based on Situations.
    Following its inception (Barwise and Perry, 1983), situation theory has quickly matured (Cooper et al., 1990; Devlin, 1991) and under the familiarname of situation semantics has been applied to a number of linguistic issues (Barwise, 1987; Barwise, 1989; Barwise and Etchemendy, 1987; Cooper, 1986; Cooper, 1991; Cooper et al., 1990; Fenstad et al., 1987), including quanti cation and anaphora (Gawron and Peters, 1990). In the past, the development of a `mathematical'situation theory has been held back by a lack of availability (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite (2005). The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79 (1):7 - 32.
    Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. J. Almog (1980). Semantical Considerations on Modal Counterfactual Logic with Corollaries on Decidability, Completeness, and Consistency Questions. Notre Dame Journal of Formal Logic 21 (2):467-479.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Joseph Almog (2008). Frege Puzzles? Journal of Philosophical Logic 37 (6):549 - 574.
    The first page of Frege’s classic “Uber Sinn und Bedeutung” sets for more than a hundred years now the agenda for much of semantics and the philosophy of mind. It presents a purported puzzle whose solution is said to call upon the “entities” of semantics (meanings) and psychological explanation (Psychological states, beliefs, concepts). The paper separates three separate alleged puzzles that can be read into Frege’s data. It then argues that none are genuine puzzles. In turn, much of the Frege-driven (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Joseph Almog (1989). Logic and the World. Journal of Philosophical Logic 18 (2):197 - 220.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Alan Ross Anderson & Nuel D. Belnap Jr (1959). A Simple Treatment of Truth Functions. Journal of Symbolic Logic 24 (4):301-302.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. C. Anthony Anderson (1987). Semantical Antinomies in the Logic of Sense and Denotation. Notre Dame Journal of Formal Logic 28 (1):99-114.
  14. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387-418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Rani Lill Anjum (2012). Paul Grice. In Joose Järvenkylä & Ilmari Kortelainen (eds.), Tavallisen kielen filosofia.
    Often we mean something else than what we have said explicitly. Consider the following scenario. I show up in a new flashy dress and ask my friend what she thinks of it. She always tries to help me improve my style and knows that I value her honest opinion. She looks at my dress and says: ‘Excellent fit, but have you gone colour blind?’. From what she says I do not take it that she is interested in whether I’ve got (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. Aldo Antonelli (2002). The Complexity of Revision, Revised. Notre Dame Journal of Formal Logic 43 (2):75-78.
    The purpose of this note is to acknowledge a gap in a previous paper — “The Complexity of Revision”, see [1] — and provide a corrected version of argument. The gap was originally pointed out by Francesco Orilia (personal communication and [4]), and the fix was developed in correspondence with Vann McGee.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. G. Aldo Antonelli (2000). Proto-Semantics for Positive Free Logic. Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  18. G. Aldo Antonelli (1994). A Revision-Theoretic Analysis of the Arithmetical Hierarchy. Notre Dame Journal of Formal Logic 35 (2):204-218.
    In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later extended to a general mode of definition, to the analysis of the arithmetical hierarchy. This is also intended as an example of how ideas and tools from philosophical logic can provide a different perspective on mathematically more “respectable” entities. Revision Rules were first introduced by A. Gupta and N. Belnap as tools in the theory of truth, and they (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Gian Aldo Antonelli (1994). The Complexity of Revision. Notre Dame Journal of Formal Logic 35 (1):67-72.
  20. Peter Apostoli (2000). The Analytic Conception of Truth and the Foundations of Arithmetic. Journal of Symbolic Logic 65 (1):33-102.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. K. I. Appel (1959). Horn Sentences in Identity Theory. Journal of Symbolic Logic 24 (4):306-310.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Ralph C. Applebee & Biswambhar Pahi (1971). Some Results on Generalized Truth-Tables. Notre Dame Journal of Formal Logic 12 (4):435-440.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Krzysztof Rafał Apt (1976). Semantics of the Infinitistic Rules of Proof. Journal of Symbolic Logic 41 (1):121-138.
  24. Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart (2006). The Complexity of Analytic Tableaux. Journal of Symbolic Logic 71 (3):777 - 790.
    The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Lee C. Archie, B. G. Hurdle & William Stewart Thomblison (1977). A Note on the Truth-Table for ``If $P$ Then $Q$''. Notre Dame Journal of Formal Logic 18 (4):596-598.
  26. Nicholas Asher (1986). Belief in Discourse Representation Theory. Journal of Philosophical Logic 15 (2):127 - 189.
    I hope I have convinced the reader that DR theory offers at least some exciting potential when applied to the semantics of belief reports. It differs considerably from other approaches, and it makes intuitively acceptable predictions that other theories do not. The theory also provides a novel approach to the semantics of other propsitional attitude reports. Further, DR theory enables one to approach the topic of anaphora within belief and other propositional attitude contexts in a novel way, thus combining the (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. David Atkinson & Jeanne Peijnenburg (2010). Justification by Infinite Loops. Notre Dame Journal of Formal Logic 51 (4):407-416.
    In an earlier paper we have shown that a proposition can have a well-defined probability value, even if its justification consists of an infinite linear chain. In the present paper we demonstrate that the same holds if the justification takes the form of a closed loop. Moreover, in the limit that the size of the loop tends to infinity, the probability value of the justified proposition is always well-defined, whereas this is not always so for the infinite linear chain. This (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. David Atkinson & Jeanne Peijnenburg (2010). The Solvability of Probabilistic Regresses. A Reply to Frederik Herzberg. Studia Logica 94 (3):347 - 353.
    We have earlier shown by construction that a proposition can have a welldefined nonzero probability, even if it is justified by an infinite probabilistic regress. We thought this to be an adequate rebuttal of foundationalist claims that probabilistic regresses must lead either to an indeterminate, or to a determinate but zero probability. In a comment, Frederik Herzberg has argued that our counterexamples are of a special kind, being what he calls ‘solvable’. In the present reaction we investigate what Herzberg means (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Jay David Atlas (1989). Philosophy Without Ambiguity: A Logico-Linguistic Essay. Oxford University Press.
    This book expounds and defends a new conception of the relation between truth and meaning. Atlas argues that the sense of a sense-general sentence radically underdetermines (independently of indexicality) its truth-conditional content. He applies this linguistic analysis to illuminate old and new philosophical problems of meaning, truth, falsity, negation, existence, presupposition, and implicature. In particular, he demonstrates how the concept of ambiguity has been misused and confused with other concepts of meaning, and how the interface between semantics and pragmatics has (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  30. David F. Austin (1983). Plantinga’s Theory of Proper Names. Notre Dame Journal of Formal Logic 24 (1):115-132.
  31. Jeremy D. Avigad (2002). Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics. [REVIEW] Bulletin of Symbolic Logic 8 (3):432-433.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Arnon Avron, Non-Deterministic Semantics for Logics with a Consistency Operator.
    In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. Da Costa’s approach has led to the family of logics (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Arnon Avron, 5-Valued Non-Deterministic Semantics for The Basic Paraconsistent Logic mCi.
    One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  34. Arnon Avron (1991). A Note of Provability, Truth and Existence. Journal of Philosophical Logic 20 (4):403 - 409.
  35. Jody Azzouni (1991). A Simple Axiomatizable Theory of Truth. Notre Dame Journal of Formal Logic 32 (3):458-493.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Matthias Baaz (1986). Kripke-Type Semantics for da Costa's Paraconsistent Logic ${\Rm C}_\Omega$. Notre Dame Journal of Formal Logic 27 (4):523-527.
  37. John Bacon (1980). Substance and First-Order Quantification Over Individual-Concepts. Journal of Symbolic Logic 45 (2):193-203.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. John Robert Baker (1978). Essentialism and the Modal Semantics of J. Hintikka. Notre Dame Journal of Formal Logic 19 (1):81-91.
  39. John Robert Baker (1975). On Two Immediate Inferences by Limitation. Notre Dame Journal of Formal Logic 16 (4):496-500.
  40. Juan Barba (2001). Trees for Truth. Nordic Journal of Philosophical Logic 6 (1):71-99.
    This papers aims to analyse sentences of a self-referential language containing a truth-predicate by means of a Smullyan-style tableau system. Our analysis covers three variants of Kripke's partial-model semantics (strong and weak Kleene's and supervaluational) and three variants of the revision theory of truth (Belnap's, Gupta's and Herzberger's).
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Juan Barba (1998). Construction of Truth Predicates: Approximation Versus Revision. Bulletin of Symbolic Logic 4 (4):399-417.
  42. Franco Barbanera & Stefano Berardi (1996). A Constructive Valuation Semantics for Classical Logic. Notre Dame Journal of Formal Logic 37 (3):462-482.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Eduardo Barrio (2007). Consecuencia lógica, modalidad y generalidad irrestricta. Manuscrito 30 (1).
    En este trabajo, me propongo discutir la plausibilidad de la tesis de que es posible captar las características modales del concepto intuitivo de consecuencia a través de un concepto de consecuencia definido generalizando sobre interpretaciones. Desde mi perspectiva, las argumentaciones que han ofrecido aquellos que, como Ray, quieren salvar el salto de lo general a lo modal, mostrando que hay suficientes interpretaciones como para representar las características modales de la noción preteórica de consecuencia, poseen un mismo tipo de limitación. La (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. Eduardo Alejandro Barrio (2010). Theories of Truth Without Standard Models and Yablo's Sequences. Studia Logica 96 (3):375-391.
    The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω -inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. Jon Barwise (1997). Information and Impossibilities. Notre Dame Journal of Formal Logic 38 (4):488-515.
    In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section 4.How (...)
    Remove from this list | Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  46. Jc Beall (2003). Algebraic Methods in Philosophical Logic. Australasian Journal of Philosophy 81 (3):442 – 444.
    Book Information Algebraic Methods in Philosophical Logic. By J. Michael Dunn and Gary Hardegree. Clarendon Press. Oxford. 2001. Pp. xv + 470. 60.50.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Giacomo Bonanno (1999). Synchronic Information, Knowledge and Common Knowledge in Extensive Games. Research in Economics 53 (1):77-99.
    Restricting attention to the class of extensive games defined by von Neumann and Morgenstern with the added assumption of perfect recall, we specify the information of each player at each node of the game-tree in a way which is coherent with the original information structure of the extensive form. We show that this approach provides a framework for a formal and rigorous treatment of questions of knowledge and common knowledge at every node of the tree. We construct a particular information (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Ray Buchanan (2003). Are Truth and Reference Quasi-Disquotational? Philosophical Studies 113 (1):43 - 75.
    In a number of influential papers, Hartry Field has advanced an account of truth and reference that we might dub quasi-disquotationalism. According to quasi-disquotationalism, truth and reference are to be explained in terms of disputation and facts about what constitute a good translation into our language. Field suggeststhat we might view quasi-disquotationalism as either (a) an analysis of our ordinary truth-theoretic concepts of reference and truth, or (b) an account of certain other concepts that improve upon our ordinary concepts. In (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Michael Caie (2012). Belief and Indeterminacy. Philosophical Review 121 (1):1-54.
    An attractive approach to the semantic paradoxes holds that cases of semantic pathology give rise to indeterminacy. What attitude should a rational agent have toward a proposition that it takes to be indeterminate in this sense? Orthodoxy holds that rationality requires that an agent disbelieve such a proposition. I argue that a rational agent should be such that it is indeterminate whether it believes the proposition in question. For rational agents, indeterminacy in the objects of their attitudes will filter up (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
    Although a very recent topic in contemporary logic, the subject of combinations of logics has already shown its deep possibilities. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there are also several pragmatical and methodological reasons for considering combined logics. We survey methods for combining logics (integration of several logic systems into a homogeneous environment) as well as methods for decomposing logics, showing their interesting properties (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 143