| 
								  
								POLSKI INDEKS FILOZOFICZNY 
								 
								indeks tematyczny 
								indeks autorski 
								indeks recenzji 
								przekłady 
																 
													
  | 
												
 Wstęp do logicznej teorii pytań. Warszawa, PWN, 1971. 
# logika erotetyczna # 
TREŚĆ. Wstęp. I. Pytania i odpowiedzi bezpośrednie. II. Systemy logiki pytań. 
III. Założenia pytań. IV. Różne ujęcia logiki pytań. Ss. 116. 
Wyrażenia z kwantyfikatorami w logikach zmiany i logikach czynów. 
Studia Filozoficzne, nr 8-9, 163-171, 1978.
Kubiński, Tadeusz. 
# logika zmiany # logika czynu # kwantyfikator, kwantyfikacja # 
TREŚĆ. Rozważa się tu dwie klasy logik zmiany. Wszystkie logiki należące do klasy pierwszej są teoriami elementarnymi. Opierają się na skończonej ilości aksjomatów. Są niesprzeczne, rozstrzygalne, zupełne w sensie Posta i zupełne syntaktycznie, tzn. z dwóch zdań będących swymi negacjami jedno jest tezą danej logiki. Wszystkie logiki należące do klasy drugiej można uważać za rachunki zdań z kwantyfikatorami. Te zdaniowe logiki zmiany z kwantyfikatorami są także skończenie aksjomatyzowalne, niesprzeczne, rozstrzygalne, zupełne w sensie Posta i zupełne syntaktycznie.
	Bada się dwie klasy logik czynów z kwantyfikatorami. W tych logikach, które można uważać za teorie elementarne, nie obowiązują prawa de Morgana dla kwantyfikatorów. Są tam natomiast tezami różne prawa przedstawiania kwantyfikatorów z operatorami czynów. Te logiki czynów są oparte na aksjomatykach obliczalnych. Są niesprzeczne, rozstrzygalne i zupełne syntaktycznie. Każdej logice zmiany z klasy pierwszej są przyporządkowane w pewien sposób dwie różne logiki czynów z klasy pierwszej logik czynów oraz dwie różne logiki czynów z klasy drugiej logiki czynów.
	Rozważania są bardzo szczegółowym rozwinięciem pewnych idei ogólnych, zawartych w monografii G. H. von Wrighta "Norm and Action".
 
[Autobiogram]. Ruch Filozoficzny, nr 3-4, 244-247, 
1985. Kubiński, Tadeusz. 
# filozofia polska # autobiogram # 
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
 |