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 161-180 of 2189
  • Prev
  • 1
  • 2
  • 3
  • ...
  • 8
  • 9
  • 10
  • ...
  • 108
  • 109
  • 110
  • Next
Logika a językoznawstwo. Uwagi na marginesie dyskusji logików z językoznawcami

Logika a językoznawstwo. Uwagi na marginesie dyskusji logików z językoznawcami

Author(s): Marek Lechniak / Language(s): Polish Issue: 2/2016

The relation between linguistics and logic is analysed in the paper. Its starting point are two discussions between logicians and linguists that took place in recent years. The main points of these discussions were presented and it was argued that they are based on some misunderstandings. Thereafter, the author tried to determinate the domains of linguistics and logic in more precise way and to show the differences between these domains.

More...
AN EIGHT-VALUED PRACONSISTENT LOGIC

AN EIGHT-VALUED PRACONSISTENT LOGIC

Author(s): Norihiro Kamide / Language(s): English Issue: 49/2014

It is known that many-valued paraconsistent logics are useful for expressing uncertain and inconsistency-tolerant reasoning in a wide range of Computer Science. Some four-valued and sixteen-valued logics have especially been well-studied. Some four-valued logics are not so ne-grained, and some sixteen-valued logics are enough ne-grained, but rather complex. In this paper, a natural eight-valued paraconsistent logic rather than four-valued and sixteen-valued logics is introduced as a Gentzen-type sequent calculus. This eight-valued logic is enough ne-grained and simpler than sixteen-valued logic. A triplet valuation semantics is introduced for this logic, and the completeness theorem for this semantics is proved. The cut-elimination theorem for this logic is proved, and this logic is shown to be decidable.

More...
SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

Author(s): Rafael Grimson,Bart Kuijpers / Language(s): English Issue: 49/2014

We consider the fragment of second-order logic over the vocabulary <+; x; 0; 1; <; S1; ...; Sk>, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this context, satisfiability of formulas is decidable for the first-order 9-quantifier fragment andundecidable for 8-fragments. We also show that forthese three fragments the same (un)decidability results hold forcontainment and equivalence of formulas..

More...
ON ORDERED MINIMAL STRUCTURES

ON ORDERED MINIMAL STRUCTURES

Author(s): Grzegorz Jagiella / Language(s): English Issue: 49/2014

We investigate minimal first-order structures and consider interpretability and definability of orderings on them. We also prove the minimality of their canonical substructures.

More...
Interpolation theorems for some variants of LTL

Interpolation theorems for some variants of LTL

Author(s): Norihiro Kamide / Language(s): English Issue: 50/2015

It is known that Craig interpolation theorem does not hold for LTL. In this paper, Craig interpolation theo- rems are shown for some fragments and extensions of LTL. These theorems are simply proved based on an embedding-based proof method with Gentzen-type sequent calculi. Maksimova separation theorems (Maksimova principle of variable separation) are also shown for these LTL variants.

More...
Endomorphisms and subalgebras of Tarski algebras

Endomorphisms and subalgebras of Tarski algebras

Author(s): Hernando Gaitán / Language(s): English Issue: 50/2015

In this note we prove that a Tarski algebra is determined by the monoid of its endomorphisms as well as by the lattice of its subalgebras.

More...
An axiomatization of Wansing's expansion of Nelson's logic

An axiomatization of Wansing's expansion of Nelson's logic

Author(s): Hitoshi Omori / Language(s): English Issue: 50/2015

The present note oers an axiomatization for an expansion of Nelson's logic motivated by Heinrich Wansing which serves as a base logic for the framework of nonmonotonic reasoning considered by Dov Gabbay and Raymond Turner. We also show that the expansion of Wansing is not conservative intuitionistic logic, but at least as strong as Jankov's logic.

More...
Mantık - Matematik İlişkisi Bağlamında Geçerli Kıyas Kalıplarının Venn Şeması ile Gösterimi ve Yorumlanması

Mantık - Matematik İlişkisi Bağlamında Geçerli Kıyas Kalıplarının Venn Şeması ile Gösterimi ve Yorumlanması

Author(s): Kamil Kömürcü / Language(s): Turkish Issue: 1/2016

Every discipline has its own subjects, principles and problems. Therefore it can be said that sciences has autonomy. However this should not mean that a science is completely unrelated to other sciences. There are connections and similarities between disciplines. Logic and Mathematics are such two disciplines that have common ground. Being both theoretical, logic and mathematics are in close relation considering the proof methods and their endpoints. Although these two disciplines have been considered separately until the modern age, this has changed since the 19th century. After this century, there have been studies on the assumption that mathematics and logic are interrelated.For example, British logicians such as De Morgan (1806-1876), George Boole (1815-1864) and Stanley Jevons (1835-1882) tried to rebuild logic by exemplifying mathematics but failed. The reason behind this should be that they neglected that logic has broader foundations than mathematics.A new approach with an opposite perspective than the above mentioned efforts was successful. According to this approach, logic serves as the foundation of mathematics and therefore a healthy relationship could be established between the two disciplines. This perspective was owned by Bertrand Russell (1872-1970) and Alfred North Whitehead (1861-1947). They suggested this new approach in their book Principa Mathematica. Another approach involves the reduction of the two sciences to each other and there have been people even defending the equality of the two. These and similar studies lead to logic being more mathematics like and mathematics having logical properties. After all this process, logic and mathematics are unanimously accepted to be closely related. The foundation of this relation has the proof concept in its core. Because both disciplines aim proofs. For instance, the initial subject of logic is the realization of proofs. The most accepted and effective method of proof is syllogism. For this reason, the most important subject of logic is syllogism. Syllogism, on the other hand, is based on deduction. There is a similar situation in mathematics because in it too one can reach the absolute proof using deduction. However, while in logic the proof is made using verbal concepts, words and symbols; in mathematics it is done using numbers. Returning to syllogism, the founding subject of proof in logic, it is a reaching to a conclusion based on two or more premises that are accepted to be true. The most correct one of this is called the predicative absolute (categorical) syllogism. Aristoteles, the founder of logic science, and his followers especially considered this type of syllogism. This type of syllogism have 64 patterns based on the quality and quantity of the constructing premises and 256 patterns depending on 4 schemes and places of the middle term. Only 19 types are found to be valid considering the rules of the predicative absolute syllogism and the special conditions of the schemes.The subject of this survey is the Venn representation of these 19 patterns, which are quite important in showing the relation of logic and mathematics. Additionally, it is also mentioned how this method will help the logic education and how it can be interpreted based on this purpose. In our work, we observed the positive and negative aspects of our work in terms of education and teaching, just like any other method. Let's first talk about its positive sides. In institutions where a verbal oriented education is dominant, there is a bias towards sciences that involve numbers such as mathematics. The syllogism patterns that the logic science has, by being symbolically represented can be important in reducing this bias. It can be useful that this method is graphically, and thus differently shown.The afore mentioned method will be a lot more helpful and easy to understand for the people that have undergone a quantitative education and have background in such fields. For the teacher as well this is useful to teach to such audience. Considering the teaching techniques, this method is more constructive compared to the classical memorization techniques and compatible to the existing teaching methods.Considering the downsides of the method, Venn representation requires extra drawings and information in contrast to the classical method. Thus it can be said that this method may result in some loss. Additionally the miscarriage resulted by the combination of sketches, scans and shapes can cause the final result to be wrong.To an audience with a verbal education who lacks a quantitative background with a bias towards mathematical representations and processes and used to a memorization based education system thus less conforming to the constructive education, this method may bring trouble and loss of time. For the teacher, this method may result in the loss of energy and time as well.As a result, this method may be valuable to be given alongside with the classical method. In this manner, the two methods will complement each other with respect to the understanding style of the student and thus may make teaching more successful.

More...
Discriminator varieties of double-Heyting algebras

Discriminator varieties of double-Heyting algebras

Author(s): Christopher J. Taylor / Language(s): English Issue: 51/2016

We prove that a variety of double-Heyting algebras is a discriminator variety if and only if it is semisimple if and only if it has equationally definable principal congruences. The result also applies to the class of Heyting algebras with a dual pseudocomplement operation and to the class of regular double p-algebras.

More...
An alternative intuitionistic version of Mally's deontic logic

An alternative intuitionistic version of Mally's deontic logic

Author(s): Gert-Jan C. Lokhorst / Language(s): English Issue: 51/2016

Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally's deontic logic (1926). This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention. In this paper, we present an alternative reformulation of Mally's deontic logic that does not provide this theorem.

More...
Unifying some notions of infnity in ZC and ZF

Unifying some notions of infnity in ZC and ZF

Author(s): Greg Oman / Language(s): English Issue: 51/2016

Let ZC - I (respectively, ZF - I) be the theory obtained by deleting the axiom of in nity from the usual list of axioms for Zermelo set theory with choice (respectively, the usual list of axioms for Zermelo-Fraenkel set theory). In this note, we present a collection of sentences 9x'(x) for which (ZC - I) + 9x'(x) (respectively, (ZF - I)+9x'(x)) proves the existence of an in nite set.

More...
On homomorphic images and the free distributive lattice extension of a distributive nearlattice

On homomorphic images and the free distributive lattice extension of a distributive nearlattice

Author(s): Sergio A. Celani,Ismael Calomino / Language(s): English Issue: 51/2016

In this paper we will introduce N-Vietoris families and prove that homomorphic images of distributive nearlattices are dually characterized by N-Vietoris families. We also show a topological approach of the existence of the free distributive lattice extension of a distributive nearlattice.

More...
Truth in the limit

Truth in the limit

Author(s): Marcin Mostowski / Language(s): English Issue: 51/2016

We consider sl-semantics in which rst order sentences are interpreted in potentially in nite domains. A potentially in nite domain is a growing sequence of nite models. We prove the completeness theorem for rst order logic under this semantics. Additionally we characterize the logic of such domains as having a learnable, but not recursive, set of axioms. The work is a part of author's research devoted to computationally motivated foundations of mathematics.

More...
Categorical abstract algebraic logic weakly referential π-institutions

Categorical abstract algebraic logic weakly referential π-institutions

Author(s): George Voutsadakis / Language(s): English Issue: 51/2016

Wojcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of arbitrary sentential logics. A well-known theorem of Wojcicki asserts that a logic has a referential semantics if and only if it is selfextensional. A second theorem of Wojcicki asserts that a logic has a weakly referential semantics if and only if it is weakly self- extensional. We formulate and prove an analog of this theorem in the categorical setting. We show that a -institution has a weakly referential semantics if and only if it is weakly self-extensional.

More...
The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property

The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property

Author(s): Gemma Robles / Language(s): English Issue: 51/2016

The logic RM3 is the 3-valued extension of the logic R-Mingle (RM). RM (and so, RM3) does not have the variable- sharing property (vsp), but RM3 (and so, RM) lacks the more o ending" paradoxes of relevance", such as A → (B → A) or A → (A → B). Thus, RM and RM3 can be useful when some relevance", but not the full vsp, is needed. Sublogics of RM3 with the vsp are well known, but this is not the case with those lacking this property. The rst aim of this paper is to de ne an ample family of sublogics of RM3 without the vsp. The second one is to provide these sublogics and RM3 itself with a general Routley- Meyer semantics, that is, the semantics devised for relevant logics in the early seventies of the past century.

More...
Grounding and Logical Basing Permissions

Grounding and Logical Basing Permissions

Author(s): Diego Tajer / Language(s): English Issue: 50/2016

The relation between logic and rationality has recently re-emerged as an important topic of discussion. Following the ideas of Broome [1999] and MacFarlane [2004], the debate focused on providing rational requirements, which work as bridges between logic and epistemic norms. However, as Broome [2014] and Way [2011] observed, the usual requirements cannot capture some important aspects of rationality, such as how one can rationally believe something on the basis of believing something else. Broome [2014] proposed a few additional principles (“basing permissions”) for this purpose. In this paper I develop a more systematic family of basing permissions using the recent notion of grounding (Fine [2012], Correia [2014]). In particular, I claim that if Γ (logically) grounds A, and you believe Γ, then rationality permits you to believe A on the basis of believing Γ.

More...
Legal analogy as an alternative to the deductive mode of legal reasoning

Legal analogy as an alternative to the deductive mode of legal reasoning

Author(s): Maciej Koszowski / Language(s): English Issue: 6/2016

This article demonstrates the inadequacy of legal deduction as a method that guarantees the certainty and predictability of law and its outcomes in concrete instances. Inter alia, the Author brings our attention to the far smaller role that the deductive pattern of inference plays in legal thought than one may suppose, since it is rather only a schematic illustration of the decisions that were previously made by recourse to the mental operations of a non-logical nature. In return, he proffers legal analogy as an alternative, by which he understands a mode of thinking which helps the reasoner to take into account a mass of different factors that are traditionally deemed to be relevant for legal thought and decision-making

More...
Tipovi karakterizacije logičkog

Tipovi karakterizacije logičkog

Author(s): Nijaz Ibrulj / Language(s): Bosnian Issue: 01/1999

U tekstu koji slijedi naša je namjera ocrtati[I] granice filozofije logike; funkcioniranje promjenjivog kritičkog i analitičkog idioma; probleme logike povezane sa pripadajućim calculusom; [II] problemsko jedinstvo različitih koncepata logike (ontološkog ili metafizičkog, atomističkog ili analitičkog, i holističkog ili holofrastičkog); rezonantnost problema logike, ontologije i epistemologije sa stanovišta filozofije logike; karakterizaciju ontoloških pretpostavki logike; karakterizaciju epistemoloških pretpostavki logike; karakterizaciju filozofije sa stanovišta filozofije logike; [III] funkcioniranje različitih ideala karakterizacije logičkog; karakterizaciju predikata "logično"; [IV] karakterizaciju logičkog u ontološkom konceptu logike; [V] karakterizaciju logičkog u atomističkom konceptu logike; [VI] karakterizaciju logičkog u holističkom konceptu logike; [VII] probleme konceptualne sheme; karakterizaciju principa logičkog; trostruku karakterizaciju strukture konceptualne sheme; [VIII] odnos filozofije logike i logike filozofije.

More...
Logika, heteroglossa, konekcionizam

Logika, heteroglossa, konekcionizam

Author(s): Nijaz Ibrulj / Language(s): Bosnian Issue: 03+04/2001

U ovom radu moja namjera je: 1. da ukažem na osnovne karakteristike holističkog koncepta filozofske logike, da odredim kritički i analitički idiom koji njime vlada i ideal koji ga usmjerava u pravcu teorije istine i teorije značenja; 2. da u tom konceptu supstituiram neke metafore drugim kroz koje je moguće, za nas, učiniti transparentnim karakterizacije koje je na istom području izvršila bosanskohercegovačka filozofska i logička misao u potrazi za zadovoljavajućim opisom korelacije logičkih općenitosti, ontoloških općenitosti i lingvističkih općenitosti; naročito će neki temeljne ideje logičko-filozofskih istraživanja profesora Muhameda Filipovića iz njegovog djela Filozofija jezika biti podvrgnute komparativnoj karakterizaciji;

More...

Logika ideja: Por Rojal i Dekartovo nasleđe

Author(s): Una Popović / Language(s): Serbian Issue: 2/2016

This paper explores the origin and the basic characteristics of Port-Royal logic. Port-Royal logic is here understand as the new idea of logic, essentially modern in its character and therefore opposed to Scholastic and Aristotelian tradition. On the other hand, the emergence of this new idea of logic is particularly problematic due to the development of investigations concerning the method adequate to the research of nature, i.e. adequate to sciences. The paper aims to show how the development of sciences influenced the transformation of logic, and how did logic anew found its place in the modern thinking, despite Descartes, but also inspired by his philosophy. The analyzes will show that this transformation of logic was only possible as its transformation into a logic of ideas.

More...
Result 161-180 of 2189
  • Prev
  • 1
  • 2
  • 3
  • ...
  • 8
  • 9
  • 10
  • ...
  • 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