SCHITA A UNEI LOGICI NATURALE. Logica operatorie

Autor: Petre Botezatu
Editura Stiintifica
An aparitie : 1969
Editia I
Nr pagini : 312
Format 130 x 200
Anticariat
Pretul la data postarii : 8-39 lei pe okazii, 
Disponibilitate BCU

Despre autor:

        Petre Botezatu (1911-1981) este maestrul scolii logice din Iasi. Autor al unui tratat despre interpretarea moderna a silogismelor, devenit o lucrare de referinta imediat dupa aparitie (1976), Petre Botezatu este creatorul unei teorii generale a rationamentului, care cuprinde procedeele deductive complexe ale stiintei moderne in baza unei logici naturale. Reeditata la Polirom, lucrarea sa Introducere in logica isi reconfirma caracterul de carte fundamentala.

Cuprins:

1. INTRODUCERE  5

1.1. O incercare de logica naturala  5

1.2. O logica orientata intensional  11

1.3. O silogistica extinsa si generalizata  14

1.4. O logica a propozitiilor exclusive  21

1.5. O logica intermediara de aplicabilitate curenta  26

Partea intaia. TEORIA GENERALA A OPERATIILOR LOGICE

2. TEORIA INTUITIVA A OPERATIILOR LOGICE  33

2.1. Transferul de proprietati  33

2.1.1. Tabela inferentiala A  41

2.1.2. Tabela inferentiala B  46

2.1.3. Tabela inferentiala C  49

2.1.4. Tabela inferentiala D  53

2.1.5. Incercare de generalizare  53

2.2. Constructia de obiecte  55

2.2.1. Incercari de logica constructiva  53

2.2.2. Tabela inferentiala E  58

3. PROBLEME PREALABILE  64

3.1. Operatia logica a silogismului  64

3.2. Problema figurii 4   67

3.3. Propozitii exclusive si exceptive  74

4. SISTEMUL LOT  81

4.1. Sintaxa sistemului LOT  81

4.2. Sistemul inferentelor LOT

4.2.1. Subsistemul inferentelor principale LOT  89

4.2.1.1. Tabela interferentiala A  89

4.2.1.2. Tabela inferentiala B  94

4.2.1.3. Tabela inferentiala C  101

4.2.1.4. Tabela inferentiala D  108

4.2.2. Subsistemul inferentelor secundare LOT  120

4.3. Semantica sistemului LOT  124

5. PROBLEME SPECIALE 133

5.1. Regularitati in subsistemul principal LOT  133

5.1.1. Precizari prealabile  133

5.1.2. Legi calitative in tabelele inferentiale A si B  134

5.1.3. Legi calitative in tabelele inferentiale c si D  138

5.1.4. Legile cantitative  141

5.1.5. Completitudinea calitativa a sistemului LOT  144

5.2. Variante ale sistemului LOT  146

5.2.1. Extindere  146

5.2.2. Restrangere  147

5.2.3. Varianta propozitionala  150

5.3. Problema deciziei  152

6. SISTEMUL LOC 162

6.1. Sintaxa sistemului LOC  162

6.2. Sistemul inrferentelor LOC  165

6.3. Semantica sistemului LOC   166

6.4. Variante ale sistemului LOC   167

Partea a doua. APLICATIILE LOGICII OPERATORII

7. LOGICILE SPECIALE  173

8. SILOGISTICA OPERATORIE  176

8.1. Delimitarea universului discursului  176

8.2. Distinctii intensionale  178

8.3. Un caracter specific silogisticii  180

8.4. Propozitiile generale exclusive  181

8.5. Sistemul inferentelor silogisticii operatorii  186

8.5.1.Tabela inferentiala A  187

8.5.2.Tabela inferentiala B 191

8.5.3.Tabela inferentiala C 196

8.5.4.Tabela inferentiala D  202

8.6. Logica clasiala constructiva  207

9. MEREOLOGIA OPERATORIE 209

9.1. Probleme introductive  209

9.1.1. Incercari de mereologie  209

9.1.2. Relatiile partitive  212

9.1.3. Logicile partitive tranzitive  215

9.2. Mereologia relationala  217

9.2.1. Propozitii exclusive si cuantificate  222

9.2.2. Sistemul inferentelor mereologiei relationale  218

9.3. Mereologia existentiala  222

9.3.1. Propozitii exclusive si cuantificate 222

9.3.2. Sistemul inferentelor mereologiei existentiale 223

9.4. Mereologia pozitionala  228

9.4.1. Propozitii exclusive si cuantificate 228

9.4.2. Sistemul inferentelor mereologiei pozitionale 229

9.5. Mereologia functionala  234

9.5.1. Propozitii exclusive si cuantificate 234

9.5.2. Sistemul inferentelor mereologiei functionale  235

9.6. Mereologia constructiva  240

10. FENOMENOLOGIA OPERATORIE  243

10.1. Fenomenologia tranzitiva  243

10.1.1. De la inductie la deductie  243

10.1.2. Relatiile fenomenale  244

10.1.3. Sisteme logice fenomenale  246

10.2. Logica spatio-temporala  248

10.2.1. Delimitarea universului discursului  248

10.2.2. Sistemul inferentelor spatio-temporale 250

10.3. Logica conditionala  255

10.4. Logica cauzala  257

10.4.1. Delimitarea universului discursului  257

10.4.2. Logica cauzala relationala 258

10.4.2.1. Propozitii exclusive si cuantificate  258

10.4.2.2. Sistemul inferentelor cauzale relationale 260

10.4.3. Logica cauzala existentiala  267

10.4.3.1. Propozitii exclusive  267

10.4.3.2. Sistemul inferentelor cauzale existentiale  267

10.5. Teleologica  273

10.5.1.  Propozitii exclusive si cuantificate  273

10.5.2.  Sistemul inferentelor teleologice  275

10.6. Fenomenologia constructiva  282

11. PERSPECTIVE SI CONCLUZII  285

11.1. Logici speciale in perspectiva  285

11.2. Logica operatorie si logica simbolica  286

ESQUISSE D'UNE LOGIQUE NATURELLE. Logique operatorire. (Resume)  289

Indice de simboluri  301

Indice de nume  303