Template:Individual-TLP-paragraph-es-4.1273: Difference between revisions

← Older edit

Template:Individual-TLP-paragraph-es-4.1273 (view source)

Revision as of 10:51, 1 November 2022

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )

LWPBot

Bots, Editors

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-es|{{ParTLP|4.1273}}
+{{ParTLPwrapper-es|{{ParTLP|4.1273}} Si queremos expresar la proposición general «''b'' es un sucesor de ''a''» en la escritura conceptual, entonces necesitamos para ello un término para el miembro general de la serie formal: ''aRb'', (∃''x'') : ''aRx''.''xRb'', (∃''x'', ''y'') : ''aRx''.''xRy''.''yRb'',… El miembro general de una serie formal se puede expresar solo mediante una variable, pues el concepto miembro de esta serie formal, es un concepto {{spaced text|formal<!-- template:spaced text -->}}. (Esto se les ha escapado a Frege y Russell; la manera en la que ellos quieren expresar proposiciones generales como las arriba mencionadas, es por lo tanto falsa; contiene un círculo vicioso [''circulus vitiosus'']).
-Si queremos expresar la proposición general «''b'' es un sucesor de ''a''» en la escritura conceptual, entonces necesitamos para ello un término para el miembro general de la serie formal: ''aRb'', (∃''x'') : ''aRx''.''xRb'', (∃''x'', ''y'') : ''aRx''.''xRy''.''yRb'',… El miembro general de una serie formal se puede expresar solo mediante una variable, pues el concepto miembro de esta serie formal, es un concepto {{spaced text|formal<!-- template:spaced text -->}}. (Esto se les ha escapado a Frege y Russell; la manera en la que ellos quieren expresar proposiciones generales como las arriba mencionadas, es por lo tanto falsa; contiene un círculo vicioso [''circulus vitiosus'']).
 Podemos determinar el miembro general de la serie formal, dando su primer miembro y la forma general de la operación por la que, a partir de la proposición anterior, se produce el miembro siguiente.
 }}