期刊信息
Studia Logica
https://link.springer.com/journal/11225影响因子: |
0.600 |
出版商: |
Springer |
ISSN: |
0039-3215 |
浏览: |
11142 |
关注: |
0 |
征稿
Aims and scope The journal mission The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world. Studia Logica was founded in 1953 by Kazimierz Ajdukiewicz, one of the prominent representatives of Lvov-Warsaw School, who aimed to promote research that embodied the main idea of the School - to apply mathematical methods to important philosophical problems. Since its very first issue Studia Logica has joined the forces of mathematicians and philosophers in carrying out logical investigations. The success of Lvov-Warsaw School united philosophy and mathematics in novel and deep ways. For over 50 years the papers published by our journal have testified to the fact that the School's thought not only has not gone out of date but still remains a weighty source of inspiration for those who approach philosophical problems by means of mathematical tools. Studia Logica publish papers presenting original results on formal systems and employing formal tools of mathematics and broadly understood logic. Additionally, empirical and philosophical considerations can be directed towards the formal properties of these systems. The scope of papers published in Studia Logica covers all the philosophical subjects provided they present formal systems and make use of formal logical methods. Investigations in other disciplines like for example Cognitive Science and Formal Linguistics are welcomed as well, without any limitations of the subjects. Studia Logica strive for a balance between mathematical techniques and philosophical relevance. Non-classical and algebraic logics remain an important part of the profile of the journal. The key criterion for acceptance of papers to be published in Studia Logica will not be the scope of presented research but its method: they are required to contain significant and original results concerning formal systems and their properties. There are many elaborate mathematical theories that find their origin in philosophy and that have had a big impact on both philosophy and mathematics. To a large extend all of them are represented in Studia Logica. Let me mention some examples: The theory of consequence operations studies properties of logical consequence. Its methods proved to be extremely useful in exploring the realms of non-monotonic logics, reasoning under incomplete information and other logical systems within artificial intelligence. Many-valued logics are an extensive domain of strictly logical investigations. But at their foundations one finds purely philosophical questions concerning the nature of logical values. Fuzzy logic - one of the main streams within many- valued logics - has many applications in computer science. Of groundbreaking importance for studying the logical structure of natural language were Kazimierz Ajdukiewicz's works, which were philosophical at their core. They sparked many different formal investigations and the construction of systems of categorial grammar and substructural logics. Tarski's theory of truth, modal logics, paraconsistent logics, logical systems of quantum mechanics all are equally important research trends in which a mathematical and a philosophical approach intertwined to bring results that have an extraordinary significance for both mathematics and philosophy. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems. I will point to just three of the numerous research trends that draw their inspiration and tools from mathematics. Formal epistemology applies logical, probabilistic, game-theoretic and other formal methods to problems and issues in epistemology such as a dispute about anti-realism, scepticism, sources of knowledge and learning theories. In cognitive science a new picture of logic has emerged according to which logical laws are sometimes regarded as high-level descriptions of ideal cognitive agents. Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Broadly understood contemporary deontic logic uses mathematical tools to investigate topics related to many issues of normative philosophy, philosophy of action and social philosophy. Studia Logica makes an effort to promote mathematical research within philosophical domains such as those invoked above, simultaneously preserving its character as a journal of formal logic.
最后更新 Dou Sun 在 2024-07-22
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
International Journal of Communication Systems | 1.700 | Wiley-Blackwell | 1074-5351 | |
b | Performance Evaluation | 1.000 | Elsevier | 0166-5316 |
b | ACM Transactions on Algorithms | 0.900 | ACM | 1549-6325 |
b | Information Systems | 3.000 | Elsevier | 0306-4379 |
Journal of Control Science and Engineering | 1.000 | Hindawi | 1687-5249 | |
c | Information & Management | 8.200 | Elsevier | 0378-7206 |
IEEE Communications Standards Magazine | IEEE | 2471-2825 | ||
Journal of Combinatorial Theory, Series A | 0.900 | Elsevier | 0097-3165 | |
Procedia Manufacturing | Elsevier | 2351-9789 | ||
ACM SIGMIS Database | ACM | 0095-0033 |
全称 | 影响因子 | 出版商 |
---|---|---|
International Journal of Communication Systems | 1.700 | Wiley-Blackwell |
Performance Evaluation | 1.000 | Elsevier |
ACM Transactions on Algorithms | 0.900 | ACM |
Information Systems | 3.000 | Elsevier |
Journal of Control Science and Engineering | 1.000 | Hindawi |
Information & Management | 8.200 | Elsevier |
IEEE Communications Standards Magazine | IEEE | |
Journal of Combinatorial Theory, Series A | 0.900 | Elsevier |
Procedia Manufacturing | Elsevier | |
ACM SIGMIS Database | ACM |
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
ICM | International Conference on Mechatronics | 2024-11-04 | 2024-12-09 | 2025-02-28 | |||
c | SAGT | International Symposium on Algorithmic Game Theory | 2024-05-15 | 2024-07-05 | 2024-09-03 | ||
ISBDAI | International Symposium on Big Data and Artificial Intelligence | 2018-09-30 | 2018-10-15 | 2018-12-29 | |||
c | INC | International Network Conference | 2020-07-30 | 2020-08-15 | 2020-09-19 | ||
b3 | JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-07-20 | 2016-08-29 | ||
EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-05-06 | 2024-07-07 | |||
b4 | VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-04-30 | 2012-07-02 | ||
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2024-07-05 | 2025-01-12 | |
c | 3DV | International Conference on 3D Vision | 2024-08-12 | 2024-11-05 | 2025-03-25 | ||
ICAICA | IEEE International Conference on Artificial Intelligence and Computer Applications | 2020-03-31 | 2020-04-15 | 2020-06-27 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
ICM | International Conference on Mechatronics | 2024-11-04 | 2025-02-28 |
SAGT | International Symposium on Algorithmic Game Theory | 2024-05-15 | 2024-09-03 |
ISBDAI | International Symposium on Big Data and Artificial Intelligence | 2018-09-30 | 2018-12-29 |
INC | International Network Conference | 2020-07-30 | 2020-09-19 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-07-07 |
VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-07-02 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2024-07-05 | 2025-01-12 |
3DV | International Conference on 3D Vision | 2024-08-12 | 2025-03-25 |
ICAICA | IEEE International Conference on Artificial Intelligence and Computer Applications | 2020-03-31 | 2020-06-27 |
推荐