Relevant bibliographies by topics / Extensionalism / Journal articles

Journal articles on the topic 'Extensionalism'

To see the other types of publications on this topic, follow the link: Extensionalism.
Author: Grafiati
Published: 9 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Extensionalism.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Varzi, A. C. "Universalism entails Extensionalism." Analysis 69, no. 4 (July 10, 2009): 599–604. http://dx.doi.org/10.1093/analys/anp102.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bar-Am, Nimrod. "Extensionalism in Context." Philosophy of the Social Sciences 42, no. 4 (March 16, 2011): 543–60. http://dx.doi.org/10.1177/0048393110381209.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cotnoir, A. J. "Does Universalism Entail Extensionalism?" Noûs 50, no. 1 (March 19, 2014): 121–32. http://dx.doi.org/10.1111/nous.12063.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bardon, Adrian. "Explaining Temporal Phenomenology: Hume’s Extensionalism and Kant’s Apriorism." Kant-Studien 110, no. 3 (September 1, 2019): 463–76. http://dx.doi.org/10.1515/kant-2019-3006.

Full text
Abstract:
Abstract The empiricist needs to explain the origin, in perception, of the idea of time. Kant believed the only answer was a kind of idealism about time. This essay examines Hume’s extensionalism as a possible answer to Kant. Extensionalism allegedly accounts for the experience of time via the manner of presentation of experiences, rather than the content of experience.
APA, Harvard, Vancouver, ISO, and other styles
5

Shani, Itay. "The Myth of Reductive Extensionalism." Axiomathes 17, no. 2 (July 2007): 155–83. http://dx.doi.org/10.1007/s10516-007-9016-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mariyani-Squire, Edward. "Extensionalism and intensionalism in the realist-SSK 'debate'." Erasmus Journal for Philosophy and Economics 3, no. 2 (November 14, 2010): 26. http://dx.doi.org/10.23941/ejpe.v3i2.54.

Full text
Abstract:
The 'strong programme' in the sociology of scientific knowledge (SSK) is based upon finitism and extensionalism. This article examines a critique of these bases. It is argued that David Tyfield's (2008; 2009) realist critique and his alternative intensionalist account of meaning face problems at least as serious as those he identifies in the strong programme’s finitism. This is not to say that the strong programme is problem-free: it fails to give sufficient acknowledgement to non-conventional constraints on meaning formation and change. It is also suggested that, as they are currently conceived, realism's intensionalism and the strong programme's extensionalism are irreconcilably incompatible at such a basic level that the 'debate' between them reduces to an exchange of 'assurances'.
APA, Harvard, Vancouver, ISO, and other styles
7

Rea, M. C. "Universalism and Extensionalism: A reply to Varzi." Analysis 70, no. 3 (April 28, 2010): 490–96. http://dx.doi.org/10.1093/analys/anq024.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Friend, Michèle. "Book Review: Extensionalism: The Revolution in Logic." Philosophy of the Social Sciences 43, no. 1 (January 28, 2013): 116–20. http://dx.doi.org/10.1177/0048393111400706.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chatti, Saloua. "Extensionalism and Scientific Theory in Quine’s Philosophy." International Studies in the Philosophy of Science 25, no. 1 (March 2011): 1–21. http://dx.doi.org/10.1080/02698595.2011.552415.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pereplyotchik, David. "Generative Linguistics Meets Normative Inferentialism." Croatian journal of philosophy 21, no. 61 (May 21, 2021): 179–222. http://dx.doi.org/10.52685/cjp.21.1.10.

Full text
Abstract:
This is the second installment of a two-part essay. Limitations of space prevented the publication of the full essay in a previous issue of the Journal (Pereplyotchik 2020). My overall goal is to outline a strategy for integrating generative linguistics with a broadly pragmatist approach to meaning and communication. Two immensely useful guides in this venture are Robert Brandom and Paul Pietroski. Squarely in the Chomskyan tradition, Pietroski’s recent book, Conjoining Meanings, offers an approach to natural-language semantics that rejects foundational assumptions widely held amongst philosophers and linguists. In particular, he argues against extensionalism—the view that meanings are (or determine) truth and satisfaction conditions. Having arrived at the same conclusion by way of Brandom’s deflationist account of truth and reference, I’ll argue that both theorists have important contributions to make to a broader anti-extensionalist approach to language. Part 1 of the essay was largely exegetical, laying out what I see as the core aspects of Brandom’s normative inferentialism (1) and Pietroski’s naturalistic semantics (2). Now, in Part 2, I argue that there are many convergences between these two theoretical frameworks and, contrary to first appearances, very few points of substantive disagreement between them. If the integration strategy that I propose is correct, then what appear to be sharply contrasting commitments are better seen as interrelated verbal differences that come down to different—but complementary—explanatory goals. The residual disputes are, however, stubborn. I end by discussing how to square Pietroski’s commitment to predicativism with Brandom’s argument that a predicativist language is in principle incapable of expressing ordinary conditionals.
APA, Harvard, Vancouver, ISO, and other styles
11

Ilgen, Fre. "Extensionalism and Twistor Space: Similarities and Relations between Art and Twistor Theory." Leonardo 28, no. 3 (1995): 177. http://dx.doi.org/10.2307/1576072.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Floyd, Juliet. "Aspects of the Real Numbers: Putnam, Wittgenstein, and Nonextensionalism." Monist 103, no. 4 (September 15, 2020): 427–41. http://dx.doi.org/10.1093/monist/onaa015.

Full text
Abstract:
Abstract I defend Putnam’s modal structuralist view of mathematics but reject his claims that Wittgenstein’s remarks on Dedekind, Cantor, and set theory are verificationist. Putnam’s “realistic realism” (1990–2016) showcases the plasticity of our “fitting” words to the world. The applications of this—in philosophy of language, mind, logic, and philosophy of computation—are robust. I defend Wittgenstein’s nonextensionalist understanding of the real numbers, showing how it fits Putnam’s view. Nonextensionalism and extensionalism about the real numbers are mathematically, philosophically, and logically robust, but the two perspectives are often confused with one another. I separate them, using Turing’s work as an example.
APA, Harvard, Vancouver, ISO, and other styles
13

Calosi, Claudio, Vincenzo Fano, and Gino Tarozzi. "Holism as an empirically meaningful metaphysical hypothesis." EPISTEMOLOGIA, no. 2 (November 2012): 221–33. http://dx.doi.org/10.3280/epis2012-002004.

Full text
Abstract:
Quantum mechanics is often credited for having clearly shown that the whole is something over and above the sum of its parts. We want to assess whether this is really the case, and if so, in what sense. We argue that there is indeed a sense in which this is true. Our argument is that even a weak realistic interpretation of quantum mechanics renders a particular metaphysical principle about property instantiation, that we label Property Compositional Determinateness, untenable. Yet there is another metaphysical principle about composition that is usually maintained to imply that composition of parts exhausts the whole they are part of, namely Mereological Extensionalism. In this case, contrary to widespread agreement, we argue that quantum mechanics does not provide any reason, either direct or indirect, to abandon such principle.
APA, Harvard, Vancouver, ISO, and other styles
14

Tyfield, David. "The impossibility of finitism: from SSK to ESK?" Erasmus Journal for Philosophy and Economics 1, no. 1 (December 16, 2008): 61. http://dx.doi.org/10.23941/ejpe.v1i1.8.

Full text
Abstract:
The dramatic and ongoing changes in the funding of science have stimulated interest in an economics of scientific knowledge (ESK), which would investigate the effects of these changes on the scientific enterprise. Hands (1994) has previously explored the lessons for such an ESK from the existing precedent of the sociology of scientific knowledge (SSK). In particular, he examines the philosophical problems of SSK and those that any ESK in its image would face. This paper explores this argument further by contending that more recent literature in SSK exposes even deeper philosophical problems than those identified by Hands. Meaning finitism has emerged as the philosophical core of SSK. An examination of the profound problems with this position is used to show that an underlying extensionalism is the root of SSK's intractable philosophical difficulties, and to illustrate the entirely different approach of a critical philosophy that is advocated in its place. In this way, the project of an ESK is shown to depend upon a critical philosophy.
APA, Harvard, Vancouver, ISO, and other styles
15

de Cesare, Sergio, and Chris Partridge. "BORO as a Foundation to Enterprise Ontology." Journal of Information Systems 30, no. 2 (February 1, 2016): 83–112. http://dx.doi.org/10.2308/isys-51428.

Full text
Abstract:
ABSTRACT Modern business organizations experience increasing challenges in the development and evolution of their enterprise systems. Typical problems include legacy re-engineering, systems integration/interoperability, and the architecting of the enterprise. At the heart of all these problems is enterprise modeling. Many enterprise modeling approaches have been proposed in the literature with some based on ontology. Few however adopt a foundational ontology to underpin a range of enterprise models in a consistent and coherent manner. Fewer still take data-driven re-engineering as their natural starting point for modeling. This is the approach taken by Business Object Reference Ontology (BORO). It has two closely intertwined components: a foundational ontology and a re-engineering methodology. These were originally developed for the re-engineering of enterprise systems and subsequently evolved into approaches to enterprise architecture and systems integration. Together these components are used to systematically unearth reusable and generalized business patterns from existing data. Most of these patterns have been developed for the enterprise context and have been successfully applied in several commercial projects within the financial, defense, and oil and gas industries. BORO's foundational ontology is grounded in philosophy and its metaontological choices (including perdurantism, extensionalism, and possible worlds) follow well-established theories. BORO's re-engineering methodology is rooted in the philosophical notion of grounding; it emerged from the practice of deploying its foundational ontology and has been refined over the last 25 years. This paper presents BORO and its application to enterprise modeling.
APA, Harvard, Vancouver, ISO, and other styles
16

Cornelius-White, Jeffrey H. D. "Congruence as Extensionality / Kongruenz als Extensionalität / La congruencia como extensionalidad / La congruence conçue comme extensionalité / A congruência comoextensionalidade/." Person-Centered & Experiential Psychotherapies 6, no. 3 (September 2007): 196–204. http://dx.doi.org/10.1080/14779757.2007.9688442.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Makeeva, Lolita B., and Mikhail A. Smirnov. "Conceptual Schemes and Relativism." Epistemology & Philosophy of Science 57, no. 1 (2020): 59–78. http://dx.doi.org/10.5840/eps20205717.

Full text
Abstract:
The idea of conceptual schemes is one of the most influential and widely used notions in contemporary philosophy. Within the analytic tradition the idea occupies a fundamental position in positivist views as well as in replacing them post-positivist conceptions. Outside the analytic tradition a similar idea is of key importance in structuralist and post-structuralist theories. Despite the broad applicability of the notion of a conceptual scheme, its precise sense is far from being evident in the context of various philosophical trends. Moreover, the well-known American philosopher Donald Davidson's position is that any clear, non-metaphorical meaning cannot be as - cribed to that notion at all – the statement which he tried to substantiate in his famous paper On the Very Idea of a Conceptual Scheme published in 1974.The present paper is aimed, firstly, at outlining the historico-philosophical evolution of the idea of conceptual scheme, concentrating on its development in logical positivism and post-positivist theories of such philosophers as Quine, Sellars, Kuhn, et al., and, secondly, at examining Davidson's criticism of both the idea and the position of conceptual relativism which was raised on its ground, revealing the assumptions which that criticism relies on and which concern relations between language and thought, truth and translation, as well as the role of the scheme-content dualism for empiricism and the place of extensionalism in semantics, etc. Our purpose, on the one hand, is to evaluate the historico-philosophical significance of Davidson's criticism; on the other hand, it is to show that his critical arguments remain to be actual since they shed a new light on the idea of conceptual schemes and allow us to determine their place in tackling the fundamental philosophical question of a relation between reality, thought and language.
APA, Harvard, Vancouver, ISO, and other styles
18

Quine, W. V. "Promoting extensionality." Synthese 98, no. 1 (January 1994): 143–51. http://dx.doi.org/10.1007/bf01064030.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Tselishchev, Vitaliy V., and Alexander V. Khlebalin. "The Gap between the Intensional and Extensional in Mathematics." Siberian Journal of Philosophy 18, no. 2 (2020): 48–58. http://dx.doi.org/10.25205/2541-7517-2020-18-2-48-58.

Full text
Abstract:
The paper is devoted to the study of the divergence of the intensionalist and extensionalist traditions in the foundations of mathematics. One of the important manifestations of this discrepancy was the debate on the status of the Axiom of Choice. In particular, we argue that Russell's challenging Axioms of the Choice is connected with his intensionalist philosophy of mathematics and the extensionalist approach of Zermelo. It is shown that the opposition of the intensionalist and extensionalist approaches includes such key problems of the philosophy of mathematics as the epistemological features of theorems and axioms, the nature of logical-philosophical analysis, and the role of logic in mathematics.
APA, Harvard, Vancouver, ISO, and other styles
20

Goble, Lou. "`Ought' and Extensionality." Noûs 30, no. 3 (September 1996): 330. http://dx.doi.org/10.2307/2216273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Calosi, Claudio. "Extensionality, Multilocation, Persistence." Dialectica 68, no. 1 (March 2014): 121–39. http://dx.doi.org/10.1111/1746-8361.12052.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Valentini, Silvio. "Extensionality Versus Constructivity." MLQ 48, no. 2 (February 2002): 179–87. http://dx.doi.org/10.1002/1521-3870(200202)48:2<179::aid-malq179>3.0.co;2-k.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Benzmüller, Christoph, Chad E. Brown, and Michael Kohlhase. "Higher-order semantics and extensionality." Journal of Symbolic Logic 69, no. 4 (December 2004): 1027–88. http://dx.doi.org/10.2178/jsl/1102022211.

Full text
Abstract:
Abstract.In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.
APA, Harvard, Vancouver, ISO, and other styles
24

Hinnion, Roland, and Thierry Libert. "Positive abstraction and extensionality." Journal of Symbolic Logic 68, no. 3 (September 2003): 828–36. http://dx.doi.org/10.2178/jsl/1058448441.

Full text
Abstract:
AbstractIt is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a well-known set theory based on an extended positive comprehension scheme.
APA, Harvard, Vancouver, ISO, and other styles
25

Avron, Arnon, and Anna Zamansky. "Paraconsistency, self-extensionality, modality." Logic Journal of the IGPL 28, no. 5 (November 27, 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.

Full text
Abstract:
Abstract Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new (paraconsistent) negation as $\neg \varphi =_{Def} \sim \Box \varphi$ (where $\sim$ is the classical negation). We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from most other C-systems in having the important replacement property (which means that equivalence of formulas implies their congruence). We further show that B is a very robust C-system in the sense that almost any axiom which has been considered in the context of C-systems is either already a theorem of B or its addition to B leads to a logic that is no longer paraconsistent. There is exactly one notable exception, and the result of adding this exception to B leads to the other logic studied here, S5.
APA, Harvard, Vancouver, ISO, and other styles
26

Boixader, D., and J. Jacas. "Extensionality based approximate reasoning." International Journal of Approximate Reasoning 19, no. 3-4 (October 1998): 221–30. http://dx.doi.org/10.1016/s0888-613x(98)00018-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Hofstede, A. H. M. ter, and Th P. van der Weide. "Deriving Identity from Extensionality." International Journal of Software Engineering and Knowledge Engineering 08, no. 02 (June 1998): 189–221. http://dx.doi.org/10.1142/s0218194098000121.

Full text
Abstract:
In recent years, a number of proposals have been made to extend conventional conceptual data modeling techniques with concepts for modeling complex object structures. Among the most prominent proposed concepts is the concept of collection type. A collection type is an object type of which the instances are sets of instances of another object type. A drawback of the introduction of such a new concept is that the formal definition of the technique involved becomes considerably more complex. In this paper a new kind of constraint, the extensional uniqueness constraint, is introduced, providing an alternative treatment of complex object types. The formal definition of this constraint type is presented, the advantages of its introduction are discussed, and its consequences for, among others, identification schemes are elaborated.
APA, Harvard, Vancouver, ISO, and other styles
28

Solomon, Miriam. "Extensionality, underdetermination and indeterminacy." Erkenntnis 33, no. 2 (September 1990): 211–21. http://dx.doi.org/10.1007/bf00166333.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

van Lambalgen, Michiel. "Independence, randomness and the axiom of choice." Journal of Symbolic Logic 57, no. 4 (December 1992): 1274–304. http://dx.doi.org/10.2307/2275368.

Full text
Abstract:
AbstractWe investigate various ways of introducing axioms for randomness in set theory. The results show that these axioms, when added to ZF, imply the failure of AC. But the axiom of extensionality plays an essential role in the derivation, and a deeper analysis may ultimately show that randomness is incompatible with extensionality.
APA, Harvard, Vancouver, ISO, and other styles
30

Lambert, Karel. "General Terms, Predicates and Extensionality.*." Dialectica 49, no. 2-4 (May 23, 2005): 195–202. http://dx.doi.org/10.1111/j.1746-8361.1995.tb00161.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Daňková, Martina. "Generalized extensionality of fuzzy relations." Fuzzy Sets and Systems 148, no. 2 (December 2004): 291–304. http://dx.doi.org/10.1016/j.fss.2004.02.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Liu, Zhi Guo, Zhi Tao Mu, and Zeng Jie Cai. "Comparison Analysis of Aircraft Aluminum Alloy Corrosion Damage Forecasting Method." Applied Mechanics and Materials 268-270 (December 2012): 348–51. http://dx.doi.org/10.4028/www.scientific.net/amm.268-270.348.

Full text
Abstract:
Three different analysis methods was put forward to carried out aircraft aluminum alloy structure corrosion damage forecasting,and comparison analysis of different method which included basic forecasting caculation principle and forecasting accuracy and forecasting extensionality also was discussed.The forecasting calculation result shows that the prediction accuracy of neural net and time series method is higher than the data fitting method,and the prediction extensionality of time series method is the best among the three method which discussed.
APA, Harvard, Vancouver, ISO, and other styles
33

RONDOGIANNIS, PANOS, and IOANNA SYMEONIDOU. "The intricacies of three-valued extensional semantics for higher-order logic programs." Theory and Practice of Logic Programming 17, no. 5-6 (August 23, 2017): 974–91. http://dx.doi.org/10.1017/s1471068417000357.

Full text
Abstract:
AbstractM. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's technique can be extended to higher-order logic programs with negation, retaining its extensional properties, provided that it is interpreted under a logic with an infinite number of truth values. Rondogiannis and Symeonidou also demonstrated that Bezem's technique, when extended under the stable model semantics, does not in general lead to extensional stable models. In this paper, we consider the problem of extending Bezem's technique under the well-founded semantics. We demonstrate that the well-founded extensionfailsto retain extensionality in the general case. On the positive side, we demonstrate that for stratified higher-order logic programs, extensionality is indeed achieved. We analyze the reasons of the failure of extensionality in the general case, arguing that a three-valued setting cannot distinguish between certain predicates that appear to have a different behaviour inside a program context, but which happen to be identical as three-valued relations.
APA, Harvard, Vancouver, ISO, and other styles
34

Lowe, E. J. "Mereological Extensionality, Supplementation, and Material Constitution." Monist 96, no. 1 (January 1, 2013): 131–48. http://dx.doi.org/10.5840/monist20139617.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Boixader, D., and J. Recasens. "Extensionality with Respect to Indistinguishability Operators." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 26, no. 02 (April 2018): 217–32. http://dx.doi.org/10.1142/s0218488518500113.

Full text
Abstract:
Extensionality is explored form different points of view. Extensional fuzzy subsets from a fuzzy equivalence relation E are considered as observable subsets with respect to the granularity generated by E. Interestingly, they are characterized as the fuzzy subsets that can be obtained as combinations of the fuzzy equivalence classes of E. Extensional mappings are characterized topologically and the set of extensional mappings between two universes are algebraically determined. Specifying the results to fuzzy mappings from a universe X onto [0, 1] an interpretation of type-2 fuzzy subsets of X as fuzzification of its type-1 fuzzy subsets is provided.
APA, Harvard, Vancouver, ISO, and other styles
36

Koziolek, Nicholas. "Extensionality, Indirect Contexts and Frege's Hierarchy." Dialectica 70, no. 3 (September 2016): 431–62. http://dx.doi.org/10.1111/1746-8361.12146.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Bourgeois-Gironde, Sacha, and Raphaël Giraud. "Framing effects as violations of extensionality." Theory and Decision 67, no. 4 (February 13, 2009): 385–404. http://dx.doi.org/10.1007/s11238-009-9133-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Varzi, Achille C. "THE EXTENSIONALITY OF PARTHOOD AND COMPOSITION." Philosophical Quarterly 58, no. 230 (January 14, 2008): 108–33. http://dx.doi.org/10.1111/j.1467-9213.2007.542.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Sioen, Mark, and Tom Vroegrijk. "Cartesian Closedness, Extensionality and Bornological Universes." Applied Categorical Structures 22, no. 3 (April 18, 2013): 565–77. http://dx.doi.org/10.1007/s10485-013-9310-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Hinnion, R. "Extensionality in Zermelo-Fraenkel Set Theory." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32, no. 1-5 (1986): 51–60. http://dx.doi.org/10.1002/malq.19860320107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Hylton, Peter. "Confessions of a Confirmed Extensionalist and Other Essays." Journal of Philosophy 107, no. 12 (2010): 648–52. http://dx.doi.org/10.5840/jphil20101071244.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

SANTOS, Pedro. "QUINEAN WORLDS: POSSIBILIST ONTOLOGY IN AN EXTENSIONALIST FRAMEWORK." Grazer Philosophische Studien 89, no. 1 (2014): 205–30. http://dx.doi.org/10.1163/9789401211949_015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Cantini, Andrea. "The axiom of choice and combinatory logic." Journal of Symbolic Logic 68, no. 4 (December 2003): 1091–108. http://dx.doi.org/10.2178/jsl/1067620175.

Full text
Abstract:
AbstractWe combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.
APA, Harvard, Vancouver, ISO, and other styles
44

Semeniuk-Polkowska, Maria, and Lech Polkowski. "On a Notion of Extensionality for Artifacts." Fundamenta Informaticae 127, no. 1-4 (2013): 65–80. http://dx.doi.org/10.3233/fi-2013-896.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Elder, Crawford L. "Content and the Subtle Extensionality of `--Explains...'." Philosophical Quarterly 46, no. 184 (July 1996): 320. http://dx.doi.org/10.2307/2956444.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Sangiorgi, Davide. "Extensionality and intensionality of the ambient logics." ACM SIGPLAN Notices 36, no. 3 (March 2001): 4–13. http://dx.doi.org/10.1145/373243.375707.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Shapiro, Stewart. "Tarski’s Theorem and the Extensionality of Truth." Erkenntnis 78, no. 5 (May 9, 2012): 1197–204. http://dx.doi.org/10.1007/s10670-012-9378-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Manzonetto, Giulio, and Domenico Ruoppolo. "Relational Graph Models, Taylor Expansion and Extensionality." Electronic Notes in Theoretical Computer Science 308 (October 2014): 245–72. http://dx.doi.org/10.1016/j.entcs.2014.10.014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Caires, Luís, and Hugo Torres Vieira. "Extensionality of Spatial Observations in Distributed Systems." Electronic Notes in Theoretical Computer Science 175, no. 3 (June 2007): 131–49. http://dx.doi.org/10.1016/j.entcs.2006.10.056.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Weber, Zach. "Extensionality and Restriction in Naive Set Theory." Studia Logica 94, no. 1 (January 20, 2010): 87–104. http://dx.doi.org/10.1007/s11225-010-9225-y.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography