263:, "...it appears most convenient to apply the term “true” to sentences, and we shall follow this course." and "if the definition of truth is to conform to our conception, it must imply the following equivalence: The sentence “snow is white” is true iff snow is white…. On the right side we have the sentence itself, and on the left we have the name of the sentence…. If we wish to say something about a sentence, for example that it is true, we must use the name of the sentence, and not the sentence itself." So I changed the article from saying proposition to saying truth.
272:
introduced the form (T) through discussions around correspondencetheories of truth does not mean that the right-side of the biconditional is a fact or whatever. Please look up "The semantic conception of truth" (1944) pp. 361-362. I also removed all talk about assertions and propositions. Tarski did not care about those. He focused on sentences only. I also corrected the comparison with Gödels theorems and the description of
Tarskis Theorem. I will add some verifiable sources another day.
218:
202:
186:
22:
88:
53:
98:
271:
I removed the introduction because it made no sense at all, and I also removed the attempts to smuggle in an correspondence-theory-understanding of the form (T). Form (T) is about sentences and names of sentences, not about sentences and facts. Please read Tarski if you disagree. The fact that he
329:
324:
334:
119:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
299:
193:
63:
289:
156:
146:
294:
304:
225:
71:
284:
314:
121:
309:
319:
111:
58:
33:
209:
67:
21:
259:
Tarski says that truth pertains to sentences, not propositions. That would be
Horwich. He says in his paper
39:
103:
217:
201:
185:
278:
249:
245:
I have changed "use-language" to "metalanguage" which is the standard terminology.--
246:
116:
93:
115:, a collaborative effort to improve the coverage of content related to
87:
52:
15:
216:
200:
184:
167:
330:Low-importance philosophy of language articles
8:
325:Start-Class philosophy of language articles
19:
335:Philosophy of language task force articles
164:
47:
49:
125:about philosophy content on Knowledge.
7:
300:Low-importance epistemology articles
109:This article is within the scope of
38:It is of interest to the following
290:Low-importance Philosophy articles
14:
295:Start-Class epistemology articles
305:Epistemology task force articles
261:The semantic conception of truth
131:Knowledge:WikiProject Philosophy
96:
86:
51:
20:
285:Start-Class Philosophy articles
151:This article has been rated as
134:Template:WikiProject Philosophy
1:
315:Low-importance logic articles
250:20:57, 26 December 2005 (UTC)
255:Sentences, not propositions
351:
310:Start-Class logic articles
157:project's importance scale
320:Logic task force articles
224:
208:
192:
163:
150:
81:
46:
168:Associated task forces:
226:Philosophy of language
221:
205:
189:
112:WikiProject Philosophy
28:This article is rated
220:
204:
188:
137:Philosophy articles
222:
206:
190:
122:general discussion
34:content assessment
243:
242:
239:
238:
235:
234:
231:
230:
104:Philosophy portal
342:
175:
165:
139:
138:
135:
132:
129:
106:
101:
100:
99:
90:
83:
82:
77:
74:
55:
48:
31:
25:
24:
16:
350:
349:
345:
344:
343:
341:
340:
339:
275:
274:
269:
257:
173:
136:
133:
130:
127:
126:
102:
97:
95:
75:
61:
32:on Knowledge's
29:
12:
11:
5:
348:
346:
338:
337:
332:
327:
322:
317:
312:
307:
302:
297:
292:
287:
277:
276:
268:
265:
256:
253:
241:
240:
237:
236:
233:
232:
229:
228:
223:
213:
212:
207:
197:
196:
191:
181:
180:
178:
176:
170:
169:
161:
160:
153:Low-importance
149:
143:
142:
140:
108:
107:
91:
79:
78:
76:Low‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
347:
336:
333:
331:
328:
326:
323:
321:
318:
316:
313:
311:
308:
306:
303:
301:
298:
296:
293:
291:
288:
286:
283:
282:
280:
273:
266:
264:
262:
254:
252:
251:
248:
227:
219:
215:
214:
211:
203:
199:
198:
195:
187:
183:
182:
179:
177:
172:
171:
166:
162:
158:
154:
148:
145:
144:
141:
124:
123:
118:
114:
113:
105:
94:
92:
89:
85:
84:
80:
73:
69:
65:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
270:
267:Some changes
260:
258:
244:
194:Epistemology
152:
120:
110:
64:Epistemology
40:WikiProjects
30:Start-class
279:Categories
128:Philosophy
117:philosophy
59:Philosophy
72:Language
247:NoizHed
155:on the
36:scale.
210:Logic
68:Logic
147:Low
281::
174:/
70:/
66:/
62::
159:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.