Artículos de revistas: "Intensional logic"

1

Anderson, C. Anthony. "Zalta's intensional logic". Philosophical Studies 69, n.º 2-3 (marzo de 1993): 221–29. http://dx.doi.org/10.1007/bf00990086.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Majkić, Zoran. "Conservative Intensional Extension of Tarski's Semantics". Advances in Artificial Intelligence 2013 (26 de febrero de 2013): 1–10. http://dx.doi.org/10.1155/2013/920157.

Texto completo

Resumen

We considered an extension of the first-order logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term “intension” derives from the traditional logical Frege-Russell doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the “extension” of an idea consists of the subjects to which the idea applies, and the “intension” consists of the attributes implied by the idea. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In the case of standard FOL, we obtain a commutative homomorphic diagram, which is valid in each given possible world of an intensional FOL: from a free algebra of the FOL syntax, into its intensional algebra of concepts, and, successively, into an extensional relational algebra (different from Cylindric algebras). Then we show that this composition corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Priest, Graham. "Intensional paradoxes." Notre Dame Journal of Formal Logic 32, n.º 2 (marzo de 1991): 193–211. http://dx.doi.org/10.1305/ndjfl/1093635745.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Leone, Nicola, Luigi Palopoli y Massimo Romeo. "MODIFYING INTENSIONAL LOGIC KNOWLEDGE". Fundamenta Informaticae 21, n.º 3 (1994): 183–203. http://dx.doi.org/10.3233/fi-1994-2132.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

da Costa, Newton C. A. y Décio Krause. "An Intensional Schrödinger Logic". Notre Dame Journal of Formal Logic 38, n.º 2 (abril de 1997): 179–94. http://dx.doi.org/10.1305/ndjfl/1039724886.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Fitting, Melvin. "First-order intensional logic". Annals of Pure and Applied Logic 127, n.º 1-3 (junio de 2004): 171–93. http://dx.doi.org/10.1016/j.apal.2003.11.014.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Jiang, Yue J. "An intensional epistemic logic". Studia Logica 52, n.º 2 (1993): 259–80. http://dx.doi.org/10.1007/bf01058391.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Bull, R. A. y Johan van Benthem. "A Manual of Intensional Logic." Journal of Symbolic Logic 54, n.º 4 (diciembre de 1989): 1489. http://dx.doi.org/10.2307/2274837.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Payne, Jonathan. "Extensionalizing Intensional Second-Order Logic". Notre Dame Journal of Formal Logic 56, n.º 1 (2015): 243–61. http://dx.doi.org/10.1215/00294527-2835092.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Cocchiarella, Nino B. "Conceptualism, realism, and intensional logic". Topoi 8, n.º 1 (marzo de 1989): 15–34. http://dx.doi.org/10.1007/bf00138676.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Ramsay, Allan. "Theorem proving for intensional logic". Journal of Automated Reasoning 14, n.º 2 (1995): 237–55. http://dx.doi.org/10.1007/bf00881857.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

RONDOGIANNIS, P. y W. W. WADGE. "Higher-order functional languages and intensional logic". Journal of Functional Programming 9, n.º 5 (septiembre de 1999): 527–64. http://dx.doi.org/10.1017/s0956796899003445.

Texto completo

Resumen

In this paper we demonstrate that a broad class of higher-order functional programs can be transformed into semantically equivalent multidimensional intensional programs that contain only nullary variable definitions. The proposed algorithm systematically eliminates user-defined functions from the source program, by appropriately introducing context manipulation (i.e. intensional) operators. The transformation takes place in M steps, where M is the order of the initial functional program. During each step the order of the program is reduced by one, and the final outcome of the algorithm is an M-dimensional intensional program of order zero. As the resulting intensional code can be executed in a purely tagged-dataflow way, the proposed approach offers a promising new technique for the implementation of higher-order functional languages.

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Маркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (9 de abril de 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.

Texto completo

Resumen

In this paper we discuss a question about the trends in non-classical logic that were exactly anticipated by Niko- lai Vasiliev. We show the influence of Vasiliev’s Imaginary logic on paraconsistent logic. Metatheoretical relations between Vasiliev’s logical systems and many-valued predicate logics are established. We also make clear that Vasiliev has developed a sketch of original system of intensional logic and expressed certain ideas of modal and temporal logics.

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Surendonk, Timothy J. "Canonicity for Intensional Logics with Even Axioms". Journal of Symbolic Logic 66, n.º 3 (septiembre de 2001): 1141–56. http://dx.doi.org/10.2307/2695098.

Texto completo

Resumen

AbstractThis paper looks at the concept of neighborhood canonicity introduced by Brian Chellas [2]. We follow the lead of the author's paper [9] where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form—no intensional operator is in boolean combination with a propositional letter—and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, is neighborhood canonical, an interesting counterpoint to the results of Robert Goldblatt and Xiaoping Wang who showed, respectively, that KMcK is not relational canonical [5] and that KMcK is not relationally strongly complete [11].

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Anderson, C. Anthony. "Some Difficulties Concerning Russellian Intensional Logic". Noûs 20, n.º 1 (marzo de 1986): 35. http://dx.doi.org/10.2307/2215278.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Brauner, T. "Adding Intensional Machinery to Hybrid Logic". Journal of Logic and Computation 18, n.º 4 (22 de noviembre de 2007): 631–48. http://dx.doi.org/10.1093/logcom/exn005.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

van Lee, Hanna S., Rasmus K. Rendsvig y Suzanne van Wijk. "Intensional Protocols for Dynamic Epistemic Logic". Journal of Philosophical Logic 48, n.º 6 (28 de mayo de 2019): 1077–118. http://dx.doi.org/10.1007/s10992-019-09508-w.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Belnap, Nuel y Thomas Müller. "CIFOL: Case-Intensional First Order Logic". Journal of Philosophical Logic 43, n.º 2-3 (20 de enero de 2013): 393–437. http://dx.doi.org/10.1007/s10992-012-9267-x.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Muskens, Reinhard. "Intensional models for the theory of types". Journal of Symbolic Logic 72, n.º 1 (marzo de 2007): 98–118. http://dx.doi.org/10.2178/jsl/1174668386.

Texto completo

Resumen

AbstractIn this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up.

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Johnston, S. C. "Robert Kilwardby’s Science of Logic: A Thirteenth-Century Intensional Logic". History and Philosophy of Logic 41, n.º 3 (19 de mayo de 2020): 301–3. http://dx.doi.org/10.1080/01445340.2020.1757889.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Lapierre, Serge. "A functional partial semantics for intensional logic." Notre Dame Journal of Formal Logic 33, n.º 4 (septiembre de 1992): 517–41. http://dx.doi.org/10.1305/ndjfl/1093634484.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Swoyer, Chris y Edward Zalta. "Intensional Logic and the Metaphysics of Intentionality." Noûs 27, n.º 2 (junio de 1993): 243. http://dx.doi.org/10.2307/2215760.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Zimmermann, Thomas Ede. "Intensional logic and two-sorted type theory". Journal of Symbolic Logic 54, n.º 1 (marzo de 1989): 65–77. http://dx.doi.org/10.2307/2275016.

Texto completo

Resumen

Among the symbolic languages used most frequently in the indirect interpretation of natural language are Montague's Intensional Logic IL [5, 384ff.] and its extensional counterpart, the language Ty2 of two-sorted type theory. The question of which of these two formal languages is to be preferred has been obscured by lack of knowledge about the exact relation between them. The present paper is an attempt to clarify the situation by showing that, modulo a small, decidable class of formulas irrelevant to these applications, IL and Ty2 are equivalent in the strong sense that there exists a reversible translation between the terms of either language.In [3, 6Iff.] Gallin has shown that there exists a simple and natural translation * of IL into Ty2. Following Gallin's translation procedure, it is even possible to conceive of IL as a highly restricted sublanguage of Ty2, viz. as that part which only contains expressions of certain intensional types plus one variable of the basic type of indices or worlds. In an obvious sense, this sublanguage has less expressive power than the whole of Ty2, where it is possible to express conditions on entities that do not even exist in IL's ontology. However, by a certain amount of coding, one can translate Ty2 into IL [3, 105]. Conditions on nonintensional entities then become conditions on corresponding intensional objects; and these paraphrases preserve (standard) validity and entailment. On the other hand, this retranslation of Ty2 into IL is not an inversion of *, as can be seen from a simple example.

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Jacquette, Dale y Edward N. Zalta. "Intensional Logic and the Metaphysics of Intentionality." Philosophy and Phenomenological Research 51, n.º 2 (junio de 1991): 439. http://dx.doi.org/10.2307/2108142.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Hazen, A. P. y Edward N. Zalta. "Intensional Logic and the Metaphysics of Intentionality." Philosophical Review 100, n.º 3 (julio de 1991): 474. http://dx.doi.org/10.2307/2185073.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

RONDOGIANNIS, P. y W. W. WADGE. "First-order functional languages and intensional logic". Journal of Functional Programming 7, n.º 1 (enero de 1997): 73–101. http://dx.doi.org/10.1017/s0956796897002633.

Texto completo

Resumen

The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for the tagging mechanism that is used in the implementation of first-order functional languages on dataflow machines.

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

GLASHOFF, KLAUS. "AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC". Review of Symbolic Logic 3, n.º 2 (17 de marzo de 2010): 262–72. http://dx.doi.org/10.1017/s1755020309990396.

Texto completo

Resumen

Since Frege’s predicate logical transcription of Aristotelian categorical logic, the standard semantics of Aristotelian logic considers terms as standing for sets of individuals. From a philosophical standpoint, this extensional model poses problems: There exist serious doubts that Aristotle’s terms were meant to refer always to sets, that is, entities composed of individuals. Classical philosophy up to Leibniz and Kant had a different view on this question—they looked at terms as standing for concepts (“Begriffe”). In 1972, Corcoran presented a formal system for Aristotelian logic containing a calculus of natural deduction, while, with respect to semantics, he still made use of an extensional interpretation. In this paper we deal with a simple intensional semantics for Corcoran’s syntax—intensional in the sense that no individuals are needed for the construction of a complete Tarski model of Aristotelian syntax. Instead, we view concepts as containing or excluding other, “higher” concepts—corresponding to the idea which Leibniz used in the construction of his characteristic numbers. Thus, this paper is an addendum to Corcoran’s work, furnishing his formal syntax with an adequate semantics which is free from presuppositions which have entered into modern interpretations of Aristotle’s theory via predicate logic.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Du, W. y W. W. Wadge. "A 3D spreadsheet based on intensional logic". IEEE Software 7, n.º 3 (mayo de 1990): 78–89. http://dx.doi.org/10.1109/52.55232.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Belnap, Nuel y Thomas Müller. "BH-CIFOL: Case-Intensional First Order Logic". Journal of Philosophical Logic 43, n.º 5 (25 de agosto de 2013): 835–66. http://dx.doi.org/10.1007/s10992-013-9292-4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Duží, Marie y Aleš Horák. "Hyperintensional Reasoning Based on Natural Language Knowledge Base". International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 28, n.º 03 (21 de mayo de 2020): 443–68. http://dx.doi.org/10.1142/s021848852050018x.

Texto completo

Resumen

The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the automatic reasoning systems are still based on an intensional logic, at the best. In this paper, we introduce the system of reasoning based on a fine-grained, hyperintensional analysis. To this end we apply Tichy’s Transparent Intensional Logic (TIL) with its procedural semantics. TIL is a higher-order, hyperintensional logic of partial functions, in particular apt for a fine-grained natural-language analysis. Within TIL we recognise three kinds of context, namely extensional, intensional and hyperintensional, in which a particular natural-language term, or rather its meaning, can occur. Having defined the three kinds of context and implemented an algorithm of context recognition, we are in a position to develop and implement an extensional logic of hyperintensions with the inference machine that should neither over-infer nor under-infer.

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Moschovakis, Yiannis N. "The formal language of recursion". Journal of Symbolic Logic 54, n.º 4 (diciembre de 1989): 1216–52. http://dx.doi.org/10.1017/s0022481200041086.

Texto completo

Resumen

This is the first of a sequence of papers in which we will develop a foundation for the theory of computation based on a precise, mathematical notion of abstract algorithm. To understand the aim of this program, one should keep in mind clearly the distinction between an algorithm and the object (typically a function) computed by that algorithm. The theory of computable functions (on the integers and on abstract structures) is obviously relevant to this work, but we will focus on making rigorous and identifying the mathematical properties of the finer (intensional) notion of algorithm.It is characteristic of this approach that we take recursion to be a fundamental (primitive) process for constructing algorithms, not a derived notion which must be reduced to others—e.g. iteration or application and abstraction, as in the classical λ-calculus. We will model algorithms by recursors, the set-theoretic objects one would naturally choose to represent (syntactically described) recursive definitions. Explicit and iterative algorithms are modelled by (appropriately degenerate) recursors.The main technical tool we will use is the formal language of recursion, FLR, a language of terms with two kinds of semantics: on each suitable structure, the denotation of a term t of FLR is a function, while the intension of t is a recursor (i.e. an algorithm) which computes the denotation of t. FLR is meant to be intensionally complete, in the sense that every (intuitively understood) “algorithm” should “be” (faithfully modelled, in all its essential properties by) the intension of some term of FLR on a suitably chosen structure.

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Magryś, Roman. "Prawda i fałsz wypowiedzi literackiej". Dydaktyka Polonistyczna 15, n.º 6 (2020): 72–91. http://dx.doi.org/10.15584/dyd.pol.15.2020.5.

Texto completo

Resumen

The article “Truth and Falsity of Literary Statements” investigates the issue of logical values, and consequently communication related status of sentences in indicative mood occurring in works of literature. The problem is discussed with reference to theoretical assumptions of classical logic, intuitionistic logic, and other possible intensional logics as well as phenomenological concepts proposed by Roman Ingarden. In this context it is suggested that intensional systems, mainly intuitionistic logic be adequately applied to identify logical value of literary sentences. As a result, it is assumed that the logical value of literary sentences depends on the specific logical system selected; according to the standards of intuitionistic logic, literary statements are true, likely or false. In this context it seems necessary to revise Roman Ingarden’s phenomenological assumption that sentences in indicative mood in a work of fiction do not have objective point of reference. It is suggested that such sentences be recognised as false, and therefore indicative of the group of their intentional meanings as a specific model of reality which can be deemed true or false.

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Hanson, William H. y James Hawthorne. "Validity in intensional languages: a new approach." Notre Dame Journal of Formal Logic 26, n.º 1 (enero de 1985): 9–35. http://dx.doi.org/10.1305/ndjfl/1093870758.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Carlström, Jesper. "Interpreting descriptions in intensional type theory". Journal of Symbolic Logic 70, n.º 2 (junio de 2005): 488–514. http://dx.doi.org/10.2178/jsl/1120224725.

Texto completo

Resumen

AbstractNatural deduction systems with indefinite and definite descriptions (ε-terms and ι-terms) are presented, and interpreted in Martin-LÖf's intensional type theory. The interpretations are formalizations of ideas which are implicit in the literature of constructive mathematics: if we have proved that an element with a certain property exists, we speak of ‘the element such that the property holds’ and refer by that phrase to the element constructed in the existence proof. In particular, we deviate from the practice of interpreting descriptions by contextual definitions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Redding, Paul. "Hegel’s Subjective Logic as a Logic for (Hegel’s) Philosophy of Mind". Hegel Bulletin 39, n.º 1 (17 de octubre de 2016): 1–22. http://dx.doi.org/10.1017/hgl.2016.54.

Texto completo

Resumen

AbstractIn the 1930s, C. I. Lewis, who was responsible for the revival of modal logic in the era of modern symbolic logic, characterized ‘intensional’ approaches to logic as typical of post-Leibnizian ‘continental philosophy’, in contrast to the ‘extensionalist’ approaches dominant in the British tradition. Indeed Lewis’s own work in this area had been inspired by the logic of his teacher, the American ‘Absolute Idealist’, Josiah Royce. Hegel’s ‘Subjective Logic’ in Book III of hisScience of Logic, can, I suggest, be considered as an intensional modal logic, and this paper explores parallels between it and a later variety of modal logic—tenselogic, as developed by Arthur Prior in the 1950s and 60s. Like Lewis, Prior too had been influenced in this area by a teacher with strong Hegelian leanings—John N. Findlay. Treated as anintensional(with an ‘s’) logic, Hegel’s subjective logic can be used as a framework for addressing issues ofintentionality(with a ‘t’)—the mind’s capacity to be intentionally directed to objects. In this way, I suggest that the structures of his subjective logic can clarify what is at issue in the ‘Psychology’ section of theEncyclopaediaPhilosophy of Subjective Spirit.

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Anderson, C. Anthony. "Alonzo Church's Contributions to Philosophy and Intensional Logic". Bulletin of Symbolic Logic 4, n.º 2 (junio de 1998): 129–71. http://dx.doi.org/10.2307/421020.

Texto completo

Resumen

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are (still) philosophers who seriously underestimate and even consciously reject these techniques.

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Morra, Lucia. "Traduzione e filosofia analitica: prima di Quine". PARADIGMI, n.º 2 (julio de 2009): 17–31. http://dx.doi.org/10.3280/para2009-002003.

Texto completo

Resumen

- This paper is a survey of the analytical theories of translation prior to Quine's writings on this subject, which must be read in the light of previous discussion and the observations of authors such as Frege, Russell, Wittgenstein, Schlick and Carnap. Translation became an issue of major importance in analytical philosophy in the second half of the last century. Born as a query concerning a very specific task (translating mathematics into logic), the problem of translation became increasingly more general: in the Thirties, the point was to find a general method for translating all sorts of formal languages; only in the Fifties and later on, it focused on the general conditions of translating.Keywords: Logical translation, Reversible translation, Translation scalarity, Intensional isomorphism, Carnap, Wittgenstein. Alberto Voltolini, L'irrimediabile dilemma del traduttoreParole chiave: Traduzione logica, Traduzione reversibile, Scalaritŕ della traduzione, Isomorfismo intensionale, Carnap, Wittgenstein.

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

GAO, YING y JINGDE CHENG. "Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)". Mathematical Structures in Computer Science 18, n.º 1 (febrero de 2008): 145–64. http://dx.doi.org/10.1017/s0960129508006592.

Texto completo

Resumen

This paper proposes a new relevant logic B+⊓⊔, which is obtained by adding two binary connectives, intensional conjunction ⊓ and intensional disjunction ⊔, to Meyer–Routley minimal positive relevant logic B+, where ⊓ and ⊔ are weaker than fusion ˚ and fission +, respectively. We give Kripke-style semantics for B+⊓⊔, with →, ⊓ and ⊔ modelled by ternary relations. We prove the soundness and completeness of the proposed semantics. A number of axiomatic extensions of B+⊓⊔, including negation-extensions, are also considered, together with the corresponding semantic conditions required for soundness and completeness to be maintained.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Bacon, Andrew, John Hawthorne y Gabriel Uzquiano. "Higher-order free logic and the Prior-Kaplan paradox". Canadian Journal of Philosophy 46, n.º 4-5 (agosto de 2016): 493–541. http://dx.doi.org/10.1080/00455091.2016.1201387.

Texto completo

Resumen

AbstractThe principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior's paradox and Kaplan's paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior's and Kaplan's derivations at face value.

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Galanaki, Chrysida, Christos Nomikos y Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming". Annals of Pure and Applied Logic 168, n.º 2 (febrero de 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Alves, E. H. y J. A. D. Guerzoni. "Extending Montague's system: a three valued intensional logic". Studia Logica 49, n.º 1 (marzo de 1990): 127–32. http://dx.doi.org/10.1007/bf00401558.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Orgun, Mehmet A. y William W. Wadge. "Towards a unified theory of intensional logic programming". Journal of Logic Programming 13, n.º 4 (agosto de 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Balbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, n.º 3-4 (1 de mayo de 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.

Texto completo

Resumen

The beauty of modal logics and their interest lie in their ability to represent such different intensional concepts as knowledge, time, obligation, provability in arithmetic, … according to the properties satisfied by the accessibility relations of their Kripke models (transitivity, reflexivity, symmetry, well-foundedness, …). The purpose of this paper is to study the ability of modal logics to represent the concepts of provability and unprovability in logic programming. The use of modal logic to study the semantics of logic programming with negation is defended with the help of a modal completion formula. This formula is a modal translation of Clack’s formula. It gives soundness and completeness proofs for the negation as failure rule. It offers a formal characterization of unprovability in logic programs. It characterizes as well its stratified semantics.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Gaines, Brian R. y Mildred L. G. Shaw. "Knowledge acquisition tools based on personal construct psychology". Knowledge Engineering Review 8, n.º 1 (marzo de 1993): 49–85. http://dx.doi.org/10.1017/s0269888900000060.

Texto completo

Resumen

AbstractKnowledge acquisition research supports the generation of knowledge-based systems through the development of principles, techniques, methodologies and tools. What differentiates knowledge-based system development from conventional system development is the emphasis on in-depth understanding and formalization of the relations between the conceptual structures underlying expert performance and the computational structures capable of emulating that performance.Personal construct psychology is a theory of individual and group psychological and social processes that has been used extensively in knowledge acquisition research to model the cognitive processes of human experts. The psychology takes a constructivist position appropriate to the modelling of human knowledge processes, but develops this through the characterization of human conceptual structures in axiomatic terms that translate directly to computational form. In particular, there is a close correspondence between the intensional logics of knowledge, belief and action developed in personal construct psychology, and the intensional logics for formal knowledge representation developed in artificial intelligence research as term subsumption, or KL-ONE-like, systems.This paper gives an overview of personal construct psychology and its expression as an intensional logic describing the cognitive processes of anticipatory agents, and uses this to survey knowledge acquisition tools deriving from personal construct psychology.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Preller, A. y N. Lafaye De Micheaux. "Intensional Equality in Categories With Structure and Coherence Problems". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34, n.º 5 (1988): 421–32. http://dx.doi.org/10.1002/malq.19880340506.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Jäger, Gerhard. "An intensional fixed point theory over first order arithmetic". Annals of Pure and Applied Logic 128, n.º 1-3 (agosto de 2004): 197–213. http://dx.doi.org/10.1016/j.apal.2003.11.032.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

BARTHOLOMEW, MICHAEL y JOOHYUNG LEE. "On the stable model semantics for intensional functions". Theory and Practice of Logic Programming 13, n.º 4-5 (julio de 2013): 863–76. http://dx.doi.org/10.1017/s1471068413000549.

Texto completo

Resumen

AbstractSeveral extensions of the stable model semantics are available to describe ‘intensional’ functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for alleviating the grounding bottleneck involving functional fluents. However, the extensions were defined in different ways under different intuitions. In this paper we provide several reformulations of the extensions, and note that they are in fact closely related to each other and coincide on large syntactic classes of logic programs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Gilmore, Paul C. "An intensional type theory: motivation and cut-elimination". Journal of Symbolic Logic 66, n.º 1 (marzo de 2001): 383–400. http://dx.doi.org/10.2307/2694928.

Texto completo

Resumen

AbstractBy the theory TT is meant the higher order predicate logic with the following recursively defined types:(1) 1 is the type of individuals and [] is the type of the truth values:(2) [τ1…..τn] is the type of the predicates with arguments of the types τ1…..τn.The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals in ITT is an extension of the membership in TT. The extension consists of allowing any higher order term, in which only variables of type 1 have a free occurrence, to be a term of type 1. This feature of ITT is motivated by a nominalist interpretation of higher order predication.In ITT both well-founded and non-well-founded recursive predicates can be defined as abstraction terms from which all the properties of the predicates can be derived without the use of non-logical axioms.The elementary syntax, semantics, and proof theory for ITT are defined. A semantic consistency proof for ITT is provided and the completeness proof of Takahashi and Prawitz for a version of TT without cut is adapted for ITT: a consequence is the redundancy of cut.

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Pasquerella, Lynn. "INTENSIONAL LOGIC AND BRENTANO’S NON-PROPOSITIONAL THEORY OF JUDGMENT". Grazer Philosophische studien 29, n.º 1 (13 de agosto de 1987): 59–62. http://dx.doi.org/10.1163/18756735-90000309.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Pezlar, Ivo. "On Two Notions of Computation in Transparent Intensional Logic". Axiomathes 29, n.º 2 (14 de septiembre de 2018): 189–205. http://dx.doi.org/10.1007/s10516-018-9401-7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Artículos de revistas sobre el tema "Intensional logic"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros