Clasicos
Marxistas
 
PORTADA   |  QUIENES SOMOS   |  CONTACTENOS   |  FORUM  |  MUSICA   Hoy es : Viernes 21 Julio 2017
marx - marxismo leninismo - radio latinos - radio amauta
INDICE ALFABETICO
A
B
C
CH
D
E
F
G
H
I
J
K
L
LL
M
N
Ñ
O
P
Q
R
S
T
U
V
W
X
Y
Z
Cabanis - Pierre Jean George (1757-1808)
Cabet - Étienne (1788-1856)
Cálculo
Cálculo de predicados
Cálculo proposicional
Calidad y Cantidad
Juan Calvino (1509-1564)
Cambio
Cambridge - Escuela de
10  Campanella - Tommaso (1568-1639)
11  Camus - Albert (1913-1960)
12  Capitalismo
13  Capitalismo de Estado y Capitalismo Monopolista
14  Carácter
15  Carácter concreto de la verdad
16  Carácter, en Arte
17  Carácter no contradictorio
18  Carácter no contradictorio de la teoría axiomatica
19  Carácter popular del arte
20  Carlyle - Thomas (1795-1881)
21  Carnap - Rudolf (n. en 1891)
22  Carnéades de Cirene (214-129 a.n.e.)
23  Cartesianismo
24  Cassirer - Ernst (1874-1945)
25  Catarsis
26  Categorías
27  Catolicismo
28  Causalidad
29  Célula
30  Cerebro
31  Consolar
32  Caudillo
33  Comer
34  Cuba
35  Clavo
36  Conciencia
37  Cconsejo
38  Carlos Marx
39  Calma
40  Copiar
41  Carlyle - Thomas (1795-1881)
42  Carnap - Rudolf (n. en 1891)


(cálculo de proposiciones). Sistema lógico (Cálculo) que formaliza los razonamientos basados en relaciones de verdad entre proposiciones que se examinan haciendo abstracción de su estructura interna de sujeto-predicado. Son posibles distintas formulaciones de cálculo proposicional. Por ejemplo, se da la definición inductiva de la fórmula: 1) las variables proposicionales p, q, r... son fórmulas; 2) si A es una fórmula, entonces (Aœ) es una fórmula; 3) si A y B son fórmulas, entonces (A) § (B), (A) Ë (B), (A) · (B) son fórmulas; 4) algo distinto no es una fórmula. Se denomina axioma la fórmula que tiene uno de los siguientes aspectos: 1) A § (B § A); 2) (A · B) § A; 3) (A § B) § ((A § (B § C)) § (A § C)); 4) (A · B) § B; 5) A § (B § (A · B)); 6) A § (A Ë B); 7) B § (A Ë B); 8) (A § C) § ((B § C) § ((A Ë B) § C)); 9) (A § B) § ((A § Bœ) § A); 10) A § A (donde el trazo sobre los símbolos es signo de negación, · es signo de conjunción, § es signo de implicación y Ë es signo de disyunción). En calidad de regla de la inferencia se admite: si A y A § B, se sigue directamente B. Partiendo de esta base, se da la definición de fórmula inferible en el cálculo proposicional de inferencia y de demostración. El cálculo proposicional posee un carácter no contradictorio (No-contradicción), completitud (Completitud de la teoría axiomática). El problema de la decidibilidad es soluble. Acerca de los cálculos proposicionales no clásicos, véase Lógica constructiva, Lógica polivalente.