Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407)

From MaRDI portal





scientific article; zbMATH DE number 5977616
Language Label Description Also known as
default for all languages
No label defined
    English
    Logic, formal methodology and semantics in works of Ryszard Wójcicki
    scientific article; zbMATH DE number 5977616

      Statements

      Logic, formal methodology and semantics in works of Ryszard Wójcicki (English)
      0 references
      0 references
      0 references
      23 November 2011
      0 references
      In the paper under review some topics in logic, seen from the perspective of contributions of Wójcicki to them, are outlined and commented on. In particular, Wójcicki's conception of logic is discussed, his works concerning formal methodology of science is sketched, a theory of logical calculi developed by him is outlined and some semantic issues (Wójcicki's elaboration of Suszko's situation semantics and referential semantics) are considered.
      0 references
      Ryszard Wójcicki
      0 references
      logical inference
      0 references
      consequence
      0 references
      duality
      0 references
      logical calculus
      0 references
      logical matrix
      0 references
      logical system
      0 references
      strongly finite logic
      0 references
      non-Fregean logic
      0 references
      sentential identity
      0 references
      situation semantics
      0 references
      referential semantics
      0 references
      formal methodology
      0 references

      Identifiers