Relevant bibliographies by topics / Extensionalism

Academic literature on the topic 'Extensionalism'

Author: Grafiati
Published: 9 March 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Extensionalism"

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
More sources

Dissertations / Theses on the topic "Extensionalism"

1

CASSAGHI, DANIELE MARIO. "RETAINING RETENTIONALISM. A DEFENCE OF A TENSELESS ACCOUNT OF PERCEPTUAL EXPERIENCE." Doctoral thesis, Università degli Studi di Milano, 2020. http://hdl.handle.net/2434/708263.

Full text
Abstract:
We are able to perceive temporally structured events, like change, motion and persistence. These events do have temporal properties like duration, temporal order and simultaneity. In addition, many philosophers hold that, contrary to space, these temporal properties do not exhaust our temporal experience. Time itself, they hold, is felt as enjoying a transient character over and above these relations. Our awareness of temporal properties and the alleged flowing character of time are the object of analysis of this dissertation. Many philosophical problems and issues arise in this respect, among which the Paradox of Temporal Experience, the requirement of accommodating temporal transparency and the troubles for the B-Theory because of the so-called "Argument from Phenomenology". In addressing all of them, I will propose a full-blown tenseless account of temporal perception, implemented via retentionalism. It is a completely new proposal, since the received view runs against this very hypothesis, especially if the latter is accompanied by a naive realist conception of experience. In other words, I will show that no reference to any temporal location is within our perceptual contents. Moreover, In respect of the idea of a perceived flow, I will propose that this relies on a mistake. There is nothing like the perception of time passage. Finally, It is worth to point out that, within the overall field of philosophy of perception, our ability to perceive time is an unicum. While it is often said that our acts of perception do not share the properties of the perceived objects, it is still the case that temporal perception occurs in time. This is very interesting because temporal properties of perception come to have a role at explaining our ability to be acquainted with temporal properties in the environment. Finally, temporal perception has a lot of connections with other inquiries such metaphysics and cognitive science which will be explored in various extent.
APA, Harvard, Vancouver, ISO, and other styles
2

Brecese, Justin Alan. "Out of Our Depth: Hyper-Extensionality and the Return of Three-Dimensional Media." Scholar Commons, 2012. http://scholarcommons.usf.edu/etd/3990.

Full text
Abstract:
This work theorizes the contemporary attraction to three-dimensional media. In doing so, it reframes ongoing debates surrounding digital three-dimensional media in order to critique the neoliberal social relations such media engender. I argue that the contemporary interest in dimensionality, especially regarding digital media, is symptomatic of a broad cultural shift, wherein millions of lives are now essentially being lived through two-dimensional, "flat" media, which have consequently generated a lack of spatial relationships and a craving or desire for "depth." This "desire for depth" has arisen in contemporary society because people are being "spread too thin" through a combination of the radical connectivity afforded by digital technology and the demand for limitless flexibility imposed by the market: a condition I call hyper-extensionality. My work examines how neoliberal capitalism necessitates the individualized, radical connectivity now experienced by millions of people, and subsequently generates our attraction to three-dimensionality in digital media. Through analyses of select, prominent forms of three-dimensional media, I show that commercial three-dimensional media largely functions to maintain the status quo by helping alleviate the feeling of "depthlessness" in the social unconscious.
APA, Harvard, Vancouver, ISO, and other styles
3

Xavier, Rejane Maria de Freitas. "Ciência empírica e justificação: por uma leitura epistemológica do Aufbau." Universidade de São Paulo, 1990. http://www.teses.usp.br/teses/disponiveis/8/8133/tde-26082013-111517/.

Full text
Abstract:
A interpretação usual da obra de Rudolf Carnap, Der Logische Aufbau der Welt (Aufbau),assentada sobretudo na sua leitura por parte de Goodman e de Quine na década de 50, toma-o como um projeto empirista de explicitação dos nexos lógicos entre os conceitos de diferentes domínios teóricos e \"o dado\". Essa interpretação minimiza o problema epistemológico, central no Aufbau, da legitimação (da justificação, da validade de jure) das pretensões de conhecimento das ciências factuais (Realwissenschaften, em contraposição às Formalwissenschaften). Ao examinar o projeto de Carnap como um projeto neotranscendental de justificação do conhecimento empírico, inverte-se a prioridade concedida ao esclarecimento conceitual entre as motivações do Aufbau. Na concepção de epistemologia que subjaz a esta abordagem do Aufbau, Hume e Kant, empirismo e racionalismo aparecem como representações estilizadas e simplificadas da polarização que se exerceu sobre Carnap frente a um tópico proposto pela tradição filosófica: o conhecimento empírico, as leis universais das ciências factuais, são ou não são passíveis de justificação racional (e de que modo)? Tal inversão permite entender as teses e os passos da teoria da constituição de Carnap de maneira a dar conta de forma coerente e sistemática de aspectos dessa obra que a maioria das análises trata de modo fragmentado e desconectado. Sob essa luz, são abordado temas como a escolha do instrumental formal da teoria da constituição, o papel da teoria das descrições definidas e do modelo das definições implícitas, a tese da extensionalidade, o estruturalismo, o formalismo, as pressuposições extrasistemáticas, a relação da ordem epistêmica com a ordem lógica, a distinção entre \"o sistema\" (na forma ideal em que o concebe a teoria da constituição) e o \"esboço provisório\" que Carnap propõe no Aufbau a título de exemplo. Quatro problemas principais que comprometem seriamente esse projeto de Carnap são examinados contra o pano de fundo da leitura epistemológica proposta. Os dois primeiros (suposições extra-sistemáticas e construção do tempo e do espaço) dizem respeito ao \"esboço provisório\", mas são dificuldades que não se devem ao estado provisório dos próprios conceitos científicos mas à incapacidade desse esboço de ater-se aos preceitos da teoria da constituição de que pretende ser uma aplicação. As duas dificuldades restantes (finitismo e decidibilidade, e caráter inteiramente formal do sistema) afetam a própria concepção do sistema ideal. Como desiderata da teoria da constituição, terminam por se revelar incompatíveis com traços fundamentais do conhecimento empírico de cuja preservação não é possível abrir mão sem descaracterizá-lo profundamente. O caráter original do projeto carnapiano de justificação racional completa e cabal de todo o conhecimento empírico termina portanto por conduzi-lo a posições incompatíveis com o próprio empirismo. Para preservar \"o caráter aberto e a inevitável incerteza de todo conhecimento empírico, Carnap abrirá mão do sistema único e total de conceitos científicos como garantia da objetividade e da possibilidade de comunicação, substituindoo, depois do Aufbau, pelo princípio de tolerância ou da convencionalidade das formas de linguagem
The usual interpretation of the work of Rudolf Carnap, Der Logische Aufbau der Welt (Aufbau), rests on its reading by Goodman and Quine in the 50s, and takes it as an empiricist attempt to establish the logical connections between concepts of different theoretical domains and \"the given\". This interpretation minimizes the epistemological problem, central to the Aufbau, of the legitimation (justification, validity de jure) of the claims to knowledge of the factual sciences (Realwissenschaften, as opposed to Formalwissenschaften). By examining Carnap´s project as a project of neotranscendental justification of empirical knowledge, the priority given to conceptual clarification between the motivations of the Aufbau is reversed. In the conception of epistemology behind the new approach of the Aufbau, Hume and Kant, empiricism and rationalism appear as simplified and stylized representations of the polarization that is exerted on Carnap in his definition against a topic proposed by the philosophical tradition: the universal laws of empirical science are or are not capable of rational justification (and how)? This allows us to understand the arguments and the steps of Carnap\'s theory of constitution as coherent and systematic aspects of this work, often analysed in fragmented and disconnected ways. In this light, topics such as the choice of the formal instrumental of the theory of the constitution, the role of definite descriptions theory and of the use of implicit definitions, the thesis of extensionality, structuralism, formalism, extra- systematic assumptions, the relationship of epistemic and logic order, the distinction between \"the system\" (in the ideal way in which the theory of the constitution conceives it) and the \"tentative outline\" Carnap proposed in the Aufbau as an example are addressed. Four main problems which seriously undermine Carnap´s project are examined against the backdrop of the epistemological reading proposed. The first two (extrasystematic assumptions and construction of time and space) concern the \"tentative outline\", but they are not due to the provisional state of scientific concepts themselves but to the inability of this sketch to stick to the precepts of the theory of the constitution of which it aims to be an application. The two remaining difficulties (finitism and decidability, and the entirely formal character of the system) affect the conception of the ideal system. Being desiderata of the theory of the constitution, they will eventually prove incompatible with fundamental features of empirical knowledge of whose preservation one can not give up without deeply disfiguring it. The original character of the Carnapian project of a complete and full rational justification of all empirical knowledge thus ends by leading to a position incompatible with empiricism itself. To preserve the \"open character and the unavoidable uncertainty\" of all empirical knowledge, Carnap will then relinquish the unique and full system of scientific concepts as a guarantee of objectivity and of the possibility of communication, replacing it, after the Aufbau, by the principle of tolerance or conventionality of language forms
APA, Harvard, Vancouver, ISO, and other styles
4

Mattioli, Aramburu Gabriel. "Contribució a l'estudi dels conjunts extensionals de les relacions d'indistingibilitat i la seva aplicació a la representació d'imatges de ressonància magnètica." Doctoral thesis, Universitat Politècnica de Catalunya, 2016. http://hdl.handle.net/10803/393862.

Full text
Abstract:
This thesis can be summarized in the following sentence: All scientific models, for instance structural atlases of brain MRI, can be read in terms of fuzzy extensional sets. The work done in this doctoral thesis backs up and explains how this interpretation can be performed and provides future lines of application of the results developed in the field of automatized analysis of brain MRI neuroimages. Does this make any sense? Why should a framework be developed in order to apply fuzzy techniques in brain analysis? The first part of this work asks itself precisely this question, the why and for what of the thesis proposed. Uncertainty, as a multidimensional phenomenon, is studied and tried to discriminate the different sources and natures of vagueness, imprecision, partial truth and knowledge¿ These epistemological questions are studied all along the perception and knowledge construction process and analyzed why it does make sense to use fuzzy tools to represent some of these phenomena, either in the general and a medical case. To develop this part of the thesis the autor has contacted with 45 international experts on the field, who have helped to build the discourse that backs up the sense of the thesis. Following, the technical part of the thesis is developed. The main objects worked with are indistinguishability operators and those related such as extensional (observable) fuzzy subsets and upper and lower extensional approximation operators. These concepts are fundamental for the following construction proposed. One of the main results of this work is that, fixed a t-norm, there is a structural isomorphism between the lattices of indistinguishabilities, sets of extensional fuzzy subsets and upper and lower approximation operators. This result is new and enlightens the previous studies developed around these objects. It is studied as well how they are interrelated when further aggregation operators are considered such as quasi-arithmetic weighted means, either in a finite and infinite universe of discourse. An open problem of indistinguishability operators theory is how to approximate, minimizing the error, an arbitrary set by an extensional one. In the third chapter of this work 3 new methods are proposed for Archimedean t-norms and one for the Minimum t-norm. All the methods proposed improve significantly the results obtained by current methods in the literature. Given all these results, the theoretical framework that justifies the reinterpretation of scientific models proposed is solid enough. But what is a scientific model? This apparently straightforward question has no consensuated answer in the literature. In this work a definition is proposed and Wittgenstein's figurative theory is used to understand the essence and limits of the concept. The spectrum of a phenomenon is defined and its inevitability in any modelled phenomenon is justified. This spectrum is identified with observable (extensional) sets in the model and, taking into account the particular issues a specific phenomenon and model may have, this way it is possible to bring fuzzy techniques to the interpretation of the particular sample and model. An interesting and straightforward application is the definition of model-based distance functions. Finally, the proposed interpretation is applied in the specific field of analysis of of MRI brain structural atlases. It's important to highlight that this part of the work is just a proposal that should be studied further in future work in order to analyze proper and rigorously its benefits. In this proposal it is shown how an atlas can be particularized given a real human brain MRI and in the two appendices of this work two alternative future lines of research are given: how to define the atlas-based distance and use it in a segmentation process and how to build an own atlas given a local sample.
Aquesta tesi pot ser resumida en una curta i senzilla frase: Tot model científic, en particular els models cerebrals de neuroimatge MRI, poden ser interpretats en termes de conjunts borrosos extensionals. El treball d'aquesta tesi doctoral fonamenta i explica com es construeix aquesta reinterpretació d'un model científic i dóna vies d'aplicabilitat futura dels resultats desenvolupats en el camp de l'anàlisi automatitzada de neuroimatge MRI. Té això sentit? Té sentit construir un marc teòric on utilitzar eines borroses en l'anàlisi d'imatges cerebrals? La primera part d'aquest treball es planteja precisament aquesta qüestió, el per què i per a què de la tesi proposada. S'estudia la incertesa com a fenomen multidimensional i s'intenten afitar les diferents fonts i naturaleses que fonamenten la vaguetat, la imprecisió, el coneixement parcial... Aquestes qüestions, pròpies de l'epistemologia, són analitzades en tot el procés perceptiu i de construcció del coneixement i explicitat per què sí té sentit utilitzar eines borroses per capturar alguns d'aquests fenòmens, en el cas general i també en un context mèdic. Per a realitzar aquesta part de la tesi doctoral s'ha contactat amb 45 experts de renom internacional en la matèria, que han ajudat a construir el discurs que fonamenta el sentit de la tesi. A continuació es desenvolupa la part tècnica de la tesi, on s'introdueixen les relacions d'indistingibilitat i els conceptes associats de subconjunt difús extensional (observable) i operadors d'aproximació per extensionals superior i inferior. Aquests conceptes són fonamentals per a la construcció que es proposa més endavant. Un dels resultats principals d'aquesta tesi és, fixada una t-norma, l'isomòrfia de les estructures (reticles) d'indistingibilitats, conjunts de conjunts extensionals i operadors d'aproximació superior i inferior. Aquest resultat és nou i aporta molta claredat als estudis fets a la literatura sobre aquests objectes formals. S'estudia també en aquesta tesi com s'interrelacionen aquestes estructures quan es consideren altres operadors d'agregació com les mitjanes quasi-aritmètiques, en un univers de discurs tant finit com infinit. Un problema de la teoria d'indistingibilitats és com aproximar, amb el mínim error possible, un conjunt arbitrari per un d'extensional. En el tercer capítol d'aquest treball es proposen 3 nous mètodes per a t-normes arquimedianes i un mètode per la t-norma Mínim. Tots els mètodes proposats en aquesta tesi superen amb escreix els resultats obtinguts pels mètodes actuals proposats a la literatura. Amb tots aquests resultats ja es tenen els fonaments teòrics per a justificar la reinterpretació proposada de models científics. Però què és un model científic? Aquesta aparentment trivial pregunta no té resposta consensuada a la literatura. En aquesta tesi s'estudia què és un model científic i s'utilitza la teoria figurativa de Wittgenstein per a entendre l'essència i els límits del concepte. Es defineix l'espectre d'un fenomen i es raona la seva inevitabilitat en tot fenomen que es modeli. S'identifica l'espectre del fenomen amb conjunts observables (extensionals) en el model i, tenint en compte les particularitats, així es poden introduir nocions i eines borroses a l'anàlisi de qualsevol model científic. Una interessant i immediata aplicació d'això és que tot model defineix una funció distància pròpia. Per últim s'aplica la construcció proposada en el camp concret dels atles estructurals en neuroimatge MRI. És important remarcar que el treball realitzat en aquest camp és tan sols una proposta i que cal aprofundir-hi en investigació futura per avaluar la bondat dels mètodes proposats. En aquesta proposta es mostra com es pot particularitzar un atles quan es té una imatge particular i en els dos annexes d'aquesta tesi es donen dues línies alternatives: utilitzar la distància associada a l'atles per a algoritmes de segmentació posteriors i la pròpia construcció d'un atles en un entorn local.
APA, Harvard, Vancouver, ISO, and other styles
5

Benzmüller, Christoph [Verfasser]. "Equality and extensionality in automated higher-order theorem proving / Christoph Benzmüller." 2004. http://d-nb.info/972339779/34.

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

Books on the topic "Extensionalism"

1

Bar-Am, Nimrod. Extensionalism. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-8168-2.

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

service), SpringerLink (Online, ed. Extensionalism: The Revolution in Logic. Dordrecht: Springer Science + Business Media B.V, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dagfinn, Føllesdal, and Quine Douglas B, eds. Confessions of a Confirmed Extensionalist and Other Essays. Cambridge, Mass: Harvard University Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Am, Nimrod Bar. Extensionalism. Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bar-Am, Nimrod. Extensionalism : The Revolution in Logic: The Revolution in Logic. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

McKitrick, Jennifer. Abundant Properties. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198717805.003.0003.

Full text
Abstract:
On an abundant conception of properties, properties serve as semantic values for most predicates and property names. Abundance is central to Dispositional Pluralism. Dispositional Pluralism is compatible with different theories of the metaphysics of properties. According to universalism (realism) properties are universals that are wholly present wherever they are instantiated. According to extensionalism (class nominalism) properties are sets of objects. According to trope theory, properties are sets of particular property instances, or tropes. In any case, properties correspond to sets of objects. Abundance is preferable to sparsity—the view that only an elite minority of sets of particulars correspond to properties. On most sparse views, the “real” properties are largely unknown. Consequently, sparse properties are unfit for the roles properties are posited to play: They rarely serve as the semantic values of predicates; they do not explain familiar causal powers; and it is not clear how they explain apparent similarities.
APA, Harvard, Vancouver, ISO, and other styles
7

V, Quine W. Confessions of a Confirmed Extensionalist and Other Essays. Harvard University Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory. College Publications, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Floyd, Juliet, and Felix Mühlhölzer. Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers. Springer, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wittgenstein's Annotations to Hardy's Course of Pure Mathematics: An Investigation of Wittgenstein's Non-Extensionalist Understanding of the Real Numbers. Springer International Publishing AG, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Extensionalism"

1

Decock, Lieven. "Extensionalism." In Trading Ontology for Ideology, 47–109. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-017-3575-9_3.

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

Rashbrook-Cooper, Oliver. "Atomism, Extensionalism and Temporal Presence." In The Routledge Handbook of Philosophy of Temporal Experience, 133–45. 1 [edition]. | New York : Routledge, 2017. | Series: Routledge handbooks in philosophy: Routledge, 2017. http://dx.doi.org/10.4324/9781315269641-11.

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

Bar-Am, Nimrod. "The Reductionist Point of View—Extensionalism." In In Search of a Simple Introduction to Communication, 99–111. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-25625-2_10.

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

Sattig, Thomas. "Experiencing Change: Extensionalism, Retentionalism, and Marty’s Hybrid Account." In Anton Marty and Contemporary Philosophy, 153–71. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05581-3_7.

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

Fitting, Melvin. "Extensionality." In Trends in Logic, 77–79. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-010-0411-4_6.

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

Rocca, Simona Ronchi Della, and Luca Paolini. "Operational Extensionality." In The Parametric Lambda Calculus, 95–100. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-10394-4_8.

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

Yatabe, Shunsuke, and Hiroyuki Inaoka. "Vagueness and Extensionality." In Fuzzy Systems and Knowledge Discovery, 263–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11539506_33.

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

Altenkirch, Thorsten, Simon Boulier, Ambrus Kaposi, Christian Sattler, and Filippo Sestini. "Constructing a universe for the setoid model." In Lecture Notes in Computer Science, 1–21. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_1.

Full text
Abstract:
AbstractThe setoid model is a model of intensional type theory that validates certain extensionality principles, like function extensionality and propositional extensionality, the latter being a limited form of univalence that equates logically equivalent propositions. The appeal of this model construction is that it can be constructed in a small, intensional, type theoretic metatheory, therefore giving a method to boostrap extensionality. The setoid model has been recently adapted into a formal system, namely Setoid Type Theory (SeTT). SeTT is an extension of intensional Martin-Löf type theory with constructs that give full access to the extensionality principles that hold in the setoid model.Although already a rich theory as currently defined, SeTT currently lacks a way to internalize the notion of type beyond propositions, hence we want to extend SeTT with a universe of setoids. To this aim, we present the construction of a (non-univalent) universe of setoids within the setoid model, first as an inductive-recursive definition, which is then translated to an inductive-inductive definition and finally to an inductive family. These translations from more powerful definition schemas to simpler ones ensure that our construction can still be defined in a relatively small metatheory which includes a proof-irrelevant identity type with a strong transport rule.
APA, Harvard, Vancouver, ISO, and other styles
9

Hofmann, Martin. "Extensionality and quotient types." In Extensional Constructs in Intensional Type Theory, 115–62. London: Springer London, 1997. http://dx.doi.org/10.1007/978-1-4471-0963-1_5.

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

Floyd, Juliet, and Felix Mühlhölzer. "Wittgenstein’s Non-Extensionalist Point of View." In Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics, 27–36. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-48481-1_2.

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

Conference papers on the topic "Extensionalism"

1

Rocca, Simona Ronchi Della. "Operational semantics and extensionality." In the 2nd ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/351268.351272.

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

Sangiorgi, Davide. "Extensionality and intensionality of the ambient logics." In the 28th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/360204.375707.

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

Rondogiannis, Panos, and Ioanna Symeonidou. "The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/750.

Full text
Abstract:
In this paper we examine the problem of providing a purely extensional three-valued semantics for higher-order logic programs with negation. We demonstrate that a technique that was proposed by M. Bezem for providing extensional semantics to positive higher-order logic programs, fails when applied to higher-order logic programs with negation. On the positive side, we demonstrate that for stratified higher-order logic programs, extensionality is indeed achieved by the technique. We analyze the reasons of the failure of extensionality in the general case, arguing that a three-valued setting can not 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
4

Dvořák, Antonín, Balasubramaniam Jayaram, and Martin Štěpnička. "Similarity-based Reasoning from the Perspective of Extensionality." In 19th World Congress of the International Fuzzy Systems Association (IFSA), 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and 11th International Summer School on Aggregation Operators (AGOP). Paris, France: Atlantis Press, 2021. http://dx.doi.org/10.2991/asum.k.210827.043.

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

Vazou, Niki, and Michael Greenberg. "How to safely use extensionality in Liquid Haskell." In Haskell '22: 15th ACM SIGPLAN International Haskell Symposium. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3546189.3549919.

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

Ping, Teng, and He Ping. "Characteristics of Network Non-optimum and Extensionality Security Mode." In Third International Symposium on Intelligent Information Technology and Security Informatics (IITSI 2010). IEEE, 2010. http://dx.doi.org/10.1109/iitsi.2010.109.

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

Kim, Kyu Hong, and Jung Ho Park. "Assessment of Enhanced Multi-Dimensional Limiting Process for Multi-Dimensional Flows." In ASME-JSME-KSME 2011 Joint Fluids Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/ajk2011-01001.

Full text
Abstract:
In this paper, a new limiting process based on the Multi-dimensional Limiting Process, called enhanced Multi-dimensional Limiting Process is developed and tested with several cases. The enhanced Multi-dimensional Limiting Process, e-MLP has a number of useful features of MLP limiter such as multi-dimensional monotonicity and straightforward extensionality to higher order interpolation. It is applicable to local extrema and prevents excessive damping in a linear discontinuous region through application of appropriate limiting criteria. It is efficient because a limiting function is applied only to a discontinuous region. In addition, it is robust against shock instability due to the strict distinction of the computational domain and the use of regional information in a flux scheme as well as a high order interpolation scheme. The new limiting process was applied to numerous test cases. Through these tests, we could confirm that e-MLP enhances the accuracy and efficiency with both continuous and discontinuous multidimensional flows.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Extensionalism' for particular source types:
Journal articles
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