O istotnym i nieistotnym występowaniu jakiegoś wyrażenia w innym wyrażeniu

Filozofia Nauki 2 (2005)
  Copy   BIBTEX

Abstract

Let us assume that the expression A is a segment of the expression B. Now, let us assume that we try to transform the expression B into the expression B', removing A from B or replacing A with another expression, say A'. When shall we say that A is irremovable or occurs in B essentially? We shall do it, if we can neither remove A from B nor replace A with A', not influencing upon important properties of B. On the other hand, when shall we say that the occurrence A in B is essential? We shall do it, if we can transform B into B' changing no properties of B. Let us say it more precisely. Let us assume - as concerns expressions x, y, x' and y' - that: (a) x occurs in y; (b) the only structural difference between y and y' is that x does not occur in y', or x' occurs in y instead of x. Then: x occurs in y inessentially-with-respect-to-w of y, iff y' is the same as y with respect to p. Correspondingly: x occurs in y essentially-with-respect-to-w of y, iff y' is different as y with respect to p. The occurrence x in y may be essential or inessential with respect to syntactic, semantic or pragmatic properties of y. In my paper, I discuss a variety of detailed concepts of the (in)essential occurrence of expressions in another expressions with respect to semantic properties of these expressions, i.e. with respect to semantic category, logical value, denotation and connotation. I also discuss some philosophical and methodological implications of presented solutions of the problem

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
A Bounded Jump for the Bounded Turing Degrees.Bernard Anderson & Barbara Csima - 2014 - Notre Dame Journal of Formal Logic 55 (2):245-264.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
A Topology For Logical Space.Boguslaw Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (4):255-258.
K1.1 Is Not Canonical.G. Hughes & M. Cresswell - 1982 - Bulletin of the Section of Logic 11 (3-4):109-112.

Analytics

Added to PP
2013-03-14

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Anna Brożek
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references