Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more.
  • Log In
  • Register
CEEOL Logo
Advanced Search
  • Home
  • SUBJECT AREAS
  • PUBLISHERS
  • JOURNALS
  • eBooks
  • GREY LITERATURE
  • CEEOL-DIGITS
  • INDIVIDUAL ACCOUNT
  • Help
  • Contact
  • for LIBRARIANS
  • for PUBLISHERS

Content Type

Subjects

Languages

Legend

  • Journal
  • Article
  • Book
  • Chapter
  • Open Access
  • Philosophy
  • Logic

We kindly inform you that, as long as the subject affiliation of our 300.000+ articles is in progress, you might get unsufficient or no results on your third level or second level search. In this case, please broaden your search criteria.

Result 21-40 of 2189
  • Prev
  • 1
  • 2
  • 3
  • ...
  • 108
  • 109
  • 110
  • Next
Konspekt wykładów z logiki wygłoszonych na Uniwersytecie Jana Kazimierza we Lwowie w roku akademickim 1924/1925 sporządzony przez Stefana Ołeksiuka

Konspekt wykładów z logiki wygłoszonych na Uniwersytecie Jana Kazimierza we Lwowie w roku akademickim 1924/1925 sporządzony przez Stefana Ołeksiuka

Author(s): Kazimierz Ajdukiewicz / Language(s): Polish Issue: 2 (98)/2017

We present the oldest known synopsis of Kazimierz Ajdukiewicz’s lectures. The lectures recorded by Stefan Oleksiuk mainly concern the part of logic called, in Polish terminology, “logical semiotics” (application of formal logic to matters of natural language). Ajdukiewicz discusses several important philosophical issues, such as the problem of meaning, representation, the status of general names, the truth-value of sentences or propositions, and identity.

More...
Zrození Kvaszova absolutního idealismu z ducha geometrie

Zrození Kvaszova absolutního idealismu z ducha geometrie

Author(s): Vojtěch Kolman / Language(s): Czech Issue: 59/2020

Reflection on Kvasz's thinking about geometry

More...
Zrození perspektivy z ducha divadla. Ke knize Ladislava Kvasze Prostor mezi geometrií a malířstvím

Zrození perspektivy z ducha divadla. Ke knize Ladislava Kvasze Prostor mezi geometrií a malířstvím

Author(s): Karel Thein / Language(s): Czech Issue: 59/2020

Reflection on Kvasz's book

More...
Logica românească postbelică în prezentarea lui Anton Dumitriu

Logica românească postbelică în prezentarea lui Anton Dumitriu

Author(s): Valentin Popa / Language(s): Romanian Issue: 1/2010

Anton Dumitriu is a representative Romanian philosopher and logician, well- known across the world as the author of the History of Logic and the English translation of the Treaty published by Abacus Press, Kent, in 1977. Our study investigates how the author summarizes Romanian contributions, to the development of logic in the postwar period, spoiled by massive Communist ideological interference into Romanian culture. In the last part of the treaty, dedicated to the Romanian postwar logic, the author includes both philosophers and logicians repressed during the decade of the Stalinist Cultural Revolution (DD Rosca, Dan Bădărău, Aram Frenkian and Constantin Noica) and persecutors of logicians and philosophers, as the Pavel Apostol, C.I. Gulian and Athanase Joja. In presenting these authors, considered the representatives of the current ideas of dialectical logic, Anton Dumitriu made only a presentation exercise, and not criticism, proper for reasons of self-defense. We highlighted this issue to prove the thesis that during the cultural revolution in Romania even logic, the science of the eternal forms of human thinking, was achieved by unlawful interference of the communist ideology. This totalitarian ideology, having suppressed an entire generation of Romanian thinkers of the interwar period, including arrests and deportations, aims to prevent recovery of the free mind in thinking. Towards the end of the study we wonder why the Romanian logician has not intervened in the earlier editions of the History of Logic, since 1990, when he had worked for the preparation of the third edition, published posthumously between 1993 and 1998.

More...
Prawda a teza Churcha – wyzwanie rzucone tomistom

Prawda a teza Churcha – wyzwanie rzucone tomistom

Author(s): Adam Olszewski / Language(s): English,Polish Issue: 52/2020

This work aims to formulate an important issue of contemporary philosophy of mathematics – Church’s thesis [CT] – by taking advantage of the richness of the conceptual system of St. Thomas’ philosophy and using its type of notions. The indicated aim was first tried to achieve through an in-depth analysis of Thomas’ definition of truth as “adaequatio rei et intellectus.” This analysis revealed a great wealth of underlying philosophical content and showed its nontriviality. The final result is an attempt to formulate Church’s thesis as a specific instance of Thomas’ definition of truth. The result of the work is ambiguous and therefore it constitutes a specific challenge for the supporters of Thomism to discuss this topic.

More...
Tipuri de argumentare greşită în perioada Covid-19

Tipuri de argumentare greşită în perioada Covid-19

Author(s): Marius Dobre / Language(s): Romanian Issue: 4/2021

In the following, we propose an analysis of some of the most common types of argumentation (i.e. arguments that could be generic examples, which account for certain categories of arguments) coming from two currents of thought, called here radical skepticism and protectionist propaganda. The arguments presented below were mainly collected from the Romanian press (in the form of advertisements, propaganda spots, etc.) and from private discussions with various people from both camps.

More...
Omitting Types in Fragments and Extensions of First Order Logic

Omitting Types in Fragments and Extensions of First Order Logic

Author(s): Tarek Sayed Ahmed / Language(s): English Issue: 3/2021

Fix 2< n <w. Let Ln denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for Ln and for infinitary variants and extensions of Lw,w.

More...
A Note on 3×3-valued Łukasiewicz Algebras with Negation

A Note on 3×3-valued Łukasiewicz Algebras with Negation

Author(s): Carlos Gallardo,Alicia Ziliani / Language(s): English Issue: 3/2021

More...
Tense Operators on BL-algebras and Their Applications

Tense Operators on BL-algebras and Their Applications

Author(s): Akbar Paad / Language(s): English Issue: 3/2021

In this paper, the notions of tense operators and tense lters in BL-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense BL-algebras, tense MV -algebras and tense Boolean algebras are investigated. Moreover, it is shown that the set of all tense lters of a BL-algebra is complete sublattice of F(L) of all filters of BL-algebra L. Also, maximal tense filters and simple tense BL-algebras and the relation between them are studied. Finally, the notions of tense congruence relations in tense BL-algebras and strict tense BL-algebras are introduced and an one-to-one correspondence between tense filters and tense congruences relations induced by tense filters are provided.

More...
A Note on Gödel-Dummet Logic LC

A Note on Gödel-Dummet Logic LC

Author(s): Gemma Robles ,José M. Méndez / Language(s): English Issue: 3/2021

More...
Falling Shadow Theory with Applications in Hoops

Falling Shadow Theory with Applications in Hoops

Author(s): Rajab Ali Borzooei,Gholam Reza Rezaei,Mona Aaly Kologhani,Young Bae Jun / Language(s): English Issue: 3/2021

The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between falling fuzzy subhoops and falling fuzzy filters are discussed, and conditions for a falling fuzzy subhoop to be a falling fuzzy filter are provided. Also conditions for a falling shadow of a random set to be a falling fuzzy filter are displayed.

More...
A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points

A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points

Author(s): Rajab Ali Borzooei,Hashem Bordbar,Florentin Smarandache,Young Bae Jun / Language(s): English Issue: 3/2021

More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations of (∈, ∈∨q(kT ,kI,kF ))-neutrosophic ideal are discussed, and conditions for a neutrosophic set to be an (∈, ∈∨q(kT ,kI ,kF ))-neutrosophic ideal are displayed.

More...
Neighbourhood Semantics for Graded Modal Logic

Neighbourhood Semantics for Graded Modal Logic

Author(s): Hans van Ditmarsch,Jinsheng Chen,Giuseppe Greco,Apostolos Tzimoulis / Language(s): English Issue: 3/2021

We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition of graded bisimulation with respect to Kripke frames by modifying the definition of monotonic bisimulation.

More...
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal

Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal

Author(s): Nattapon Sonpanow,Pimpen Vejjajiva / Language(s): English Issue: 56/2021

We extend the concepts of splitting, reaping, and independent families to families of functions and permutations on ω and define associated cardinal characteristics sf , sp, rf , rp, if , and ip. We study relationships among cov(M), non(M), and these cardinals. In this paper, we show that sf = non(M) = sp, rf = cov(M) ≤ rp, and cov(M) ≤ if , ip.

More...
On the relation of negations in Nelson algebras

On the relation of negations in Nelson algebras

Author(s): Conrado Gomez,Miguel Andres Marcos,Hernan J. San Martin / Language(s): English Issue: 56/2021

The aim of this paper is to investigate the relation between the strong and the "weak" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.

More...
Tableau-based translation from first-order logic to modal logic

Tableau-based translation from first-order logic to modal logic

Author(s): Tin Perkov,Luka Mikec / Language(s): English Issue: 56/2021

We define a procedure for translating a given first-order formula to an equivalent modal formula, if one exists, by using tableau-based bisimulation invariance test. A previously developed tableau procedure tests bisimulation invariance of a given first-order formula, and therefore tests whether that formula is equivalent to the standard translation of some modal formula. Using a closed tableau as the starting point, we show how an equivalent modal formula can be effectively obtained.

More...
A note on Humberstone's constant Ω

A note on Humberstone's constant Ω

Author(s): Satoru Niki,Hitoshi Omori / Language(s): English Issue: 56/2021

We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.

More...
Embeddability Between Orderings and GCH

Embeddability Between Orderings and GCH

Author(s): Rodrigo A. Freire / Language(s): English Issue: 56/2021

We provide some statements equivalent in ZFC to GCH, and also to GCH above a given cardinal. These statements express the validity of the notions of replete and well-replete car- dinals, which are introduced and proved to be specially relevant to the study of cardinal exponentiation. As a byproduct, a structure theorem for linear orderings is proved to be equivalent to GCH: for every linear ordering L, at least one of L and its converse is universal for the smaller well-orderings.

More...
Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100

Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95 - 100

Author(s): Mojtaba Moniri / Language(s): English Issue: 56/2021

More...
An Arithmetically Complete Predicate Modal Logic

An Arithmetically Complete Predicate Modal Logic

Author(s): Yunge Hao,George Tourlakis / Language(s): English Issue: 4/2021

This paper investigates a first-order extension of GL called ML3. We outline briefly the history that led to ML3, its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that ML3 is arithmetically complete. As expanded below, ML3 is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"◻" simulating the the informal classical "⊢"―is also arithmetically complete in the Solovay sense.

More...
Result 21-40 of 2189
  • Prev
  • 1
  • 2
  • 3
  • ...
  • 108
  • 109
  • 110
  • Next

About

CEEOL is a leading provider of academic eJournals, eBooks and Grey Literature documents in Humanities and Social Sciences from and about Central, East and Southeast Europe. In the rapidly changing digital sphere CEEOL is a reliable source of adjusting expertise trusted by scholars, researchers, publishers, and librarians. CEEOL offers various services to subscribing institutions and their patrons to make access to its content as easy as possible. CEEOL supports publishers to reach new audiences and disseminate the scientific achievements to a broad readership worldwide. Un-affiliated scholars have the possibility to access the repository by creating their personal user account.

Contact Us

Central and Eastern European Online Library GmbH
Basaltstrasse 9
60487 Frankfurt am Main
Germany
Amtsgericht Frankfurt am Main HRB 102056
VAT number: DE300273105
Phone: +49 (0)69-20026820
Email: info@ceeol.com

Connect with CEEOL

  • Join our Facebook page
  • Follow us on Twitter
CEEOL Logo Footer
2025 © CEEOL. ALL Rights Reserved. Privacy Policy | Terms & Conditions of use | Accessibility
ver2.0.428
Toggle Accessibility Mode

Login CEEOL

{{forgottenPasswordMessage.Message}}

Enter your Username (Email) below.

Institutional Login