Artykuły w czasopismach: „Intensional logic”

1

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

3

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Bull, R. A., i Johan van Benthem. "A Manual of Intensional Logic." Journal of Symbolic Logic 54, nr 4 (grudzień 1989): 1489. http://dx.doi.org/10.2307/2274837.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

RONDOGIANNIS, P., i W. W. WADGE. "Higher-order functional languages and intensional logic". Journal of Functional Programming 9, nr 5 (wrzesień 1999): 527–64. http://dx.doi.org/10.1017/s0956796899003445.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

13

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

14

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

Pełny tekst źródła

Streszczenie:

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].

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

Brauner, T. "Adding Intensional Machinery to Hybrid Logic". Journal of Logic and Computation 18, nr 4 (22.11.2007): 631–48. http://dx.doi.org/10.1093/logcom/exn005.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

17

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

Belnap, Nuel, i Thomas Müller. "CIFOL: Case-Intensional First Order Logic". Journal of Philosophical Logic 43, nr 2-3 (20.01.2013): 393–437. http://dx.doi.org/10.1007/s10992-012-9267-x.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

20

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

Swoyer, Chris, i Edward Zalta. "Intensional Logic and the Metaphysics of Intentionality." Noûs 27, nr 2 (czerwiec 1993): 243. http://dx.doi.org/10.2307/2215760.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

24

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

RONDOGIANNIS, P., i W. W. WADGE. "First-order functional languages and intensional logic". Journal of Functional Programming 7, nr 1 (styczeń 1997): 73–101. http://dx.doi.org/10.1017/s0956796897002633.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

27

GLASHOFF, KLAUS. "AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC". Review of Symbolic Logic 3, nr 2 (17.03.2010): 262–72. http://dx.doi.org/10.1017/s1755020309990396.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

28

Du, W., i W. W. Wadge. "A 3D spreadsheet based on intensional logic". IEEE Software 7, nr 3 (maj 1990): 78–89. http://dx.doi.org/10.1109/52.55232.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

29

Belnap, Nuel, i Thomas Müller. "BH-CIFOL: Case-Intensional First Order Logic". Journal of Philosophical Logic 43, nr 5 (25.08.2013): 835–66. http://dx.doi.org/10.1007/s10992-013-9292-4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

31

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

32

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

33

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

35

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

36

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

Pełny tekst źródła

Streszczenie:

§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.

Style APA, Harvard, Vancouver, ISO itp.

37

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

Pełny tekst źródła

Streszczenie:

- 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.

Style APA, Harvard, Vancouver, ISO itp.

38

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

39

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

40

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

44

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

49

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Artykuły w czasopismach na temat „Intensional logic”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych