Ahti-Veikko Pietarinen

Associate Professor

Accepting PhD Students

PhD projects

Logic; Philosophy of Language; Philosophy of Science; Critical Reasoning; Integrated History and Philosophy of Science and Technology; Pragmatism and American Philosophy; Philosophy of Mind and Cognitive Science; Game Theory; Theory of Signs; Futures Studies.

  • 342 Citations
  • 10 h-Index
20012020
If you made any changes in Pure these will be visible here soon.

Research Output 2001 2019

2019

A graphical deep inference system for intuitionistic logic

Minghui, M. & Pietarinen, A. V., Jan 1 2019, In : Logique et Analyse. 245, p. 73-114 42 p.

Research output: Contribution to journalArticle

Intuitionistic Logic
Inference
Sequent Calculus
Existential Graphs
Graph

Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy

Pietarinen, A. V., Jun 1 2019, In : Logica Universalis. 13, 2, p. 137-145 9 p.

Research output: Contribution to journalArticle

Philosophy

Interdisciplinary Aspects of Cognition

Cerone, A., Fazli, S., Malone, K. & Pietarinen, A-V., 2019.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Risk and Values in Science: A Peircean View

Chiffi, D. & Pietarinen, A. V., Aug 15 2019, In : Axiomathes. 29, 4, p. 329-346 18 p.

Research output: Contribution to journalArticle

Cost-benefit Analysis
Pre-test
Testing Hypotheses
Strictly
Economics

Semeiotic completeness in the theory of signs

Pietarinen, A. V., May 1 2019, In : Semiotica. 2019, 228, p. 237-257 21 p.

Research output: Contribution to journalArticle

grammar
critic
Semeiotic
Completeness
Logic
1 Citation (Scopus)

To Peirce Hintikka’s Thoughts

Pietarinen, A. V., Jun 1 2019, In : Logica Universalis. 13, 2, p. 241-262 22 p.

Research output: Contribution to journalArticle

Philosophy of Science
Epistemology
Cross section
Logic
Philosophy
1 Citation (Scopus)

We don’t know we don’t know: asserting ignorance

Carrara, M., Chiffi, D., De Florio, C. & Pietarinen, A. V., Jan 1 2019, (Accepted/In press) In : Synthese.

Research output: Contribution to journalArticle

pragmatics
Ignorance

Why Images Cannot be Arguments, But Moving Ones Might

Champagne, M. & Pietarinen, A. V., Jan 1 2019, (Accepted/In press) In : Argumentation.

Research output: Contribution to journalArticle

argumentation
layout
license
Visual Argument
Logic
2018
4 Citations (Scopus)

Abductive inference within a pragmatic framework

Chiffi, D. & Pietarinen, A. V., Jun 2 2018, (Accepted/In press) In : Synthese. p. 1-17 17 p.

Research output: Contribution to journalArticle

abduction
pragmatics
resources
philosophy
Logic

Assertive and existential graphs: A comparison

Pietarinen, A. V. & Chiffi, D., Jan 1 2018, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Proceedings. Stapleton, G., Bellucci, F., Moktefi, A., Chapman, P. & Perez-Kriz, S. (eds.). Springer Verlag, p. 565-581 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10871 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph in graph theory
Assertion
Polarity
Logic
Notation

A weakening of alpha graphs: Quasi-boolean algebras

Ma, M. & Pietarinen, A. V., Jan 1 2018, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Proceedings. Stapleton, G., Bellucci, F., Moktefi, A., Chapman, P. & Perez-Kriz, S. (eds.). Springer Verlag, p. 549-564 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10871 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Boolean algebra
Algebra
Classical Logic
Propositional Logic
Graph in graph theory

Conjectures and abductive reasoning in games

Pietarinen, A. V., Aug 1 2018, In : IfCoLog Journal of Logics and their Applications. 5, 5, p. 1122-1143 22 p.

Research output: Contribution to journalArticle

Reasoning
Game
Perturbation
Abduction
Common Knowledge

Introduction: History and Philosophy of Logical Notation

Bellucci, F., Moktefi, A. & Pietarinen, A. V., Jan 2 2018, In : History and Philosophy of Logic. 39, 1, p. 1-2 2 p.

Research output: Contribution to journalArticle

Open Access
Philosophy
Logic
Notation
History
2 Citations (Scopus)

PEIRCE'S CALCULI for CLASSICAL PROPOSITIONAL LOGIC

Ma, M. & Pietarinen, A. V., Jan 1 2018, (Accepted/In press) In : Review of Symbolic Logic. p. 1-32 32 p.

Research output: Contribution to journalArticle

Calculus
Sequent Calculus
Boolean algebra
Algebra
Residuation
1 Citation (Scopus)

The beauty of graphs

Pietarinen, A. V., Jan 1 2018, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Proceedings. Stapleton, G., Bellucci, F., Moktefi, A., Chapman, P. & Perez-Kriz, S. (eds.). Springer Verlag, p. 9-12 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10871 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Multimodality
Graphical Methods
Facet
Simplicity
Logic
2017

Assertion and Denial: A Contribution from Logical Notations

Pietarinen, A-V. & Bellucci, F., 2017, (Accepted/In press) In : Journal of Applied Logic.

Research output: Contribution to journalArticle

Assertion
Notation

Assertive Graphs

Pietarinen, A-V., Chiffi, D. & Bellucci, F., 2017, (Accepted/In press) In : Journal of Applied Non-Classical Logics.

Research output: Contribution to journalArticle

Assertion
Graphical Methods
Graph in graph theory
Logical property
Intuitionistic Logic

Clinical Equipoise and Moral Leeway: An Epistemological Stance

Pietarinen, A-V. & Chiffi, D., 2017, (Accepted/In press) In : Topoi.

Research output: Contribution to journalArticle

Stance
Epistemological
Uncertainty
Clinical Research
Indifference
7 Citations (Scopus)

From Mitchell to Carus: 14 Years of Logical Graphs in the Making

Pietarinen, A-V., 2017, In : Transactions of the Charles S. Peirce Society. 52, 4, p. 539--575

Research output: Contribution to journalArticle

Logic
Graph
Existential Graphs
Quantification
5 Citations (Scopus)

Fundamental Uncertainty and Values

Pietarinen, A-V. & Chiffi, D., 2017, In : Philosophia. 45, 3, p. 1027--1037

Research output: Contribution to journalArticle

Fundamental
Uncertainty
Transduction
6 Citations (Scopus)

Gamma Graph Calculi for Modal Logics

Pietarinen, A-V. & Ma, M., 2017, In : Synthese.

Research output: Contribution to journalArticle

logic
interpretation
normality
semantics
Modal Logic
3 Citations (Scopus)

Graphical Sequent Calculi for Modal Logics

Pietarinen, A-V. & Ma, M., 2017, In : Electronic Notes in Theoretical Computer Science. 243, 7, p. 91--103

Research output: Contribution to journalArticle

Sequent Calculus
Modal Logic
Calculus
Classical Logic
Propositional Logic

Habits of Reasoning. On the Grammar and Critics of Logical Habits

Pietarinen, A-V. & Bellucci, F., 2017, Habit: Before and Beyond Consciousness: Studies in Applied Philosophy, Epistemology and Rational Ethics. Vol. 31. p. 265--282

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Grammar
Habit
Logic
Interpretant
Semeiotic

Is Ethical Normativity Similar to Logical Normativity?

Pietarinen, A-V. & Gustafsson, J-V., 2017, Habit: Before and Beyond Consciousness: Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer Verlag, Vol. 31. p. 123--142

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Normativity
Logic
Conception
Normative Ethics
Interaction

Let us investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction

Pietarinen, A-V. & Ma, M., 2017, (Accepted/In press) In : Journal of Philosophical Logic.

Research output: Contribution to journalArticle

Dynamic Logic
Logic
Abduction
Formal Logic
Construal
7 Citations (Scopus)

Peirce's Sequent Proofs of Distributivity

Pietarinen, A-V. & Ma, M., 2017, In : Lecture Notes in Computer Science. 10119, p. 168--182

Research output: Contribution to journalArticle

Distributivity
Residuation
Sequent Calculus
Calculus
6 Citations (Scopus)

Proof Analysis of Peirce's Alpha System of Graphs

Pietarinen, A-V. & Ma, M., 2017, In : Studia Logica. 105, 3, p. 625--647

Research output: Contribution to journalArticle

Graph in graph theory
Graph
Graphics
Inference
Existential Graphs

Semiotic Completeness in the Theory of Signs

Pietarinen, A-V., 2017, (Accepted/In press) In : Semiotica.

Research output: Contribution to journalArticle

Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic

Pietarinen, A-V., Bellucci, F. & Moktefi, A., 2017, (Accepted/In press) In : History and Philosophy of Logic.

Research output: Contribution to journalArticle

Gottlob Frege
Logic
Notation
Constellation
Logical Analysis
3 Citations (Scopus)

Two Dogmas of Diagrammatic Reasoning: A View from Existential Graphs

Pietarinen, A-V. & Bellucci, F., 2017, Peirce on Perception and Reasoning: From Icons to Logic. Routledge, p. 174--195

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Existential Graphs
Dogma
Diagrams
Diagrammatic Reasoning
Logic
2016
2 Citations (Scopus)

A Dynamic Approach to an Interrogative Construal of Abductive Logic

Pietarinen, A-V. & Ma, M., 2016, In : IfCoLog Journal of Logics and their Applications. 3, 1, p. 73--104

Research output: Contribution to journalArticle

Construal
Interrogatives
Dynamic Logic
Logic
Interrogative Mood

Answers to Philosophy of Logic: 5 Questions

Pietarinen, A-V., 2016, Philosophy of Logic: 5 Questions. Automatic Press, p. 139--152

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Charles Sanders Peirce: Logic

Pietarinen, A-V. & Bellucci, F., 2016, In : Internet Encyclopedia of Philosophy.

Research output: Contribution to journalReview article

Existential Graphs as an Instrument for Logical Analysis. Part 1: Alpha

Pietarinen, A-V. & Bellucci, F., 2016, In : Review of Symbolic Logic. p. 209--237

Research output: Contribution to journalArticle

Graph in graph theory
Farthest Point
Notation
Reasoning
Logic
2 Citations (Scopus)

H. Paul grice's lecture notes on Charles S. Peirce's theory of signs

Pietarinen, A. V. & Bellucci, F., Jan 1 2016, In : International Review of Pragmatics. 8, 1, p. 82-129 48 p.

Research output: Contribution to journalReview article

Transcription
Sanders
editor
Charles Sanders Peirce
Manuscripts

Is there a General Diagram Concept?

Pietarinen, A-V., 2016, Thinking in Diagrams: The Semiotic Basis of Human Cognition. De Gruyter Mouton, p. 121--138

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

The Iconic Moment: Towards a Theory of Diagrammatic Imagination

Pietarinen, A-V. & Bellucci, F., 2016, Epistemology, Knowledge and the Impact of Interaction. Springer Verlag, p. 463--481

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

imagery

What Your Computer Still Cannot Know: A Refutation of Bringsjord's Refutation of Searle's Refutation of Bostrom and Floridi

Pietarinen, A-V., 2016, What Social Robots Can and Should Do. IOS Press, p. 280--292

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

What your computer still can't know: A refutation of Bringsjord's refutation of searle's refutation of Bostrom and Floridi

Pietarinen, A. V., Jan 1 2016, What Social Robots Can and Should Do - Proceedings of Robophilosophy 2016/TRANSOR 2016. Andersen, S. S., Seibt, J., Norskov, M. & Norskov, M. (eds.). IOS Press, p. 280-290 11 p. (Frontiers in Artificial Intelligence and Applications; vol. 290).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semiotics
Turing machines
2015
4 Citations (Scopus)

Division of signs

Peirce, C. S. & Pietarinen, A. V., Jan 1 2015, In : Sign Systems Studies. 43, 4, p. 651-662 12 p.

Research output: Contribution to journalReview article

Open Access
Classification of Signs
Notebook
Manuscripts
Logic
Charles Sanders Peirce
14 Citations (Scopus)

Exploring the Beta Quadrant

Pietarinen, A-V., 2015, In : Synthese. 192, p. 941--970

Research output: Contribution to journalArticle

information processing
language
philosophy
Independence-friendly Logic
Existential Graphs
10 Citations (Scopus)

On the Diagrammatic Representation of Existential Statements with Venn Diagrams

Pietarinen, A-V. & Moktefi, A., 2015, In : Journal of Logic, Language and Information. 24, 4, p. 361--374

Research output: Contribution to journalArticle

Paul Grice's Manuscript on `Peirce's General Theory of Signs'

Pietarinen, A-V. & Bellucci, F., 2015, In : International Review of Pragmatics. 7, p. 128--175

Research output: Contribution to journalArticle

General Theory
Paul Grice
Transcription
Manuscripts
1 Citation (Scopus)

Peirce and Diagrams: Peirce and Husserl in Professor Stjernfelt's Diagrammatology

Pietarinen, A-V., 2015, In : Synthese. 192, p. 1073--1088

Research output: Contribution to journalArticle

1 Citation (Scopus)

Recent Studies on Signs: Commentary and Perspectives

Pietarinen, A-V., 2015, In : Sign Systems Studies. 43, 4, p. 616--650

Research output: Contribution to journalArticle

3 Citations (Scopus)

Signs Systematically Studied: Invitation to Peirce's Theory

Pietarinen, A-V., 2015, In : Sign Systems Studies. 43, 4, p. 372--398

Research output: Contribution to journalArticle

4 Citations (Scopus)

The Science to Save Us from Philosophy of Science

Pietarinen, A-V., 2015, In : Axiomathes. 25, p. 149--166

Research output: Contribution to journalArticle

Philosophy of Science
Justification
Ignorance
Inference
Knowledge